diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-09-21 08:33:09 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-09-21 08:33:09 -0400 |
| commit | c388a91762e9dd9aef2eb097963af020c0e452f8 (patch) | |
| tree | 31c096dad9cdf4b94ccf07a8d720c81721ba94f3 | |
| parent | abf8a0434cb1c1ab22a50182ffdc6cf0c4645523 (diff) | |
Desugaring of SQL constraints uses wildcards, so allow that even in signatures
| -rw-r--r-- | src/elaborate.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index fbbde303..9718ccad 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -2734,7 +2734,7 @@ fun elabSgn_item ((sgi, loc), (env, denv, gs)) = val ct = (L'.CApp (ct, c'), loc) val ct = (L'.CApp (ct, (L'.CConcat (pkey, uniques), loc)), loc) - val (pe', pet, gs'') = elabExp (env', denv) pe + val (pe', pet, gs'') = exitSignature (fn () => elabExp (env', denv) pe) val gs'' = List.mapPartial (fn Disjoint x => SOME x | _ => NONE) gs'' @@ -2742,7 +2742,7 @@ fun elabSgn_item ((sgi, loc), (env, denv, gs)) = val pst = (L'.CApp (pst, c'), loc) val pst = (L'.CApp (pst, pkey), loc) - val (ce', cet, gs''') = elabExp (env', denv) ce + val (ce', cet, gs''') = exitSignature (fn () => elabExp (env', denv) ce) val gs''' = List.mapPartial (fn Disjoint x => SOME x | _ => NONE) gs''' |