diff options
| author | krasimir <krasimir@chalmers.se> | 2009-10-28 17:44:50 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-10-28 17:44:50 +0000 |
| commit | c330cac1db47bbf5d90fbfbb215797c1dda186ae (patch) | |
| tree | 5533e1fa6489996cd2912ccbd44c82f3d5b4afc6 /src/GFI.hs | |
| parent | d130d30669e80eed8cbf2852d48315d4e5191f20 (diff) | |
check for cyclic parameters, operations and dependent types
Diffstat (limited to 'src/GFI.hs')
| -rw-r--r-- | src/GFI.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GFI.hs b/src/GFI.hs index 5c31fce41..de633040e 100644 --- a/src/GFI.hs +++ b/src/GFI.hs @@ -10,8 +10,8 @@ import GF.Data.ErrM import GF.Grammar hiding (Ident) import GF.Grammar.Parser (runP, pExp) import GF.Compile.Rename -import GF.Compile.CheckGrammar import GF.Compile.Concrete.Compute (computeConcrete) +import GF.Compile.Concrete.TypeCheck (inferLType) import GF.Infra.Dependencies import GF.Infra.CheckM import GF.Infra.UseIO |