| Age | Commit message (Collapse) | Author |
|---|
|
Refine function codeTerm into codeTerm, codeLTerm and codeLTerms.
|
|
Still keeping the modules both in a list and in a finite map. The overhead is
smaller than I initially thought.
|
|
list
This speeds up the compilation of PhrasebookFin.pgf by 12%, mosly by speeding
up calls to lookupModule in calls from lookupParamValues, in calls
from allParamValues.
The invariant "modules are stored in dependency order" is no longer respected!
But the type MGrammar is now abstract, making it easier to maintain this or
other invariants in the future.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
'instance Foo of Bar - [f,g,h]'
|
|
|
|
examples/gadt-transfer
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;-separated words
|
|
* The gf command line options -preproc=mkPresent and -preproc=mkMinimal now
refer to internal preprocessors equivalent to lib/src/mkPresent
and lib/src/mkMinimal.
* The temporary file _gf_preproc.tmp is not created when running an
internal preprocessor, unless there is an error, since errors messages
refer to locations in the preprocessed file. (Possibly allowing the rgl
build to be parallelized.)
* After running an external preprocessor, the temporary file is deleted,
unless there was an error.
* (Bug fix) Before, when running more than one preprocessor, the same file name
would be used for both input and output, e.g.,
mkPresent _gf_preproc.tmp > _gf_preproc.tmp
which would result in an empty file being processed. Now, the input and
output files will always be different.
|
|
|
|
|
|
command in the shell
|
|
in the abstract syntax
|
|
|
|
parse forest
|
|
|
|
|
|
|
|
|
|
Not used yet
|
|
fid(String|Int|Float)
|
|
|
|
|
|
|
|
|
|
|
|
printnames only if they are explicitly specified.
|
|
|
|
well with metavariables and high-order abstract syntax
|
|
recompiled each time
|
|
|
|
|
|
simplify the PMCFG generation
|
|
|
|
functionality is exposed by parse_
|
|
|
