diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-02 18:33:08 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-02 18:33:08 +0000 |
| commit | 983aef132b0695af7e1b16d77ad43180388eea71 (patch) | |
| tree | aa95e673e10ccc32e3e0fdf1556659c0c041aa53 /src/Transfer/Core/Skel.hs | |
| parent | dea5158cbf1c11d45f2ed91d9975fbc77245e652 (diff) | |
Transfer added guards and Eq derivation.
Diffstat (limited to 'src/Transfer/Core/Skel.hs')
| -rw-r--r-- | src/Transfer/Core/Skel.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Transfer/Core/Skel.hs b/src/Transfer/Core/Skel.hs index c4d42a03a..25c362e7a 100644 --- a/src/Transfer/Core/Skel.hs +++ b/src/Transfer/Core/Skel.hs @@ -40,9 +40,9 @@ transTree t = case t of EDouble d -> failure t EMeta tmeta -> failure t LetDef cident exp0 exp1 -> failure t + Case pattern exp0 exp1 -> failure t FieldType cident exp -> failure t FieldValue cident exp -> failure t - Case pattern exp -> failure t TMeta str -> failure t CIdent str -> failure t @@ -99,6 +99,10 @@ transLetDef :: LetDef -> Result transLetDef t = case t of LetDef cident exp0 exp1 -> failure t +transCase :: Case -> Result +transCase t = case t of + Case pattern exp0 exp1 -> failure t + transFieldType :: FieldType -> Result transFieldType t = case t of FieldType cident exp -> failure t @@ -107,10 +111,6 @@ transFieldValue :: FieldValue -> Result transFieldValue t = case t of FieldValue cident exp -> failure t -transCase :: Case -> Result -transCase t = case t of - Case pattern exp -> failure t - transTMeta :: TMeta -> Result transTMeta t = case t of TMeta str -> failure t |
