From c330cac1db47bbf5d90fbfbb215797c1dda186ae Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 28 Oct 2009 17:44:50 +0000 Subject: check for cyclic parameters, operations and dependent types --- src/GFI.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GFI.hs') 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 -- cgit v1.2.3