[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