Menu ▾ ▴

Commit [r2636]  Maximize  Restore  History

changed the compiler/coder so they'll dump newoids withot expanding flora

prefix and instead use FLORA_SYMBOL('newoid123').
This is needed to help flDump produce more readable stripped code.
(I introduced a new syntactic category, PRNEWOID, to simplify the
implementation.)
In flrutils, dump
?- flora_load_dyn(FLORA_FDB_FILENAME,FLORA_THIS_MODULE_NAME).
using the macro FLORA_FDB_FILENAME, which can be set on command line.
Also help produce better dumped code.

kifer 2001-08-09

Browse code at this revision

Parent: [r2635]

Child: [r2637]

changed /trunk/XSB/packages/flora2/flrcoder.P
changed /trunk/XSB/packages/flora2/flrcompiler.P
changed /trunk/XSB/packages/flora2/flrincludes/flora_terms.flh
changed /trunk/XSB/packages/flora2/flrutils.P
changed /trunk/XSB/packages/flora2/includes/flrheader.flh
/trunk/XSB/packages/flora2/flrcoder.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/flora2/flrcompiler.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/flora2/flrincludes/flora_terms.flh Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/flora2/flrutils.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/flora2/includes/flrheader.flh Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB