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]
["ml-ulex" --ml-lex-mode "tiger.lex"]
[parsing ../(sources.cm):tiger.lex.sml]
[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]
["ml-yacc"  "tiger.grm"]
[parsing ../(sources.cm):tiger.grm.sig]
[parsing ../(sources.cm):tiger.grm.sml]
[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):env.sml]
[loading ../(sources.cm):prtype.sml]
[loading ../(sources.cm):prabsyn.sml]
[loading ../(sources.cm):errormsg.sml]
[compiling ../(sources.cm):tiger.grm.sig]
[code: 73, data: 1, env: 978 bytes]
[compiling ../(sources.cm):tiger.grm.sml]
../tiger.grm.sml:11.5-16.34 Warning: match nonexhaustive
          (typeDeclaration,
           TypeDec typeDeclarationsHead :: typeDeclarationsTail) => ...
  
[code: 57682, data: 4834, env: 4217 bytes]
[compiling ../(sources.cm):tiger.lex.sml]
[code: 96787, data: 507, env: 2569 bytes]
[loading ../(sources.cm):semant.sml]
[loading ../(sources.cm):parse.sml]
[New bindings added.]
val it = true : bool
../tests/andopexp-bothnonint.tig:1.1:Error: left argument to & not INT
../tests/andopexp-bothnonint.tig:1.1:Error: right argument to & not INT


The type of the program parsed:
INT

val it = () : unit
-