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:
cc87288
)
enable argument types in pga_{un}flatten
author
Adam Megacz
<megacz@cs.berkeley.edu>
Sat, 14 May 2011 03:34:50 +0000
(20:34 -0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Tue, 31 May 2011 21:59:10 +0000
(14:59 -0700)
GHC/HetMet/CodeTypes.hs
patch
|
blob
|
history
diff --git
a/GHC/HetMet/CodeTypes.hs
b/GHC/HetMet/CodeTypes.hs
index
fcb13ca
..
255e8b4
100644
(file)
--- a/
GHC/HetMet/CodeTypes.hs
+++ b/
GHC/HetMet/CodeTypes.hs
@@
-45,19
+45,19
@@
hetmet_flatten x = unG (pga_flatten x)
-- type-inference/checking:
pga_flatten ::
forall g x y.
-- type-inference/checking:
pga_flatten ::
forall g x y.
- <[ y ]>@g ->
- PGArrow g (GArrowUnit g) y
+ <[ x -> y ]>@g ->
+ PGArrow g x y
pga_flatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
pga_unflatten ::
forall g x y.
pga_flatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
pga_unflatten ::
forall g x y.
- PGArrow g (GArrowUnit g) y ->
- <[ y ]>@g
+ PGArrow g x y ->
+ <[ x -> y ]>@g
pga_unflatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
pga_flattened_id ::
forall g x y.
pga_unflatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
pga_flattened_id ::
forall g x y.
- PGArrow g (GArrowUnit g) y ->
- PGArrow g (GArrowUnit g) y
+ PGArrow g x y ->
+ PGArrow g x y
pga_flattened_id x = x
pga_flattened_id x = x