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 | 3772d0b752c4201c6ae1d00562ea0e80e46608ee (patch) | |
tree | 42d718d6a1e75cbcc074dc72c73b40318349f5ba /src/elab.sml | |
parent | b16e75da8b5937914fb17852cd03127934bac08c (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 |