diff options
Diffstat (limited to 'src')
| -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 |