diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-11-01 16:33:14 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-11-01 16:33:14 -0500 |
| commit | c0670f7c2517948966a5c037b401304a67bb85c6 (patch) | |
| tree | 42d718d6a1e75cbcc074dc72c73b40318349f5ba /src/elab.sml | |
| parent | 764c3b15d459a42ef6222a82f93a38937d2ac141 (diff) | |
After a tricky debugging session, limit visibility of type-class instances from anonymous modules
Diffstat (limited to 'src/elab.sml')
| -rw-r--r-- | src/elab.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/elab.sml b/src/elab.sml index 249531f1..209d3307 100644 --- a/src/elab.sml +++ b/src/elab.sml @@ -138,13 +138,19 @@ and edecl' = withtype exp = exp' located and edecl = edecl' located +(* We have to be careful about crawling automatically generated signatures recursively, + * importing all type-class instances that we find. + * The reason is that selfification will add signatures of anonymous structures, + * and it's counterintuitive for instances to escape anonymous structures! *) +datatype import_mode = Import | Skip + datatype sgn_item' = SgiConAbs of string * int * kind | SgiCon of string * int * kind * con | SgiDatatype of (string * int * string list * (string * int * con option) list) list | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list | SgiVal of string * int * con - | SgiStr of string * int * sgn + | SgiStr of import_mode * string * int * sgn | SgiSgn of string * int * sgn | SgiConstraint of con * con | SgiClassAbs of string * int * kind |