diff options
| author | aarne <unknown> | 2004-05-02 08:21:25 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-05-02 08:21:25 +0000 |
| commit | 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a (patch) | |
| tree | 8691f24c809b10b047f552690576bb9a6ace9c7c /src/GF/Grammar | |
| parent | 487571a685382922f04985995d0f8779284bdc8d (diff) | |
gt Term
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/TypeCheck.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Grammar/TypeCheck.hs b/src/GF/Grammar/TypeCheck.hs index 1cc486965..183b0ac12 100644 --- a/src/GF/Grammar/TypeCheck.hs +++ b/src/GF/Grammar/TypeCheck.hs @@ -243,3 +243,6 @@ exp2termCommand gr f t = errIn ("modifying term" +++ prt t) $ do exp2termlistCommand :: GFCGrammar -> (Exp -> [Exp]) -> Tree -> [Tree] exp2termlistCommand gr f = err (const []) fst . mapErr (annotate gr) . f . tree2exp + +tree2termlistCommand :: GFCGrammar -> (Tree -> [Exp]) -> Tree -> [Tree] +tree2termlistCommand gr f = err (const []) fst . mapErr (annotate gr) . f |