[Hugs] #65: depth cutoff reports the wrong constraint

Hugs trac at galois.com
Fri Apr 20 16:38:45 EDT 2007


#65: depth cutoff reports the wrong constraint
--------------------------+-------------------------------------------------
  Reporter:  ross         |       Owner:  nobody
      Type:  defect       |      Status:  closed
  Priority:  major        |   Milestone:        
 Component:  type system  |     Version:  200609
Resolution:  fixed        |    Keywords:        
--------------------------+-------------------------------------------------
Changes (by ross):

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

Comment:

 Fixed by the patch
 {{{
 Fri Apr 20 21:28:47 BST 2007  Ross Paterson <ross at soi.city.ac.uk>
   * report the top-level goal when hitting the cutoff (fixes #65)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/65>
Hugs <http://www.haskell.org/hugs/>
Hugs 98, an interpreter for Haskell


More information about the Hugs-Bugs mailing list