[GHC] #1265: Template Haskell fail Messages not Getting Through

GHC trac at galois.com
Thu Apr 12 13:08:15 EDT 2007


#1265: Template Haskell fail Messages not Getting Through
------------------------------+---------------------------------------------
 Reporter:  twhitehe at uwo.ca   |          Owner:         
     Type:  bug               |         Status:  new    
 Priority:  normal            |      Milestone:  6.8    
Component:  Template Haskell  |        Version:  6.6    
 Severity:  normal            |     Resolution:         
 Keywords:                    |     Difficulty:  Unknown
 Testcase:                    |   Architecture:  Unknown
       Os:  Unknown           |  
------------------------------+---------------------------------------------
Comment (by twhitehe at uwo.ca):

 I sent the aforementioned patches to the cvs-ghc mailing list (i.e., the
 ones that achieve the desired result through changing the fail
 implementation for the Q monad to first log the message and the associated
 exception handling code).

 However, I wanted to note that, with regard to IOEnv eating the fail
 messages, I grepped the source code for fail, looked at the context of all
 the uses, and found no explicit uses of IOEnv's fail.  By my
 understanding, that leaves possible pattern match failures on <- in a do
 as the only use of IOEnv's fail outside of TH code.

 Perhaps IOEnv's fail should be changed to not eat the message?

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1265>
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