Changeset 12784 for trunk/HasCASL/TypeAna.hs

Timestamp:

05.11.2009 17:00:35 (4 months ago)

Author:

maeder

Message:

fail by returning Nothing for wrong types

Files:

• trunk/HasCASL/TypeAna.hs (modified) (2 diffs)

trunk/HasCASL/TypeAna.hs

@@ -29 +29 @@
 import Control.Monad
 
--- * infer kind
+ -- * infer kind
 
 -- | extract kinds of type identifier
@@ -64 +64 @@
         ("no kind found for '" ++ showDoc ty "'" ++
          if Set.null ks then "" else expected sk ks)
-        $ getRange ty] $ Just Set.empty
+        $ getRange ty] $ if dk == Error then Nothing else Just Set.empty
 
 -- | add an analysed type argument (warn on redeclared types)