diff options
| author | aarne <unknown> | 2004-02-27 07:43:52 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-02-27 07:43:52 +0000 |
| commit | 0166b27ee45f24fb60d79498a5d15b4f316191f3 (patch) | |
| tree | 72a5c1aa21ee0856ce1a621d094471d056040385 /src/GF/Source/SkelGF.hs | |
| parent | 2e1b57878329eb6a1822ef43c190f8a2aaaa82b7 (diff) | |
Started with unions.
Diffstat (limited to 'src/GF/Source/SkelGF.hs')
| -rw-r--r-- | src/GF/Source/SkelGF.hs | 9 |
1 files changed, 9 insertions, 0 deletions
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 |
