diff options
| author | aarne <unknown> | 2003-10-02 06:37:34 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-02 06:37:34 +0000 |
| commit | be81ac50a9ecf2b6457d4594a4b67972a1b0dd75 (patch) | |
| tree | b836ea7c29efe975bb4bbc86a855784b632aec15 /src/GF/Grammar/AbsCompute.hs | |
| parent | c985dab565416251d9973f5b3bafe4d9d205b249 (diff) | |
Added dir for parsing.
Diffstat (limited to 'src/GF/Grammar/AbsCompute.hs')
| -rw-r--r-- | src/GF/Grammar/AbsCompute.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Grammar/AbsCompute.hs b/src/GF/Grammar/AbsCompute.hs index daa13955e..d80fc57f3 100644 --- a/src/GF/Grammar/AbsCompute.hs +++ b/src/GF/Grammar/AbsCompute.hs @@ -20,7 +20,7 @@ computeAbsTerm :: GFCGrammar -> Exp -> Err Exp computeAbsTerm gr = computeAbsTermIn gr [] computeAbsTermIn :: GFCGrammar -> [Ident] -> Exp -> Err Exp -computeAbsTermIn gr = compt where +computeAbsTermIn gr xs e = errIn ("computing" +++ prt 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) Abs x b -> liftM (Abs x) (compt (x:vv) b) |