May 2002 - Cvs-nhc98 - Haskell.org

Portable Hat: Fixed <<loop>> bug.
by olaf＠sparud.net 28 May '02

28 May '02

olaf: Tue May 28 18:08:43 CEST 2002 Update of /usr/src/master/nhc/src/hat/lib In directory hinken:/tmp/cvs-serv4637/src/hat/lib Modified Files: Hat.hs Log Message: 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.

1 0

Allow pattern "f in g" to match even if g is inside a lamb
by malcolm＠sparud.net 28 May '02

28 May '02

malcolm: Tue May 28 16:27:19 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv4104 Modified Files: observe.c Log Message: Allow pattern "f in g" to match even if g is inside a lambda within the definition of f.

1 0

In all hat tools:
by malcolm＠sparud.net 28 May '02

28 May '02

malcolm: Tue May 28 16:24:05 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv4057 Modified Files: HatObserve.hs HatTrail.hs Pattern.hs SExp.hs TExp.hs artutils.c Log Message: In all hat tools: * Replace the `verbose' option with three separate new options: uneval, stringSugar, and listSugar. * Do projections correctly. * Right-associative operators (e.g. :) are now correctly pretty-printed without extra parens. (The decoding of L/R fixity from an Int was wrong in SExp). In hat-trail: * Fix the problem of textual overflow in the error/output panes.

1 0

Revert PackedString comparison to the previous version. T
by malcolm＠sparud.net 26 May '02

26 May '02

malcolm: Sun May 26 19:27:04 CEST 2002 Update of /usr/src/master/nhc/src/prelude/LowB In directory hinken:/tmp/cvs-serv8759 Modified Files: PrimComparePS.hs Log Message: Revert PackedString comparison to the previous version. The newer FFI'd implementation has a bug that causes nhc98 to be unable to bootstrap itself.

1 0

Slight tidy-up of list-sugaring.
by malcolm＠sparud.net 22 May '02

22 May '02

malcolm: Wed May 22 15:35:39 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv29475 Modified Files: SExp.hs Log Message: Slight tidy-up of list-sugaring.

1 0

Reformat to 80 columns only.
by malcolm＠sparud.net 22 May '02

22 May '02

malcolm: Wed May 22 14:21:51 CEST 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv28792 Modified Files: Case.hs Log Message: Reformat to 80 columns only.

1 0

Do `extractExp' on field update expressions, to ensure tha
by malcolm＠sparud.net 21 May '02

21 May '02

malcolm: Tue May 21 13:08:23 CEST 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv1672/src/compiler98 Modified Files: Extract.hs Log Message: Do `extractExp' on field update expressions, to ensure that local let-expressions get their arity recorded. This avoids a compiler failure later on. Test case that previously broke the compiler: module Apa where data A = A{ field :: Bool } apa = A{ field = let s = False in s }

1 0

Bugfix for negative literal number patterns, where the ins
by malcolm＠sparud.net 20 May '02

20 May '02

malcolm: Mon May 20 19:51:35 CEST 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv22765 Modified Files: FixSyntax.hs Log Message: Bugfix for negative literal number patterns, where the instance of Num to be used is at a user-defined type. Must ensure that the Num dictionary is passed through to the pattern-compilation phase (for selection of Eq.==), rather than selecting the negate method from it here and immediately discarding the dict.

1 0

In hat-trans, if a module has no export list, produce an e
by malcolm＠sparud.net 20 May '02

20 May '02

malcolm: Mon May 20 16:16:18 CEST 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv21684 Modified Files: TraceTrans.hs Log Message: In hat-trans, if a module has no export list, produce an export list containing only the stuff that should be exported. This avoids the problem of overlapping definitions of internally-generated identifiers (e.g. source positions) in a multi-module program. A little bit of a hack but should work. (Also noticed that a default declaration should always be deleted by the transformation).

1 0

With recent fixes for when Hidden/Forward chains are gener
by malcolm＠sparud.net 17 May '02

17 May '02

malcolm: Fri May 17 16:28:55 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv28588 Modified Files: artutils.c artutils.h Log Message: With recent fixes for when Hidden/Forward chains are generated, getResult() could fall into an infinite loop caused by a cycle in the result chain. The fix is to remember the most recent Hidden node encountered, and if we trip over it again, stop the cycle and return the Hidden.

1 0