October 2006 - Cvs-nhc98

patch applied (hat): Explicit import and export of fieldnames now works correctly in nhc98,
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 30 07:50:46 PST 2002 malcolm * Explicit import and export of fieldnames now works correctly in nhc98, so move the commented-out import/export lines back into real code. M ./src/compiler98/Flags.hs -16 +15 M ./src/compiler98/PrettySyntax.hs -2 +1 M ./src/hattrans/Flags.hs -16 +15

1 0

patch applied (hat): First step towards allowing records in portable transformation.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Wed Jan 30 03:24:59 PST 2002 olaf * First step towards allowing records in portable transformation. Corrected pretty printing of record expressions. Corrected transformation of records in patterns. Now portable transformation allows definition of records and use of records (field names) in patterns. Record selectors, record creation and record update still need to be done. M ./src/compiler98/PrettySyntax.hs -6 +14 M ./src/compiler98/Syntax.hs +2 M ./src/compiler98/TraceTrans.hs -3 +5 M ./src/hattrans/TraceTrans.hs -3 +5

1 0

patch applied (hat): Just reformat code a bit and add type declarations.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 29 04:08:18 PST 2002 olaf * Just reformat code a bit and add type declarations. M ./src/compiler98/Derive.hs -31 +57 M ./src/compiler98/DeriveEq.hs -1 +5

1 0

patch applied (hat): Rename in Makefile: Hatobserve -> HatObserve; Hatdetect -> HatDetect.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 29 03:48:19 PST 2002 malcolm * Rename in Makefile: Hatobserve -> HatObserve; Hatdetect -> HatDetect. M ./src/hattools/Makefile -6 +6

1 0

[cvs-nhc98] patch applied (hat): Rename: Hatdetect -> HatDetect; Hatobserve -> HatObserve
by Malcolm Wallace 10 Oct '06

10 Oct '06

Tue Jan 29 03:47:11 PST 2002 malcolm * Rename: Hatdetect -> HatDetect; Hatobserve -> HatObserve R ./src/hattools/Hatdetect.hs R ./src/hattools/Hatobserve.hs

1 0

patch applied (hat): Bugfix: in an export list where a type is exported both with and
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jan 28 07:42:52 PST 2002 malcolm * Bugfix: in an export list where a type is exported both with and without its constructors, previously only the final exportdecl was respected. In fact, the exports should be cumulative. M ./src/compiler98/Info.hs -5 +7

1 0

patch applied (hat): Fix the portable hat lib to build with nhc98.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Mon Jan 28 07:20:55 PST 2002 malcolm * Fix the portable hat lib to build with nhc98. * Use $(HC) in the makefile to switch compiler options. * Eliminate duplicate export of Bool() from PreludeBuiltin * Add (Integral a) context on instance of (Eq (Ratio a)) M ./src/hatlib/Makefile -3 +9 M ./src/hatlib/PreludeBasic.hs -1 +1 M ./src/hatlib/PreludeBuiltin.hs -1 +1

1 0

patch applied (hat): Introduced two new combinators for string literals and lists.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jan 25 11:41:54 PST 2002 olaf * Introduced two new combinators for string literals and lists. They are fromLitString and fromExpList. Using them instead of unfolding them reduces the size of TPreludeBasic.hs from 16266 lines to 12752 lines. M ./src/compiler98/TraceTrans.hs -3 +20 M ./src/hatlib/Hat.hs +14 M ./src/hattrans/TraceTrans.hs -3 +20

1 0

patch applied (hat): n+k patterns can now be traced (by hat-trans).
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jan 25 08:45:19 PST 2002 olaf * n+k patterns can now be traced (by hat-trans). Similar to constant numbers a bogus guard is introduced, additionally here a binding of n to argument minus k. There is a slightly unfortunate interaction with projections: f (n+1) = n is a projection. Hence if e.g. 2 is the result, its parent is f 3, but the subtraction 3-1 is unreachable. M ./src/compiler98/AuxFile.hs -1 +1 M ./src/compiler98/Syntax.hs -1 +1 M ./src/compiler98/TokenId.hs +1 M ./src/compiler98/TraceId.hs -2 +8 M ./src/compiler98/TraceTrans.hs -40 +69 M ./src/hattrans/AuxFile.hs -1 +1 M ./src/hattrans/TraceId.hs -2 +8 M ./src/hattrans/TraceTrans.hs -40 +69

1 0

patch applied (hat): In all java files, comment out the ' package' line at the top.
by Malcolm Wallace 10 Oct '06

10 Oct '06

Fri Jan 25 08:01:23 PST 2002 malcolm * In all java files, comment out the 'package' line at the top. M ./src/old/trail/Bottom.java -1 +1 M ./src/old/trail/Case.java -1 +1 M ./src/old/trail/CharList.java -1 +1 M ./src/old/trail/Connection.java -1 +1 M ./src/old/trail/CutOffTree.java -1 +1 M ./src/old/trail/DbgPanel.java -4 +4 M ./src/old/trail/EDTNode.java -1 +1 M ./src/old/trail/EDTParser.java -1 +1 M ./src/old/trail/EDTStructuredNode.java -1 +1 M ./src/old/trail/Events.java -1 +1 M ./src/old/trail/GetParams.java -1 +1 M ./src/old/trail/HatTrail.java -1 +1 M ./src/old/trail/Help.java -1 +1 M ./src/old/trail/Hidden.java -1 +1 M ./src/old/trail/IdName.java -1 +1 M ./src/old/trail/MainPanel.java -1 +1 M ./src/old/trail/ModalMessage.java -1 +1 M ./src/old/trail/NodeTable.java -1 +1 M ./src/old/trail/Option.java -1 +1 M ./src/old/trail/Options.java -1 +1 M ./src/old/trail/Output.java -1 +1 M ./src/old/trail/OutputChar.java -1 +1 M ./src/old/trail/OutputPanel.java -4 +4 M ./src/old/trail/Pruned.java -1 +1 M ./src/old/trail/Redex.java -1 +1 M ./src/old/trail/Script.java -1 +1 M ./src/old/trail/ScriptEngine.java -1 +1 M ./src/old/trail/ScriptException.java -1 +1 M ./src/old/trail/ScriptMessage.java -1 +1 M ./src/old/trail/ServerDialog.java -1 +1 M ./src/old/trail/SourceRef.java -1 +1 M ./src/old/trail/SourceViewer.java -2 +2 M ./src/old/trail/Status.java -1 +1 M ./src/old/trail/StringDialog.java -1 +1 M ./src/old/trail/Symbols.java -1 +1 M ./src/old/trail/TabbedPanel.java -1 +1 M ./src/old/trail/Trace.java -1 +1 M ./src/old/trail/TraceFrame.java -1 +1 M ./src/old/trail/TraceTree.java -1 +1 M ./src/old/trail/UI.java -1 +1

1 0