From 983aef132b0695af7e1b16d77ad43180388eea71 Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 2 Dec 2005 18:33:08 +0000 Subject: Transfer added guards and Eq derivation. --- src/Transfer/Core/Skel.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/Transfer/Core/Skel.hs') 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 -- cgit v1.2.3