Standard ML of New Jersey [Version 110.99.7; 64-bit; December 28, 2024]
- [autoloading]
[library $smlnj/cm/cm.cm is stable]
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
[library $smlnj/internal/srcpath-lib.cm is stable]
[library $SMLNJ-BASIS/basis.cm is stable]
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable]
[autoloading done]
[scanning ../sources.cm]
[attempting to load plugin $/lex-ext.cm]
[library $/lex-ext.cm is stable]
[library $smlnj/cm/tools.cm is stable]
[library $smlnj/internal/cm-lib.cm is stable]
[plugin $/lex-ext.cm loaded successfully]
[attempting to load plugin $/mllex-tool.cm]
[library $/mllex-tool.cm is stable]
[plugin $/mllex-tool.cm loaded successfully]
[attempting to load plugin $/grm-ext.cm]
[library $/grm-ext.cm is stable]
[plugin $/grm-ext.cm loaded successfully]
[attempting to load plugin $/mlyacc-tool.cm]
[library $/mlyacc-tool.cm is stable]
[plugin $/mlyacc-tool.cm loaded successfully]
[library $/ml-yacc-lib.cm is stable]
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable]
[library $SMLNJ-ML-YACC-LIB/ml-yacc-lib.cm is stable]
[loading ../(sources.cm):table.sig]
[loading ../(sources.cm):table.sml]
[loading ../(sources.cm):symbol.sml]
[loading ../(sources.cm):absyn.sml]
[loading ../(sources.cm):temp.sig]
[loading ../(sources.cm):translate.sig]
[loading ../(sources.cm):env.sml]
[loading ../(sources.cm):prtype.sml]
[loading ../(sources.cm):prabsyn.sml]
[loading ../(sources.cm):errormsg.sml]
[loading ../(sources.cm):tiger.grm.sig]
[loading ../(sources.cm):tiger.grm.sml]
[loading ../(sources.cm):tiger.lex.sml]
[loading ../(sources.cm):escape.sml]
[loading ../(sources.cm):temp.sml]
[loading ../(sources.cm):frame.sig]
[loading ../(sources.cm):mipsframe.sml]
[loading ../(sources.cm):translate.sml]
[loading ../(sources.cm):semant.sml]
[loading ../(sources.cm):parse.sml]
[New bindings added.]
val it = true : bool
../tests/end-with-id.tig:4.15:syntax error found at EOF
val it = () : unit
-