acg interpreter:stack_limit option to the parse command to fine-tune sorting of parsing solutionsparse commandacg commandsacg interpreter:acg and help. See https://acg.gitlabpages.inria.fr/dev/ACGtk/release/acgtk/scripting.html.parse command.-c or ---colors: to control colors in the output. Use yes to enable colors, no to disable them, or auto to enable them if the output is a TTY.-d or --debug: starts acg in debug mode: it will record and print backtraces of uncaught exceptions.-i or --interacgtive: starts interactive mode even if script files are provided, i.e., after running the script, move to interactive mode.-I or --include: to add directories where to look for object and data files.-m or --magic: Toggle on using magic set rewritten programs for parsing (experimental feature). When set, parsing commands using magic rewritten programs (if available in object files generated by acgc).-r or --seed: set a seed value to use for initialization of the random number generator (useful for the list-terms command of acg). If this paramenter is not provided, the random number generator will be initialized with a random seed.--realize: sets the json config rendering file for the svg generated (by the realize command) files.-s or --step-by-step: runs scripts step by step. This means that the execution will be paused before each command, and after printing the result of commands which return terms. Also, this will print the executed script during the execution."--version to get the version number of the software.acgc compiler:-i flag and interactive mode are removed. Command line arguments are now:
-c or ---colors: to control colors in the output. Use yes to enable colors, no to disable them, or auto to enable them if the output is a TTY.-d or --debug: starts acgc in debug mode: it will record and print backtraces of uncaught exceptions.-I or --include: to add directories where to look for object and data files-m or --magic: toggles on generating magic programs. This is an experimental feature. Parsing with magic will be available in acg. Be aware that using this option may cause generated object files to be very large.-o or --output: to output the result in a specific file (instead of a file file.acgo id file.acg was the last file provided as argument.-v or --verbosity: verbosity level. For the moment, only 0 (when the flag is not provided) or 1 (default when the flag is provided) are available. If the level is greater, than all debug information are printed. Be aware that positional argument(s) (files) may need to be separated by "--" if no other optional argument is provided after "-v".--version to get the version number of the software.acg.opt/acg interpreter:all-parse command to get all the possible parses (possibly infinitely many) of an object term.acg and acgc are now handled by the Cmdliner libraryacgc, arguments are now:--version (instead of -version) to get the version number of the software-o and --output (instead of only -o) to output the result in a specific file-I and --include (instead of only -I) to add directories where to look for files-i and --interactive (instead of only -i) to enter the interaction loop--help (instead of -help and --help) to get helpacg, arguments are now:--version (instead of -version) to get the version number of the software-I and --include (instead of only -I) to add directories where to look for files--nc and --no-color (instead of -nc) to toggle off output coloring--npp and --no-pretty-printing (instead of -npp) to toggle off output pretty printing--nsvg and --no-svg (instead of -nsvg) to toggle off svg output of the realize acg command--realize (instead of -realize) to set the configuration file with the rendering engines--svg (instead of -svg) to set the file name of the svg output of the realize acg command--help (instead of -help and --help) to get helpacgc.opt/acgc compiler and the acg.opt/acg interpreter:Some syntax changes:
t SYM u = (SYM) t uacgc.opt/acgc compiler and the acg.opt/acg interpreter:acgc.opt/acgc compiler and the acg.opt/acg interpreter:jbuilderacg.opt/acg interpreter-svg filename is added to ./acg and ./acg.opt to allow the user to provide another name than the default realize.svg to the svg output file.--disable-warning-as-errors to the .configure script in order to make opam compile without the -warn-error A option.acg.opt/acg interpreter-realize.acg.opt/acg interpreterrealize.svg file when the realize command of acg is invoked. Colors and link between signature and rendering engines are hard-coded.realize.svg file generation (takes a bit of time)acgc.opt/acgc compiler and the acg.opt/acg interpreter:Fatal Error.acgo) files. The version has to be the same as the current version of the compiler or of the interpreter that is being used.acgc.opt/acgc compiler:added a nl_lexicon keyword that causes the interpretation of any functional type (-> or =>) of the abstract signature to be interpreted by the intuitionistic arrow => in the object signature.
Accordingly, the interpretation should use Lambda.
acg.opt/acg interpreter:-nc option to disable colored outputs-npp option to disable formatting on the outputacgc.opt/acgc compiler:file.acgo file when compilation is successfulCan declare a lexicon as the composition of two other lexicons using the following declaration:
lexicon lex_name = lex_name2 << lex_name1
```acg.opt/acg interpreter:Can load an acg object file using the command:
load o file.acco;The analyse command is deprecated. It is replaced by:
A check command, prefixed by signatures, that typecheck the typing assignment of a term
Sig1 Sig2 check term:type;A realize command that must be preceded by lexicons and followed by the type assignment of a term. It checks that the term is well typed in the abstract signatures of the lexicons and compute its realizations through the lexicons.
Lex1 Lex2 realize term:type;A parse command has been added. It must be preceded with the name of a lexicon and it returns the antecedent by this lexicon of the input term with respect to some distinguished (atomic) type:
Lex parse object_term:distinguished_type;query command has been added. It follows the parse command syntax and it outputs the associated query and associated extensional database.Lex query object_term:distinguished_type;idb command has been added. It must be preceded with the name of a lexicon and it returns the intensional database associated with the lexiconLex idb;