From 59ee1bfd7c430576427943384f2e52efb9b3da08 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 20 Dec 2005 22:38:38 +0000 Subject: full disjunctive patterns ; more prec levels for Exp --- src/GF/Source/GrammarToSource.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/Source/GrammarToSource.hs') diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs index 8375af2af..c5ecf6b19 100644 --- a/src/GF/Source/GrammarToSource.hs +++ b/src/GF/Source/GrammarToSource.hs @@ -205,8 +205,8 @@ trAssign (lab, (mty, t)) = maybe (P.LDDef x t') (\ty -> P.LDFull x (trt ty) t') trLabelling (lab,ty) = P.LDDecl [trLabelIdent lab] (trt ty) -trCase (patt, trm) = P.Case [P.AltP (trp patt)] (trt trm) -trCases (patts,trm) = P.Case (map (P.AltP . trp) patts) (trt trm) +trCase (patt, trm) = P.Case (trp patt) (trt trm) +trCases (patts,trm) = P.Case (foldl1 P.PDisj (map trp patts)) (trt trm) trDecl (x,ty) = P.DDDec [trb x] (trt ty) -- cgit v1.2.3