From b094274c0e6e0218977a65821066a3970254810a Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 26 Jun 2012 14:46:18 +0000 Subject: Report many type errors instead of stopping after the first one In GF.Compile.CheckGrammar, use a new topological sorting function that groups independent judgements, allowing them all to be checked before continuing or reporting errors. --- src/compiler/GF/Data/Relation.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler/GF/Data/Relation.hs') diff --git a/src/compiler/GF/Data/Relation.hs b/src/compiler/GF/Data/Relation.hs index 7024a482c..b888a0fd7 100644 --- a/src/compiler/GF/Data/Relation.hs +++ b/src/compiler/GF/Data/Relation.hs @@ -23,7 +23,7 @@ module GF.Data.Relation (Rel, mkRel, mkRel' , isTransitive, isReflexive, isSymmetric , isEquivalence , isSubRelationOf - , topologicalSort) where + , topologicalSort, findCycles) where import Data.Foldable (toList) import Data.List -- cgit v1.2.3