On Fri, Apr 20, 2007 at 01:42:52AM +0100, Neil Mitchell wrote:
> * Nonterm generates:
>
> >hugs Nonterm.hs -98
>
> ERROR "Nonterm.hs":56 - Unresolved top-level overloading
> *** Binding : test
> *** Outstanding context : (Play b, Typeable b, Play ((bad type) ((bad type)
> ((ba
> d ty
#65: depth cutoff reports the wrong constraint
-+--
Reporter: ross | Owner: nobody
Type: defect | Status: new
Priority: major| Milestone:
Component: type system |
Ross
> * Nonterm generates:
> * Segfault generates:
Under Linux, I get "Garbage collection fails to reclaim sufficient
space" for both of these.
By tweaking the code a bit I was able to get GC messages, but the
examples above crash. I suspect the crash is rather fragile - minor
alternati
Hi
I wonder if this is related to the reason that optimization is turned
off for certain files (search for "Modules to be compiled without
optimization" in src/Makefile.in). During the static analysis and type
checking phases, the mark phase of the Hugs garbage collector also looks
for cells on
On Fri, Apr 20, 2007 at 01:44:15PM +0100, Neil Mitchell wrote:
> By tweaking the code a bit I was able to get GC messages, but the
> examples above crash. I suspect the crash is rather fragile - minor
> alternations like removing expressions that seemingly have no
> interaction fix this crash. I su
#65: depth cutoff reports the wrong constraint
--+-
Reporter: ross | Owner: nobody
Type: defect | Status: closed
Priority: major| Milestone:
Component: type system |
