GuestLanguageAdd, <[ (+) ]>,
GuestLanguageSub, <[ (-) ]>, <[ negate ]>,
GuestLanguageFromInteger, <[ fromInteger ]>,
- GuestLanguageBool, <[ (||) ]>, <[ (&&) ]>, <[ true ]>, <[ false ]>, <[ ifThenElse ]>,
- <[ fromp ]>
+ GuestLanguageBool, <[ (||) ]>, <[ (&&) ]>, <[ true ]>, <[ false ]>, <[ ifThenElse ]>
) where
import Prelude (Integer, String, Char, Bool, error)
import GHC.HetMet.GArrow
hetmet_csp :: forall c. forall a. a -> a
hetmet_csp = Prelude.error "hetmet_csp should never be evaluated; did you forget to compile with -fcoqpass?"
-<[ fromp ]> :: forall a b . <[ a -> a ]>@b
-<[ fromp ]> = <[ \x -> x ]>
-
{-
-- After the flattening pass the argument and result types of this
-- function are identical (for any instantiation), so the flattener