From ccfe7fb119aa4aed9b971bd52f72ab0f54df1bf4 Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 9 Dec 2005 11:45:57 +0000 Subject: Transfer: changed syntax to remove the mandatory type annotation in let. --- src/Transfer/Syntax/Skel.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Transfer/Syntax/Skel.hs') diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs index 7a847f2f3..ad42b858c 100644 --- a/src/Transfer/Syntax/Skel.hs +++ b/src/Transfer/Syntax/Skel.hs @@ -74,7 +74,7 @@ transTree t = case t of EMeta -> failure t VVar i -> failure t VWild -> failure t - LetDef i exp0 exp1 -> failure t + LetDef i exp -> failure t Case pattern guard exp -> failure t BindVar varorwild exp -> failure t BindNoVar exp -> failure t @@ -177,7 +177,7 @@ transVarOrWild t = case t of transLetDef :: LetDef -> Result transLetDef t = case t of - LetDef i exp0 exp1 -> failure t + LetDef i exp -> failure t transCase :: Case -> Result transCase t = case t of -- cgit v1.2.3