diff options
| author | aarne <unknown> | 2003-11-13 08:17:28 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-13 08:17:28 +0000 |
| commit | 25c86905867537f75e9fe2f19759d8747d465590 (patch) | |
| tree | 2914e18ef14e1aad20cdc4c814796360ddd36dea /src/GF/Grammar | |
| parent | eb245228482fbf9798ea6ddc01753d5a1e40b2c1 (diff) | |
Field lock in MkResource.
Field lock in MkResource.
Terrible bug fixed in Check Grammar.
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/Macros.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs index e6906f985..2edb183a1 100644 --- a/src/GF/Grammar/Macros.hs +++ b/src/GF/Grammar/Macros.hs @@ -135,6 +135,11 @@ termForm t = case t of _ -> return ([],t,[]) +termFormCnc :: Term -> ([(Ident)], Term) +termFormCnc t = case t of + Abs x b -> (x:xs, t') where (xs,t') = termFormCnc b + _ -> ([],t) + appForm :: Term -> (Term, [Term]) appForm t = case t of App c a -> (fun, args ++ [a]) where (fun, args) = appForm c |
