projects
/
ghc-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8a1129a
)
remove unnecessary testing definition from CodeTypes.hs
author
Adam Megacz
<megacz@cs.berkeley.edu>
Sat, 19 Mar 2011 19:33:34 +0000
(12:33 -0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Tue, 31 May 2011 21:59:08 +0000
(14:59 -0700)
GHC/HetMet/CodeTypes.hs
patch
|
blob
|
history
diff --git
a/GHC/HetMet/CodeTypes.hs
b/GHC/HetMet/CodeTypes.hs
index
9584607
..
cf0dc12
100644
(file)
--- a/
GHC/HetMet/CodeTypes.hs
+++ b/
GHC/HetMet/CodeTypes.hs
@@
-10,8
+10,7
@@
module GHC.HetMet.CodeTypes (
GuestLanguageAdd, <[ (+) ]>,
GuestLanguageSub, <[ (-) ]>, <[ negate ]>,
GuestLanguageFromInteger, <[ fromInteger ]>,
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
) where
import Prelude (Integer, String, Char, Bool, error)
import GHC.HetMet.GArrow
@@
-25,9
+24,6
@@
hetmet_esc = Prelude.error "hetmet_esc should never be evaluated; did you forget
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?"
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
{-
-- After the flattening pass the argument and result types of this
-- function are identical (for any instantiation), so the flattener