1 files changed, 5 insertions, 7 deletions
diff --git a/src/Transfer/Core/Skel.hs b/src/Transfer/Core/Skel.hs
index 22be8efe9..5b74d3f65 100644
--- a/src/Transfer/Core/Skel.hs
+++ b/src/Transfer/Core/Skel.hs
@@ -31,7 +31,6 @@ transTree t = case t of
   EPi patternvariable exp0 exp1 -> failure t
   EApp exp0 exp1 -> failure t
   EProj exp cident -> failure t
-  EEmptyRec  -> failure t
   ERecType fieldtypes -> failure t
   ERec fieldvalues -> failure t
   EVar cident -> failure t
@@ -40,9 +39,9 @@ transTree t = case t of
   EInt n -> failure t
   EMeta tmeta -> failure t
   LetDef cident exp0 exp1 -> failure t
-  Case pattern exp -> 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
 
@@ -86,7 +85,6 @@ transExp t = case t of
   EPi patternvariable exp0 exp1 -> failure t
   EApp exp0 exp1 -> failure t
   EProj exp cident -> failure t
-  EEmptyRec  -> failure t
   ERecType fieldtypes -> failure t
   ERec fieldvalues -> failure t
   EVar cident -> failure t
@@ -99,10 +97,6 @@ transLetDef :: LetDef -> Result
 transLetDef t = case t of
   LetDef cident exp0 exp1 -> failure t
 
-transCase :: Case -> Result
-transCase t = case t of
-  Case pattern exp -> failure t
-
 transFieldType :: FieldType -> Result
 transFieldType t = case t of
   FieldType cident exp -> failure t
@@ -111,6 +105,10 @@ 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