diff options
| author | aarne <unknown> | 2004-03-26 20:08:30 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-03-26 20:08:30 +0000 |
| commit | 6719aedde34c3a4f0ccb78931968c6fe490b3282 (patch) | |
| tree | 489e96a556d27ba87474c4ce89e3757a17ececb4 /src/GF/Grammar | |
| parent | 2433403b6247022ac56133ca935307868fcef6b9 (diff) | |
Better help.
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/Macros.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs index cc43377cb..075da2a9d 100644 --- a/src/GF/Grammar/Macros.hs +++ b/src/GF/Grammar/Macros.hs @@ -128,6 +128,20 @@ unComputed t = case t of Computed v -> unComputed v _ -> t --- composSafeOp unComputed t + +{- +--- defined (better) in compile/PrOld + +stripTerm :: Term -> Term +stripTerm t = case t of + Q _ c -> Cn c + QC _ c -> Cn c + T ti psts -> T ti [(stripPatt p, stripTerm v) | (p,v) <- psts] + _ -> composSafeOp stripTerm t + where + stripPatt p = errVal p $ term2patt $ stripTerm $ patt2term p +-} + computed = Computed termForm :: Term -> Err ([(Ident)], Term, [Term]) |
