[GHC] #1369: Type error when compiling ST-monad-like code

GHC trac at galois.com
Tue May 22 08:18:27 EDT 2007


#1369: Type error when compiling ST-monad-like code
---------------------------------+------------------------------------------
    Reporter:  koen at chalmers.se  |        Owner:         
        Type:  bug               |       Status:  closed 
    Priority:  normal            |    Milestone:         
   Component:  Compiler          |      Version:  6.6.1  
    Severity:  normal            |   Resolution:  wontfix
    Keywords:                    |   Difficulty:  Unknown
          Os:  Unknown           |     Testcase:         
Architecture:  Unknown           |  
---------------------------------+------------------------------------------
Changes (by simonpj):

  * resolution:  => wontfix
  * status:  new => closed

Comment:

 Aha.  You are the second person to discover that pattern bindings are
 monomorphic by default.

 See [http://hackage.haskell.org/trac/haskell-
 prime/wiki/MonomorphicPatternBindings]

 I've added this report to the feedback there.

 Meanwhile, you can use `-fno-mono-pat-binds` or don't use a pattern
 binding.  I'll mark this 'wont-fix', because the above page is the place
 for feedback.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1369>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


More information about the Glasgow-haskell-bugs mailing list