projects
/
coq-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5cfd103
)
fix spelling error in HaskWeakToCore
author
Adam Megacz
<megacz@cs.berkeley.edu>
Mon, 14 Mar 2011 09:58:09 +0000
(
02:58
-0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Mon, 14 Mar 2011 09:58:09 +0000
(
02:58
-0700)
src/HaskWeakToCore.v
patch
|
blob
|
history
diff --git
a/src/HaskWeakToCore.v
b/src/HaskWeakToCore.v
index
7d0fac4
..
1194251
100644
(file)
--- a/
src/HaskWeakToCore.v
+++ b/
src/HaskWeakToCore.v
@@
-20,7
+20,7
@@
Variable mkCoreLet : @CoreBind CoreVar -> @CoreExpr CoreVar -> @CoreExpr CoreVar
Extract Inlined Constant mkCoreLet => "MkCore.mkCoreLet".
Variable sortAlts : forall {a}{b}, list (@triple AltCon a b) -> list (@triple AltCon a b).
Extract Inlined Constant mkCoreLet => "MkCore.mkCoreLet".
Variable sortAlts : forall {a}{b}, list (@triple AltCon a b) -> list (@triple AltCon a b).
- Extract Inlined Constant mkCoreLet => "sortAlts".
+ Extract Inlined Constant sortAlts => "sortAlts".
Implicit Arguments sortAlts [[a][b]].
Variable trustMeCoercion : CoreCoercion.
Implicit Arguments sortAlts [[a][b]].
Variable trustMeCoercion : CoreCoercion.