#2110: Rules to eliminate casted id's
---------------------------------+------------------------------------------
Reporter: igloo | Owner:
Type: feature request | Status: new
Priority: lowest | Milestone: 7.6.2
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):
Your previous comment ("I find I disagree"). But I don't see a good
solution at the moment:
* I really do not want anything relying on `unsafeCorece`. There is
nothing ill-typed going on here, and it would be horrible to subert the
type system to do something the (FC) type system can express perfectly
well.
* I really do not want to magically infer that a function is map-like.
That seems terribly fragile to me (what about mutual recursion, types with
multiple parameters, non-uniform recursion etc). At most one could make
a special case for lists.
Generally the GHC story has been, lacking a good way forward, to wait
until someone has a neat idea, rather than to implement a hack that we
later regret. That's where I am on this one at the moment.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2110#comment:26>
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
