diff options
Diffstat (limited to 'src/compiler/GF/Compile/Compute/Abstract.hs')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/Abstract.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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) |