diff options
| author | krasimir <krasimir@chalmers.se> | 2015-03-05 14:47:36 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-03-05 14:47:36 +0000 |
| commit | 023857961036e6165bae1298c24f13bcc493de75 (patch) | |
| tree | 2971a30dcbb1cd83833761aecf7d171ad84a96be /src/compiler/GF/Compile/Compute/Abstract.hs | |
| parent | 7539809461f1c64fc38e15adc4a02068ceeb332c (diff) | |
remove some more old code
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) |