From 023857961036e6165bae1298c24f13bcc493de75 Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 5 Mar 2015 14:47:36 +0000 Subject: remove some more old code --- src/compiler/GF/Compile/Compute/Abstract.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/compiler/GF/Compile/Compute') diff --git a/src/compiler/GF/Compile/Compute/Abstract.hs b/src/compiler/GF/Compile/Compute/Abstract.hs index c374a80b4..5ba2eeb21 100644 --- a/src/compiler/GF/Compile/Compute/Abstract.hs +++ b/src/compiler/GF/Compile/Compute/Abstract.hs @@ -35,16 +35,16 @@ import GF.Text.Pretty tracd m t = t -- tracd = trace -compute :: SourceGrammar -> Exp -> Err Exp +compute :: SourceGrammar -> Term -> Err Term compute = computeAbsTerm -computeAbsTerm :: SourceGrammar -> Exp -> Err Exp +computeAbsTerm :: SourceGrammar -> Term -> Err Term computeAbsTerm gr = computeAbsTermIn (lookupAbsDef gr) [] -- | a hack to make compute work on source grammar as well type LookDef = Ident -> Ident -> Err (Maybe Int,Maybe [Equation]) -computeAbsTermIn :: LookDef -> [Ident] -> Exp -> Err Exp +computeAbsTermIn :: LookDef -> [Ident] -> Term -> Err Term computeAbsTermIn lookd xs e = errIn (render (text "computing" <+> ppTerm Unqualified 0 e)) $ compt xs e where compt vv t = case t of -- Prod x a b -> liftM2 (Prod x) (compt vv a) (compt (x:vv) b) -- cgit v1.2.3