#2110: Rules to eliminate casted id's
---------------------------------+------------------------------------------
Reporter: igloo | Owner:
Type: feature request | Status: new
Priority: lowest | Milestone: 7.6.1
Component: Compiler | Version: 6.8.2
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by simonpj):
I'm not sure it makes sense for an undergrad thesis.
* It's clear what FC (Core) code to generate. The trick is to find a nice
source-language design that feels easy and intuitive, and from which we
can generate the right FC. Undergrads aren't going to be able to do that.
* Adding type-variable binders in rules is fiddly, but not very
glamorous.
And to be fair I am a bit concerned about dealing with an undergrad patch
to the typechecker, one of the more complicated bits of GHC.
There are lots of other open tickets at [wiki:Status/SLPJ-Tickets] if you
are interested in a list of open questions. But most of them are tricky
in some way, or I'd have done them :-)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2110#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
