From c388a91762e9dd9aef2eb097963af020c0e452f8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 21 Sep 2019 08:33:09 -0400 Subject: Desugaring of SQL constraints uses wildcards, so allow that even in signatures --- src/elaborate.sml | 4 ++-- 1 file 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''' -- cgit v1.2.3