diff options
| author | krasimir <krasimir@chalmers.se> | 2009-10-07 09:33:57 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-10-07 09:33:57 +0000 |
| commit | e5609907274298dc8f41cbe170b2b6a253ed1b7a (patch) | |
| tree | fdc8131fdff156b1101f4cb0ff6384dfb9a87c88 /src/GF | |
| parent | 68c866cf117c951a2beaefbdef5ecfdb1927bab6 (diff) | |
remove duplicated function from GF.Grammar.Macros
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Grammar/Macros.hs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs index 8df25527a..7aa61c2c9 100644 --- a/src/GF/Grammar/Macros.hs +++ b/src/GF/Grammar/Macros.hs @@ -82,13 +82,6 @@ funsToAndFrom t = cis = zip cs [0..] in (v, [(c,[i | (c',i) <- cis, c' == c]) | c <- cs]) -typeFormConcrete :: Type -> Err (Context, Type) -typeFormConcrete t = case t of - Prod b x a t -> do - (x', typ) <- typeFormConcrete t - return ((b,x,a):x', typ) - _ -> return ([],t) - isRecursiveType :: Type -> Bool isRecursiveType t = let (cc,c) = catSkeleton t -- thus recursivity on Cat level |
