projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix sin/cos/tan on x86; trac #2059
[ghc-hetmet.git]
/
compiler
/
types
/
TyCon.lhs
diff --git
a/compiler/types/TyCon.lhs
b/compiler/types/TyCon.lhs
index
ddcb665
..
e6366be
100644
(file)
--- a/
compiler/types/TyCon.lhs
+++ b/
compiler/types/TyCon.lhs
@@
-186,7
+186,7
@@
data TyCon
tyConName :: Name,
tyConArity :: Arity,
coKindFun :: [Type] -> (Type,Type)
tyConName :: Name,
tyConArity :: Arity,
coKindFun :: [Type] -> (Type,Type)
- } -- INVARAINT: coKindFun is always applied to exactly 'arity' args
+ } -- INVARIANT: coKindFun is always applied to exactly 'arity' args
-- E.g. for trans (c1 :: ta=tb) (c2 :: tb=tc), the coKindFun returns
-- the kind as a pair of types: (ta,tc)
-- E.g. for trans (c1 :: ta=tb) (c2 :: tb=tc), the coKindFun returns
-- the kind as a pair of types: (ta,tc)
@@
-372,7
+372,7
@@
Source code:
w2 :: Foo T
w2 = MkFoo (\(MkT x) -> case w1 of MkFoo f -> f x)
w2 :: Foo T
w2 = MkFoo (\(MkT x) -> case w1 of MkFoo f -> f x)
-After desugaring, and discading the data constructors for the newtypes,
+After desugaring, and discarding the data constructors for the newtypes,
we get:
w2 :: Foo T
w2 = w1
we get:
w2 :: Foo T
w2 = w1