From luecke at informatik.uni-bremen.de  Tue May 19 11:40:13 2009
From: luecke at informatik.uni-bremen.de (Dominik Luecke)
Date: Tue, 19 May 2009 11:40:13 +0200
Subject: [Hets-devel] CASL/CCC/FreeTypes.hs is broken
Message-ID: <4A127E7D.60204@informatik.uni-bremen.de>

Hi,

there is a typing error in CASL/CCC/FreeTypes.hs, ghc currently produces
the output:

CASL/CCC/FreeTypes.hs:430:19:
    Couldn't match expected type `Result
                                    (Maybe (ConsistencyStatus, [FORMULA
()]))'
           against inferred type `Maybe (ConsistencyStatus, [a])'
      Expected type: Maybe
                       (Result (Maybe (ConsistencyStatus, [FORMULA ()])))
      Inferred type: Maybe (Maybe (ConsistencyStatus, [a]))
    In the expression:
          Just $ return (Just (Conservative, [])) nullRange
    In the definition of `checkPositive':
        checkPositive fsn
                        | allPos = Just $ return (Just (Conservative,
[])) nullRange
                        | otherwise = Nothing
                        where
                            allPos = all checkPos $ getFs fsn
                            checkPos :: FORMULA () -> Bool
                            checkPos f = case quanti f of {
                                           Conjunction cs _ -> all
checkPos cs
                                           Disjunction ds _ -> any
checkPos ds
                                           Implication i1 i2 _ _
                                             -> (not $ checkPos i1) ||
checkPos i2
                                           Equivalence e1 e2 _ ->
checkPos e1 == checkPos e2
                                           Negation n _ -> not $ checkPos n
                                           True_atom _ -> True
                                           False_atom _ -> False
                                           Predication _ _ _ -> True
                                           Definedness _ _ -> True
                                           Existl_equation _ _ _ -> True
                                           Strong_equation _ _ _ -> True
                                           _ -> False }
make: *** [hets] Error 1

Cheers,
 Dominik

-- 
Dominik Luecke                 Phone +49-421-218-64265
Dept. of Computer Science      Fax   +49-421-218-9864265
University of Bremen           luecke at informatik.uni-bremen.de
P.O.Box 330440, D-28334 Bremen
PGP-Key ID 0x766B1F6B