projects
/
ghc-base.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix type mistake in CodeTypes.hs
[ghc-base.git]
/
GHC
/
HetMet
/
CodeTypes.hs
diff --git
a/GHC/HetMet/CodeTypes.hs
b/GHC/HetMet/CodeTypes.hs
index
424551b
..
d629119
100644
(file)
--- a/
GHC/HetMet/CodeTypes.hs
+++ b/
GHC/HetMet/CodeTypes.hs
@@
-5,6
+5,7
@@
module GHC.HetMet.CodeTypes (
hetmet_csp,
hetmet_flatten,
pga_flatten,
hetmet_csp,
hetmet_flatten,
pga_flatten,
+ pga_unflatten,
pga_flattened_id,
GuestIntegerLiteral, guestIntegerLiteral,
GuestStringLiteral, guestStringLiteral,
pga_flattened_id,
GuestIntegerLiteral, guestIntegerLiteral,
GuestStringLiteral, guestStringLiteral,
@@
-30,7
+31,7
@@
hetmet_csp = Prelude.error "hetmet_csp should never be evaluated; did you forget
hetmet_flatten ::
forall g .
hetmet_flatten ::
forall g .
- GArrowSTKC g (,) () =>
+ GArrowSTKC g =>
forall x y.
<[ x -> y ]>@g
->
forall x y.
<[ x -> y ]>@g
->
@@
-47,6
+48,11
@@
pga_flatten ::
<[ x -> y ]>@g ->
PGArrow g x y
pga_flatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
<[ 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.
+ 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_flattened_id ::
forall g x y.