From 0166b27ee45f24fb60d79498a5d15b4f316191f3 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Feb 2004 07:43:52 +0000 Subject: Started with unions. --- src/GF/Source/SkelGF.hs | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/GF/Source/SkelGF.hs') diff --git a/src/GF/Source/SkelGF.hs b/src/GF/Source/SkelGF.hs index 11e5d10a6..0a1924359 100644 --- a/src/GF/Source/SkelGF.hs +++ b/src/GF/Source/SkelGF.hs @@ -61,6 +61,7 @@ transModBody x = case x of MBody extend opens topdefs -> failure x MWith id opens -> failure x MReuse id -> failure x + MUnion includeds -> failure x transExtend :: Extend -> Result @@ -95,6 +96,12 @@ transQualOpen x = case x of QOInterface -> failure x +transIncluded :: Included -> Result +transIncluded x = case x of + IAll id -> failure x + ISome id ids -> failure x + + transDef :: Def -> Result transDef x = case x of DDecl ids exp -> failure x @@ -209,6 +216,8 @@ transExp x = case x of EConcat exp0 exp -> failure x EGlue exp0 exp -> failure x ELet locdefs exp -> failure x + ELetb locdefs exp -> failure x + EWhere exp locdefs -> failure x EEqs equations -> failure x ELString lstring -> failure x ELin id -> failure x -- cgit v1.2.3