[cvs-nhc98] patch applied (hat): Portable Hat: Fixed < < loop> > bug.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:17:46 EDT 2006


Tue May 28 09:08:43 PDT 2002  olaf
  * Portable Hat: Fixed <<loop>> bug.
  
  Even for local constants uConstDef has to record something to avoid a black hole, because useDef pattern matches on its result. Hence use uwrapForward there.
  
  Reintroduced distinction between wrapForward and uwrapForward. The former always records a Forward. Know that for type conversion combinators the trace will always be demanded.
  
  Also replaced unFun by pattern matching on Fun. It was stupid previously to remove pattern matching. Because Fun is a newtype it doesn't force any evaluation and it is nicer and probably more efficient than unFun.
  
  Experimented with different definition of uwrapForward. The alternative is nicer, but slightly less efficient and hence only included in a comment.

    M ./src/hatlib/Hat.hs -51 +87


More information about the Cvs-nhc98 mailing list