equal
deleted
inserted
replaced
178 exception DOMAIN of string * class; |
178 exception DOMAIN of string * class; |
179 |
179 |
180 fun mg_domain (classes, arities) a S = |
180 fun mg_domain (classes, arities) a S = |
181 let |
181 let |
182 fun dom c = |
182 fun dom c = |
183 (case Library.assoc_string (Symtab.lookup_multi (arities, a), c) of |
183 (case AList.lookup (op =) (Symtab.lookup_multi (arities, a)) c of |
184 NONE => raise DOMAIN (a, c) |
184 NONE => raise DOMAIN (a, c) |
185 | SOME Ss => Ss); |
185 | SOME Ss => Ss); |
186 fun dom_inter c Ss = ListPair.map (inter_sort classes) (dom c, Ss); |
186 fun dom_inter c Ss = ListPair.map (inter_sort classes) (dom c, Ss); |
187 in |
187 in |
188 (case S of |
188 (case S of |