#5426: Clever programs violate GHC assumptions about representation
---------------------------------+------------------------------------------
Reporter: batterseapower | Owner: dreixel
Type: bug | Status: new
Priority: high | Milestone: 7.4.1
Component: Compiler | Version: 7.2.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: GHC accepts invalid program
Difficulty: | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Changes (by dreixel):
* cc: jpm@… (added)
Comment:
Replying to [comment:2 simonpj]:
> * Remove the "!" case from the parser for kinds. Was
{{{
akind :: { Located Kind }
: '*' { L1 liftedTypeKind }
| '!' { L1 unliftedTypeKind }
| CONID {% checkKindName (L1 (getCONID $1)) }
| '(' kind ')' { LL (unLoc $2) }
}}}
> It's probably different now anyway.
The parser doesn't accept `!` as a kind anymore, so this part is already
done.
> * When kind-checking types, make sure that in a `TyConApp`, a tycon
returning an `unliftedKind` is always saturated. All these tycons are
`WiredIn` so it should be a cheap and easy test.
In core lint?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5426#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
