- Cvs-nhc98 - Haskell.org

n+k patterns can now be traced (by hat-trans).
by olaf＠sparud.net 25 Jan '02

25 Jan '02

olaf: Fri Jan 25 17:45:20 CET 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv26568/src/compiler98 Modified Files: AuxFile.hs Syntax.hs TokenId.hs TraceId.hs TraceTrans.hs Log Message: 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.

1 0

Fix the hat-trail script to avoid using the Java package n
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 17:02:26 CET 2002 Update of /usr/src/master/nhc/script In directory hinken:/tmp/cvs-serv26285 Modified Files: hat-trail.inst Log Message: Fix the hat-trail script to avoid using the Java package name.

1 0

In all java files, comment out the 'package' line at the t
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 17:01:23 CET 2002 Update of /usr/src/master/nhc/src/hat/trail In directory hinken:/tmp/cvs-serv26264 Modified Files: Bottom.java Case.java CharList.java Connection.java CutOffTree.java DbgPanel.java EDTNode.java EDTParser.java EDTStructuredNode.java Events.java GetParams.java HatTrail.java Help.java Hidden.java IdName.java MainPanel.java ModalMessage.java NodeTable.java Option.java Options.java Output.java OutputChar.java OutputPanel.java Pruned.java Redex.java Script.java ScriptEngine.java ScriptException.java ScriptMessage.java ServerDialog.java SourceRef.java SourceViewer.java Status.java StringDialog.java Symbols.java TabbedPanel.java Trace.java TraceFrame.java TraceTree.java UI.java Log Message: In all java files, comment out the 'package' line at the top.

1 0

Change discovery of available fonts from Java 1.1 to Java
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 17:00:55 CET 2002 Update of /usr/src/master/nhc/src/hat/trail In directory hinken:/tmp/cvs-serv26243 Modified Files: FontDialog.java Log Message: Change discovery of available fonts from Java 1.1 to Java 1.3 API.

1 0

Mark the variable in an (n+k) pattern as lambda-bound in t
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 15:56:36 CET 2002 Update of /usr/src/master/nhc/src/compiler98 In directory hinken:/tmp/cvs-serv25628 Modified Files: AuxFile.hs Log Message: Mark the variable in an (n+k) pattern as lambda-bound in the portable hat transformation.

1 0

Rename the OBJDIR in the hat/tools Makefile to avoid confu
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 12:30:05 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv23320 Modified Files: Makefile Log Message: Rename the OBJDIR in the hat/tools Makefile to avoid confusion.

1 0

Rename all src/tracer directories in the toplevel Makefile
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 12:26:16 CET 2002 Update of /usr/src/master/nhc In directory hinken:/tmp/cvs-serv23250 Modified Files: Makefile Log Message: Rename all src/tracer directories in the toplevel Makefile. Also, add rudimentary support for building a separate 'portable Hat' distribution.

1 0

Remove old directory src/tracer, now everything it contain
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 12:22:10 CET 2002 Update of /usr/src/master/nhc/src/tracer In directory hinken:/tmp/cvs-serv23188 Removed Files: Makefile Makefile.inc Log Message: Remove old directory src/tracer, now everything it contained is moved elsewhere.

1 0

Rename directory src/tracer/hoodui -> src/hoodui.
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 12:20:51 CET 2002 Update of /usr/src/master/nhc/src/tracer/hoodui/com/microstar/xml In directory hinken:/tmp/cvs-serv23146/com/microstar/xml Removed Files: README XmlHandler.java XmlParser.java Log Message: Rename directory src/tracer/hoodui -> src/hoodui.

1 0

Rename directory src/tracer/hoodui -> src/hoodui.
by malcolm＠sparud.net 25 Jan '02

25 Jan '02

malcolm: Fri Jan 25 12:20:49 CET 2002 Update of /usr/src/master/nhc/src/tracer/hoodui In directory hinken:/tmp/cvs-serv23146 Removed Files: AllCDS.java ArgResList.java CDS.java CDSCons.java CDSEnter.java CDSFun.java CDSMany.java CDSRoot.java CDSUnknown.java Hood.java HoodApplet.java HoodBag.java HoodColl.java HoodSet.java HoodText.java HoodTopLevel.java HoodVector.java HoodViewer.java Makefile Makefile.inc Message.java Pretty.java PrettyCommand.java PrettyContentWidget.java PrettyContext.java PrettyDisplay.java PrettyDisplayText.java PrettyGroup.java PrettyMany.java PrettyNL.java PrettyNest.java PrettyShadow.java PrettyStep.java PrettyText.java XmlObsHandler.java Log Message: Rename directory src/tracer/hoodui -> src/hoodui.

1 0