| | Creating temporary file "C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\BAT000002.bat" with contents
[
@echo off
"%SMLNETPATH%\bin\smlnet.bat" /on:debug /target:exe /out:Debug\RML.exe @script /make
if errorlevel 1 goto VCReportError
goto VCEnd
:VCReportError
echo Project : error PRJ0019: A tool returned an error code: "Performing Makefile project actions"
exit 1
:VCEnd
]
Creating command line "C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\BAT000002.bat"
Performing Makefile project actions
SML.NET 1.1 build 644 of Tuesday, 07 October 2003
[Interpreting commands in file c:\dev\src\RML\script.smlnet...]
[Interpreting commands in file c:\bin\sml.net\lib\parsing\sources.smlnet...]
Checking timestamps on source files......done.
Analysing dependencies...
Reading dependency information for c:\dev\src\RML\RML.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\closed\Datatypes.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Basis.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\String.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Char.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Int.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\General.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\PrimUtils_.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Prim.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\PRIM.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\Option.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\OPTION.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\GENERAL.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\SPECIFIC.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\Bool.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Utils_.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\StringCvt.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\List.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\LIST.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\StringBuffer_.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\STRINGBUFFER_.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\STRING_CVT.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\BOOL.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\INTEGER.sig...done.
Reading dependency information for C:\bin\sml.net\s
rc\basis\CHAR.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\Substring_.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\STRING.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\Int16.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Int32.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Int64.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\FixedInt.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\Real32.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\Real.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Word64.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\LargeWord.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\WORD.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\LargeInt.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Word.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\IEEEReal.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\IEEE_REAL.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\MATH.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\REAL.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\Int8.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Word8.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Substring.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\SUBSTRING.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\Vector.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\VECTOR.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\Word16.sml...done.
Reading dependency information for C:\bin\sml.net\
src\basis\Word32.sml...done.
Reading dependency information for c:\dev\src\RML\Main.sml...done.
Reading dependency information for c:\dev\src\RML\Version.sml...done.
Reading dependency information for c:\dev\src\RML\SysDep.sml...done.
Reading dependency information for c:\dev\src\RML\SYSDEP.sig...done.
Reading dependency information for c:\dev\src\RML\VersionFn.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\TextIO.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Array.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\ARRAY.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\IO.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\IO.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\CharVector.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\MONO_VECTOR.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\TEXT_IO.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\IMPERATIVE_IO.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\STREAM_IO.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\TEXT_STREAM_IO.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\Date.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Time.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\TIME.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\LargeReal.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\DATE.sig...done.
Reading dependency information for c:\dev\src\RML\VERSION.sig...done.
Reading dependency information for c:\dev\src\RML\Util.sml...done.
Reading dependency information for c:\dev\src\RML\UTIL.sig...done.
Reading dependency information for c:\dev\src\RML\ReorderParse.sml...done.
Reading dependency information for c:\dev\src\RML\Parse.
sml...done.
Reading dependency information for c:\dev\src\RML\Absyn.sml...done.
Reading dependency information for c:\dev\src\RML\MakeString.sml...done.
Reading dependency information for c:\dev\src\RML\MAKESTRING.sig...done.
Reading dependency information for c:\dev\src\RML\Source.sml...done.
Reading dependency information for c:\dev\src\RML\SOURCE.sig...done.
Reading dependency information for c:\dev\src\RML\AbsynFn.sml...done.
Reading dependency information for c:\dev\src\RML\AADictFn.sml...done.
Reading dependency information for c:\dev\src\RML\ORD_KEY.sig...done.
Reading dependency information for c:\dev\src\RML\ORD_DICT.sig...done.
Reading dependency information for c:\dev\src\RML\ABSYN.sig...done.
Reading dependency information for c:\dev\src\RML\RMLParser.sml...done.
Parsing c:\dev\src\RML\RMLLex.sml...
Checking...done.
...done.
Saving dependency information for c:\dev\src\RML\RMLLex.sml...done.
Reading dependency information for c:\dev\src\RML\RMLLrVals.sml...done.
Reading dependency information for c:\bin\sml.net\lib\parsing\parser2.sml...done.
Reading dependency information for c:\bin\sml.net\lib\parsing\lrtable.sml...done.
Reading dependency information for c:\bin\sml.net\lib\parsing\base.sig...done.
Reading dependency information for c:\bin\sml.net\lib\parsing\stream.sml...done.
Reading dependency information for c:\dev\src\RML\LexArg.sml...done.
Reading dependency information for c:\dev\src\RML\LexArgFn.sml...done.
Reading dependency information for c:\dev\src\RML\LEXARG.sig...done.
Reading dependency information for c:\dev\src\RML\rml.grm.sml...done.
Reading dependency information for c:\dev\src\RML\rml.grm.sig...done.
Reading dependency information for c:\dev\src\RML\LexUtil.sml...done.
Reading dependency information for c:\dev\src\RML\LEXUTIL.sig...done.
Parsing c:\dev\src\RML\rml.lex.sml...
Checking...done.
...done.
Saving dependency information for c:\dev\src\RML\rml.lex.sml...done.
Parsing C:\bin\sml.net\src\basis\Unsafe.sml..
.
Checking...done.
...done.
Saving dependency information for C:\bin\sml.net\src\basis\Unsafe.sml...done.
Parsing C:\bin\sml.net\src\basis\Word8Vector.sml...
Checking...done.
...done.
Saving dependency information for C:\bin\sml.net\src\basis\Word8Vector.sml...done.
Reading dependency information for c:\bin\sml.net\lib\parsing\join.sml...done.
Reading dependency information for c:\dev\src\RML\ParseFn.sml...done.
Reading dependency information for c:\dev\src\RML\PARSE.sig...done.
Reading dependency information for c:\dev\src\RML\Reorder.sml...done.
Reading dependency information for c:\dev\src\RML\ReorderTy.sml...done.
Reading dependency information for c:\dev\src\RML\ReorderSCC.sml...done.
Reading dependency information for c:\dev\src\RML\REORDER_SCC.sig...done.
Reading dependency information for c:\dev\src\RML\ReorderTyFn.sml...done.
Reading dependency information for c:\dev\src\RML\REORDER_TY.sig...done.
Reading dependency information for c:\dev\src\RML\ReorderVal.sml...done.
Reading dependency information for c:\dev\src\RML\ReorderValFn.sml...done.
Reading dependency information for c:\dev\src\RML\REORDER_VAL.sig...done.
Reading dependency information for c:\dev\src\RML\ReorderFn.sml...done.
Reading dependency information for c:\dev\src\RML\REORDER.sig...done.
Reading dependency information for c:\dev\src\RML\Control.sml...done.
Reading dependency information for c:\dev\src\RML\CONTROL.sig...done.
Reading dependency information for c:\dev\src\RML\ReorderParseFn.sml...done.
Reading dependency information for c:\dev\src\RML\StatElab.sml...done.
Reading dependency information for c:\dev\src\RML\StatObj.sml...done.
Reading dependency information for c:\dev\src\RML\TyFcn.sml...done.
Reading dependency information for c:\dev\src\RML\TyComb.sml...done.
Reading dependency information for c:\dev\src\RML\Ty.sml...done.
Reading dependency information for c:\dev\src\RML\TY.sig...done.
Reading dependency information for c:\dev\src\RML\TyCombFn.sml...done.
Reading dependency information for c:\dev\src\RML\TY_COMB.sig...done.
Reading dependency information for c:\dev\src\RML\TyFcnFn.sml...done.
Reading dependency information for c:\dev\src\RML\TY_FCN.sig...done.
Reading dependency information for c:\dev\src\RML\TyScheme.sml...done.
Reading dependency information for c:\dev\src\RML\TySchemeFn.sml...done.
Reading dependency information for c:\dev\src\RML\TY_SCHEME.sig...done.
Reading dependency information for c:\dev\src\RML\StatObjFn.sml...done.
Reading dependency information for c:\dev\src\RML\STAT_OBJ.sig...done.
Reading dependency information for c:\dev\src\RML\StatElabFn.sml...done.
Reading dependency information for c:\dev\src\RML\STAT_ELAB.sig...done.
Reading dependency information for c:\dev\src\RML\AbsynPrint.sml...done.
Reading dependency information for c:\dev\src\RML\AbsynPrintFn.sml...done.
Reading dependency information for c:\dev\src\RML\ABSYN_PRINT.sig...done.
Reading dependency information for c:\dev\src\RML\AbsynToFOL.sml...done.
Reading dependency information for c:\dev\src\RML\StrDict.sml...done.
Reading dependency information for c:\dev\src\RML\StrKey.sml...done.
Reading dependency information for c:\dev\src\RML\FOL.sml...done.
Reading dependency information for c:\dev\src\RML\FOLFn.sml...done.
Reading dependency information for c:\dev\src\RML\FOL.sig...done.
Reading dependency information for c:\dev\src\RML\AbsynToFOLFn.sml...done.
Reading dependency information for c:\dev\src\RML\STR_DICT.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\ListPair.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\LIST_PAIR.sig...done.
Reading dependency information for c:\dev\src\RML\ABSYNTOFOL.sig...done.
Reading dependency information for c:\dev\src\RML\FOLPrint.sml...done.
Reading dependency information for c:\dev\src\RML\PP.sml...done.
Reading dependency information for c:\dev\src\RML\PP.sig...done.
Reading dependency information for c:\dev\src\RML\FOLUsages.sml.
..done.
Reading dependency information for c:\dev\src\RML\FOLUsagesFn.sml...done.
Reading dependency information for c:\dev\src\RML\FOL_USAGES.sig...done.
Reading dependency information for c:\dev\src\RML\FOLPrintFn.sml...done.
Reading dependency information for c:\dev\src\RML\FOL_PRINT.sig...done.
Reading dependency information for c:\dev\src\RML\FOLOptim.sml...done.
Reading dependency information for c:\dev\src\RML\FOLUnify.sml...done.
Reading dependency information for c:\dev\src\RML\FOLUnifyFn.sml...done.
Reading dependency information for c:\dev\src\RML\FOL_UNIFY.sig...done.
Reading dependency information for c:\dev\src\RML\FOLOptimFn.sml...done.
Reading dependency information for c:\dev\src\RML\FOL_OPTIM.sig...done.
Reading dependency information for c:\dev\src\RML\FOLToCPS.sml...done.
Reading dependency information for c:\dev\src\RML\PMC.sml...done.
Reading dependency information for c:\dev\src\RML\CPS.sml...done.
Reading dependency information for c:\dev\src\RML\ConRep.sml...done.
Reading dependency information for c:\dev\src\RML\CONREP.sig...done.
Reading dependency information for c:\dev\src\RML\CPSFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPS.sig...done.
Reading dependency information for c:\dev\src\RML\PMCFn.sml...done.
Reading dependency information for c:\dev\src\RML\PMC.sig...done.
Reading dependency information for c:\dev\src\RML\TransEnv.sml...done.
Reading dependency information for c:\dev\src\RML\TransEnvFn.sml...done.
Reading dependency information for c:\dev\src\RML\TRANSENV.sig...done.
Reading dependency information for c:\dev\src\RML\FOLToCPSFn.sml...done.
Reading dependency information for c:\dev\src\RML\FOLTOCPS.sig...done.
Reading dependency information for c:\dev\src\RML\CPSOptim.sml...done.
Reading dependency information for c:\dev\src\RML\CPSPrint.sml...done.
Reading dependency information for c:\dev\src\RML\CPSPrintFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPS_PRINT.sig...done.
Rea
ding dependency information for c:\dev\src\RML\CPSUsages.sml...done.
Reading dependency information for c:\dev\src\RML\CPSUseful.sml...done.
Reading dependency information for c:\dev\src\RML\CPSUsefulFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPS_USEFUL.sig...done.
Reading dependency information for c:\dev\src\RML\CPSUsagesFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPS_USAGES.sig...done.
Reading dependency information for c:\dev\src\RML\CPSOptimFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPS_OPTIM.sig...done.
Reading dependency information for c:\dev\src\RML\CPSToSwitch.sml...done.
Reading dependency information for c:\dev\src\RML\CPSFVars.sml...done.
Reading dependency information for c:\dev\src\RML\CPSFVarsFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPS_FVARS.sig...done.
Reading dependency information for c:\dev\src\RML\Switch.sml...done.
Reading dependency information for c:\dev\src\RML\Mangle.sml...done.
Reading dependency information for c:\dev\src\RML\MangleFn.sml...done.
Reading dependency information for c:\dev\src\RML\MANGLE.sig...done.
Reading dependency information for c:\dev\src\RML\SwitchFn.sml...done.
Reading dependency information for c:\dev\src\RML\SWITCH.sig...done.
Reading dependency information for c:\dev\src\RML\CODE.sig...done.
Reading dependency information for c:\dev\src\RML\CPSToCodeFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPSTOCODE.sig...done.
Reading dependency information for c:\dev\src\RML\SwitchOptim.sml...done.
Reading dependency information for c:\dev\src\RML\SwitchFVars.sml...done.
Reading dependency information for c:\dev\src\RML\CodeFVarsFn.sml...done.
Reading dependency information for c:\dev\src\RML\CODE_FVARS.sig...done.
Reading dependency information for c:\dev\src\RML\CodeOptimFn.sml...done.
Reading dependency information for c:\dev\src\RML\CODE_OPTIM.sig...done.
Reading dependency information for c:\dev\src\RML\C
PSToPlain.sml...done.
Reading dependency information for c:\dev\src\RML\Plain.sml...done.
Reading dependency information for c:\dev\src\RML\PlainFn.sml...done.
Reading dependency information for c:\dev\src\RML\PLAIN.sig...done.
Reading dependency information for c:\dev\src\RML\PlainOptim.sml...done.
Reading dependency information for c:\dev\src\RML\PlainFVars.sml...done.
[Warning: source file not found for structure PlainToC]
Reading dependency information for c:\dev\src\RML\MaskToC.sml...done.
[Warning: source file not found for structure SwitchIntras]
Reading dependency information for c:\dev\src\RML\SwitchCodeToC.sml...done.
Reading dependency information for c:\dev\src\RML\CodeToCFn.sml...done.
Reading dependency information for c:\dev\src\RML\CODETOC.sig...done.
Reading dependency information for c:\dev\src\RML\MaskToCFn.sml...done.
Reading dependency information for c:\dev\src\RML\SWITCH_INTRAS.sig...done.
Reading dependency information for c:\dev\src\RML\SWITCHTOC.sig...done.
Reading dependency information for c:\dev\src\RML\DiffToC.sml...done.
[Warning: source file not found for structure SwitchIntras]
Reading dependency information for c:\dev\src\RML\DiffToCFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPSToSML.sml...done.
Reading dependency information for c:\dev\src\RML\CPSToSMLFn.sml...done.
Reading dependency information for c:\dev\src\RML\CPSTOSML.sig...done.
Reading dependency information for c:\dev\src\RML\Interp.sml...done.
Reading dependency information for c:\dev\src\RML\InterpCore.sml...done.
Reading dependency information for c:\dev\src\RML\IntDict.sml...done.
Reading dependency information for c:\dev\src\RML\IntKey.sml...done.
Reading dependency information for c:\dev\src\RML\InterpCoreFn.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\Math.sml...done.
Reading dependency information for c:\dev\src\RML\INTERP_CORE.sig...done.
Reading dependency information for c:\dev\src\RML\InterpFn.sml...done.
Reading dependency information for c:\dev\src\RML\INTERP.sig...done.
Reading dependency information for c:\dev\src\RML\MainFn.sml...done.
Reading dependency information for c:\dev\src\RML\PLAINTOC.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\OS.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\OS_PATH.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\OS_FILE_SYS.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\Position.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\OS_PROCESS.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\OS.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\OS_IO.sig...done.
Reading dependency information for c:\dev\src\RML\MAIN.sig...done.
Reading dependency information for C:\bin\sml.net\src\basis\clr\CommandLine.sml...done.
Reading dependency information for C:\bin\sml.net\src\basis\COMMAND_LINE.sig...done.
...done.
Saving build information in C:\bin\sml.net\bin\.smlnetbld...done.
Decoding class System.LoaderOptimization...done.
Decoding class System.AttributeTargets...done.
Decoding class System.DayOfWeek...done.
Decoding class System.PlatformID...done.
Decoding class System.TypeCode...done.
Decoding class System.UriHostNameType...done.
Decoding class System.UriPartial...done.
Decoding class System.String...done.
Decoding class System.Object...done.
Decoding class System.Collections.IEnumerable...done.
Decoding class System.IConvertible...done.
Decoding class System.ICloneable...done.
Decoding class System.IComparable...done.
Decoding class System.Int64...done.
Decoding class System.ValueType...done.
Decoding class System.IFormattable...done.
Decoding class System.Char...done.
Decoding class System.Single...done.
Decoding class System.Double...done.
Decoding class System.DateTime...done.
Decoding class System.BitConverter...done.
Decoding class System.Console...done.
Decoding class System.Convert...done.
Decoding class System.TimeZone...done.
Decoding class System.Enum...done.
Decoding class System.Environment...done.
Decoding class System.Math...done.
Decoding class System.Security.PolicyLevelType...done.
Decoding class System.Security.SecurityZone...done.
Decoding class System.Security.Permissions.EnvironmentPermissionAccess...done.
Decoding class System.Security.Permissions.FileDialogPermissionAccess...done.
Decoding class System.Security.Permissions.FileIOPermissionAccess...done.
Decoding class System.Security.Permissions.IsolatedStorageContainment...done.
Decoding class System.Security.Permissions.PermissionState...done.
Decoding class System.Security.Permissions.SecurityAction...done.
Decoding class System.Security.Permissions.ReflectionPermissionFlag...done.
Decoding class System.Security.Permissions.RegistryPermissionAccess...done.
Decoding class System.Security.Permissions.SecurityPermissionFlag...done.
Decoding class System.Security.Permissions.UIPermissionWindow...done.
Decoding class System.Security.Permissions.UIPermissionClipboard...done.
Decoding class System.Environment+SpecialFolder...done.
Decoding class System.Diagnostics.ThreadState...done.
Decoding class System.Diagnostics.TraceLevel...done.
Decoding class System.Diagnostics.EventLogEntryType...done.
Decoding class System.Diagnostics.EventLogPermissionAccess...done.
Decoding class System.Diagnostics.PerformanceCounterPermissionAccess...done.
Decoding class System.Diagnostics.PerformanceCounterType...done.
Decoding class System.Diagnostics.ProcessPriorityClass...done.
Decoding class System.Diagnostics.ProcessWindowStyle...done.
Decoding class System.Diagnostics.ThreadPriorityLevel...done.
Decoding class System.Diagnostics.ThreadWaitReason...done.
Decoding class System.Globalization.CalendarWeekRule...done.
Decoding class System.Globalization.CompareOptions...done.
Decoding class System.Globalization.CultureTypes...done.
Decoding class System.Globalization.DateTimeStyles...done.
Decoding class System.Globalization.GregorianCalendarTypes...done.
Decoding class System.Globalization.NumberStyles...done.
Decoding class System.Globalization.UnicodeCategory...done.
Decoding class System.Globalization.CultureInfo...done.
Decoding class System.IFormatProvider...done.
Decoding class System.IO.FileAccess...done.
Decoding class System.IO.FileMode...done.
Decoding class System.IO.FileShare...done.
Decoding class System.IO.FileAttributes...done.
Decoding class System.IO.SeekOrigin...done.
Decoding class System.IO.NotifyFilters...done.
Decoding class System.IO.WatcherChangeTypes...done.
Decoding class System.IO.Directory...done.
Decoding class System.IO.File...done.
Decoding class System.IO.Path...done.
Decoding class System.ComponentModel.BindableSupport...done.
Decoding class System.ComponentModel.CollectionChangeAction...done.
Decoding class System.ComponentModel.DesignerSerializationVisibility...done.
Decoding class System.ComponentModel.EditorBrowsableState...done.
Decoding class System.ComponentModel.LicenseUsageMode...done.
Decoding class System.ComponentModel.ListChangedType...done.
Decoding class System.ComponentModel.ListSortDirection...done.
Decoding class System.ComponentModel.ToolboxItemFilterType...done.
Decoding class System.ComponentModel.InheritanceLevel...done.
Decoding class System.ComponentModel.PropertyTabScope...done.
Decoding class System.ComponentModel.RefreshProperties...done.
Reading object file for Datatypes...done.
Reading object file for PRIM...done.
Reading object file for OPTION...done.
Reading object file for Option...done.
Reading object file for PrimUtils_...done.
Reading object file for SPECIFIC...done.
Reading object file for GENERAL...done.
Reading object file for General...done.
Reading object file for LIST...done.
Reading object file for List...done.
Reading object file for STRINGBUFFER_...done.
Reading object file for StringBuffer_...done.
Reading object file for STRING_CVT...done.
Reading object file for StringCvt...done.
Reading object file for Utils_...done.
Reading object file for BOOL...done.
Reading object file for Bool...done.
Reading object file for INTEGER...done.
Reading object file for Int...done.
Reading object file for CHAR...done.
Reading object file for Char...done.
Reading object file for Substring_...done.
Reading object file for STRING...done.
Reading object file for String...done.
Reading object file for Int16...done.
Reading object file for Int32...done.
Reading object file for FixedInt...done.
Reading object file for Int64...done.
Reading object file for Real32...done.
Reading object file for WORD...done.
Reading object file for LargeWord...done.
Reading object file for Word64...done.
Reading object file for LargeInt...done.
Reading object file for Word...done.
Reading object file for IEEE_REAL...done.
Reading object file for IEEEReal...done.
Reading object file for MATH...done.
Reading object file for REAL...done.
Reading object file for Real...done.
Reading object file for Int8...done.
Reading object file for Word8...done.
Reading object file for SUBSTRING...done.
Reading object file for Substring...done.
Reading object file for VECTOR...done.
Reading object file for Vector...done.
Reading object file for Word16...done.
Reading object file for Word32...done.
Reading object file for Basis...done.
Reading object file for SYSDEP...done.
Reading object file for SysDep...done.
Reading object file for ARRAY...done.
Reading object file for Array...done.
Reading object file for IO...done.
Reading object file for IO...done.
Reading object file for MONO_VECTOR...done.
Reading object file for CharVector...done.
Reading object file for STREAM_IO...done.
Reading object file for IMPERATIVE_IO...done.
Reading object file for TEXT_STREAM_IO...done.
Reading object file for TEXT_IO...done.
Reading object file for TextIO...done.
Reading object file for LargeReal...done.
Reading object file for TIME...done.
Reading object file for Time...done.
Reading object file for DATE...done.
Reading object file for Date...done.
Reading object file for VERSION...done.
Reading object file for VersionFn...done.
Reading object file for Version...done.
Reading object file for UTIL...done.
Reading object file for Util...done.
Reading object file for MAKESTRING...done.
Reading object file for MakeString...done.
Reading object file for SOURCE...done.
Reading object file for Source...done.
Reading object file for ORD_KEY...done.
Reading object file for ORD_DICT...done.
Reading object file for AADictFn...done.
Reading object file for ABSYN...done.
Reading object file for AbsynFn...done.
Reading object file for Absyn...done.
Reading object file for LR_TABLE...done.
Reading object file for LrTable...done.
Reading object file for STREAM...done.
Reading object file for Stream...done.
Reading object file for TOKEN...done.
Reading object file for FIFO...done.
Reading object file for LR_PARSER...done.
Reading object file for LrParser...done.
Reading object file for LEXARG...done.
Reading object file for LexArgFn...done.
Reading object file for LexArg...done.
Reading object file for RML_TOKENS...done.
Reading object file for PARSER_DATA...done.
Reading object file for RML_LRVALS...done.
Reading object file for RMLLrValsFn...done.
Reading object file for RMLLrVals...done.
Parsing c:\dev\src\RML\LEXUTIL.sig...
Checking...done.
...done.
Type checking signature LEXUTIL [c:\dev\src\RML\LEXUTIL.sig]...done.
Saving object file for LEXUTIL...done.
Parsing c:\dev\src\RML\LexUtil.sml...
Checking...done.
...done.
Type checking structure LexUtil [c:\dev\src\RML\LexUtil.sml]....done.
Compiling structure LexUtil...
Translating...
Decoding class System.Boolean...done.
...done.
Pre-simplifying [presimp]...[1450]arrowBeta:270 bindBeta:599 commonVal:40 deadBind:25 deadBind2:469 deadLet:17 forallEta:23 letEta:1 prodBeta:6 [20]arrowBeta:1 bindBeta:12 commonVal:1 deadBind2:4 prodBeta:2 done.
Arity raising functions [arity]...[2]inline.fun:2
Analysing scopes...[10]knownFunctions:2 localFunctions:8 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[9]argArity:9 [2]inline.fun:2
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[313]bindBeta:125 commonVal:2 deadBind2:110 prodBeta:76 done.
...done.
Saving object file for LexUtil...done.
Type checking structure Word8Vector [C:\bin\sml.net\src\basis\Word8Vector.sml]...done.
Compiling structure Word8Vector...
Translating...done.
Pre-simplifying [presimp]...[180]arrowBeta:12 bindBeta:69 deadBind2:70 forallEta:14 prodBeta:15 done.
Arity raising functions [arity]...[0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for Word8Vector...done.
Type checking structure Unsafe [C:\bin\sml.net\src\basis\Unsafe.sml]...done.
Compiling structure Unsafe...
Translating...done.
Pre-simplifying [presimp]...[6]bindBeta:3 deadBind2:3 done.
Arity raising functions [arity]...[0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for Unsafe...done.
Reading object file for ARG_LEXER...done.
Type checking functor RMLLexFn [c:\dev\src\RML\rml.lex.sml].......done.
Saving object file for RMLLexFn...done.
Type checking structure RMLLex [c:\dev\src\RML\RMLLex.sml].......done.
Compiling structure RMLLex...
Translating...done.
Pre-simplifying [presimp]...[3967]arrowBeta:329 bindBeta:1761 commonVal:58 deadBind:66 deadBind2:1393 deadLet:73 forallBeta:20 forallEta:91 prodBeta:176 [1742]arrowBeta:308 bindBeta:702 commonVal:43 deadBind2:673 prodBeta:16 done.
Arity raising functions [arity]...[6]inline.fun:6
Analysing scopes...[7]knownFunctions:3 localFunctions:4 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[7]argArity:5 resultArity:2 [2]inline.fun:2
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[203]bindBeta:76 deadBind:1 deadBind2:69 deadLet:3 deadLetFun:1 prodBeta:45 unfoldFold:8 done.
...done.
Saving object file for RMLLex...done.
Reading object file for ARG_PARSER...done.
Reading object file for JoinWithArg...done.
Parsing c:\dev\src\RML\RMLParser.sml...
Checking...done.
...done.
Type checking structure RMLParser [c:\dev\src\RML\RMLParser.sml]...
Parsing c:\bin\sml.net\lib\parsing\join.sml...
Checking...done.
...done.
...done.
Compiling structure RMLParser...
Translating...done.
Pre-simplifying [presimp]...[1602]arrowBeta:97 bindBeta:556 commonVal:97 deadBind:70 deadBind2:576 deadLet:36 forallEta:57 prodBeta:113 done.
Arity raising functions [arity]...[2]inline.fun:2
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for RMLParser...done.
Parsing c:\dev\src\RML\PARSE.sig...
Checking...done.
...done.
Type checking signature PARSE [c:\dev\src\RML\PARSE.sig]...done.
Saving object file for PARSE...done.
Parsing c:\dev\src\RML\ParseFn.sml...
Checking...done.
...done.
Type checking functor ParseFn [c:\dev\src\RML\ParseFn.sml]....done.
Saving object file for ParseFn...done.
Parsing c:\dev\src\RML\Parse.sml...
Checking...done.
...done.
Type checking structure Parse [c:\dev\src\RML\Parse.sml]...done.
Compiling structure Parse...
Translating...done.
Pre-simplifying [presimp]...[1889]arrowBeta:108 bindBeta:656 commonVal:71 deadBind:70 deadBind2:669 deadLet:39 deadTry:25 forallEta:105 letEta:1 prodBeta:145 done.
Arity raising functions [arity]...[4]inline.fun:4
Analysing scopes...[1]knownFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[1]argArity:1 [4]inline.fun:4
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[22]bindBeta:7 deadBind2:9 prodBeta:6 done.
...done.
Saving object file for Parse...done.
Parsing c:\dev\src\RML\REORDER_SCC.sig...
Checking...done.
...done.
Type checking signature REORDER_SCC [c:\dev\src\RML\REORDER_SCC.sig]...done.
Saving object file for REORDER_SCC...done.
Parsing c:\dev\src\RML\ReorderSCC.sml...
Checking...done.
...done.
Type checking structure ReorderSCC [c:\dev\src\RML\ReorderSCC.sml]...done.
Compiling structure ReorderSCC...
Translating...done.
Pre-simplifying [presimp]...[564]arrowBeta:75 bindBeta:199 commonVal:1 deadBind:32 deadBind2:209 deadLet:21 forallEta:24 prodBeta:3 [29]arrowBeta:4 bindBeta:13 commonVal:1 deadBind2:9 prodBeta:2 done.
Arity raising functions [arity]...[0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for ReorderSCC...done.
Parsing c:\dev\src\RML\REORDER_TY.sig...
Checking...done.
...done.
Type checking signature REORDER_TY [c:\dev\src\RML\REORDER_TY.sig]...done.
Saving object file for REORDER_TY...done.
Parsing c:\dev\src\RML\ReorderTyFn.sml...
Checking...done.
...done.
Type checking functor ReorderTyFn [c:\dev\src\RML\ReorderTyFn.sml]....done.
Saving object file for ReorderTyFn...done.
Parsing c:\dev\src\RML\ReorderTy.sml...
Checking...done.
...done.
Type checking structure ReorderTy [c:\dev\src\RML\ReorderTy.sml].....done.
Compiling structure ReorderTy...
Translating...done.
Pre-simplifying [presimp]...[1881]arrowBeta:180 bindBeta:704 commonVal:73 deadBind:70 deadBind2:651 deadLet:42 forallEta:63 prodBeta:98 [82]arrowBeta:11 bindBeta:33 commonVal:7 deadBind2:29 prodBeta:2 [6]arrowBeta:1 bindBeta:3 deadBind2:2 [6]arrowBeta:1 bindBeta:3 deadBind2:2 done.
Arity raising functions [arity]...[10]inline.fun:10
Analysing scopes...[6]knownFunctions:5 localFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[6]argArity:4 resultArity:2 [6]inline.fun:6
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[192]bindBeta:64 commonVal:1 deadBind2:70 deadLet:2 deadLetFun:1 prodBeta:54 done.
...done.
Saving object file for ReorderTy...done.
Parsing c:\dev\src\RML\REORDER_VAL.sig...
Checking...done.
...done.
Type checking signature REORDER_VAL [c:\dev\src\RML\REORDER_VAL.sig]...done.
Saving object file for REORDER_VAL...done.
Parsing c:\dev\src\RML\ReorderValFn.sml...
Checking...done.
...done.
Type checking functor ReorderValFn [c:\dev\src\RML\ReorderValFn.sml]....done.
Saving object file for ReorderValFn...done.
Parsing c:\dev\src\RML\ReorderVal.sml...
Checking...done.
...done.
Type checking structure ReorderVal [c:\dev\src\RML\ReorderVal.sml].....done.
Compiling structure ReorderVal...
Translating...done.
Pre-simplifying [presimp]...[1909]arrowBeta:203 bindBeta:725 commonVal:68 deadBind:70 deadBind2:647 deadLet:44 forallEta:63 prodBeta:89 [66]arrowBeta:7 bindBeta:29 commonVal:1 deadBind2:21 prodBeta:8 [6]arrowBeta:1 bindBeta:3 deadBind2:2 [6]arrowBeta:1 bindBeta:3 deadBind2:2 done.
Arity raising functions [arity]...[10]inline.fun:10
Analysing scopes...[9]knownFunctions:7 localFunctions:2 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[9]argArity:7 resultArity:2 [2]inline.fun:2
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[310]bindBeta:103 commonVal:1 deadBind2:117 deadLet:2 deadLetFun:1 prodBeta:86 done.
...done.
Saving object file for ReorderVal...done.
Parsing c:\dev\src\RML\REORDER.sig...
Checking...done.
...done.
Type checking signature REORDER [c:\dev\src\RML\REORDER.sig]...done.
Saving object file for REORDER...done.
Parsing c:\dev\src\RML\ReorderFn.sml...
Checking...done.
...done.
Type checking functor ReorderFn [c:\dev\src\RML\ReorderFn.sml]...done.
Saving object file for ReorderFn...done.
Parsing c:\dev\src\RML\Reorder.sml...
Checking...done.
...done.
Type checking structure Reorder [c:\dev\src\RML\Reorder.sml]....done.
Compiling structure Reorder...
Translating...done.
Pre-simplifying [presimp]...[1805]arrowBeta:158 bindBeta:671 commonVal:91 deadBind:68 deadBind2:633 deadLet:36 forallEta:64 prodBeta:84 [40]arrowBeta:3 bindBeta:16 deadBind2:14 prodBeta:7 done.
Arity raising functions [arity]...[6]inline.fun:6
Analysing scopes...[2]knownFunctions:2 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[2]argArity:2 [6]inline.fun:6
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[240]bindBeta:93 deadBind2:81 prodBeta:66 done.
...done.
Saving object file for Reorder...done.
Parsing c:\dev\src\RML\CONTROL.sig...
Checking...done.
...done.
Type checking signature CONTROL [c:\dev\src\RML\CONTROL.sig]...done.
Saving object file for CONTROL...done.
Parsing c:\dev\src\RML\Control.sml...
Checking...done.
...done.
Type checking structure Control [c:\dev\src\RML\Control.sml]...done.
Compiling structure Control...
Translating...done.
Pre-simplifying [presimp]...[285]arrowBeta:26 bindBeta:71 commonVal:1 deadBind:34 deadBind2:108 deadLet:18 forallEta:23 prodBeta:4 done.
Arity raising functions [arity]...[0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for Control...done.
Parsing c:\dev\src\RML\ReorderParseFn.sml...
Checking...done.
...done.
Type checking functor ReorderParseFn [c:\dev\src\RML\ReorderParseFn.sml]...done.
Saving object file for ReorderParseFn...done.
Parsing c:\dev\src\RML\ReorderParse.sml...
Checking...done.
...done.
Type checking structure ReorderParse [c:\dev\src\RML\ReorderParse.sml]....done.
Compiling structure ReorderParse...
Translating...done.
Pre-simplifying [presimp]...[1427]arrowBeta:92 bindBeta:478 commonVal:90 deadBind:69 deadBind2:504 deadLet:36 forallEta:64 prodBeta:94 done.
Arity raising functions [arity]...[0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for ReorderParse...done.
Parsing c:\dev\src\RML\TY.sig...
Checking...done.
...done.
Type checking signature TY [c:\dev\src\RML\TY.sig]...done.
Saving object file for TY...done.
Parsing c:\dev\src\RML\Ty.sml...
Checking...done.
...done.
Type checking structure Ty [c:\dev\src\RML\Ty.sml]....done.
Compiling structure Ty...
Translating...done.
Pre-simplifying [presimp]...[1400]arrowBeta:253 bindBeta:536 caseBeta:1 commonVal:27 deadBind:26 deadBind2:479 deadLet:44 forallEta:23 prodBeta:10 unfoldFold:1 [65]arrowBeta:5 bindBeta:29 commonVal:1 deadBind2:19 prodBeta:11 done.
Arity raising functions [arity]...[8]inline.fun:8
Analysing scopes...[8]knownFunctions:4 localFunctions:4 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[12]argArity:4 resultArity:8 [4]inline.fun:4
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[216]bindBeta:76 commonVal:7 deadBind2:84 deadLet:1 deadLetFun:2 prodBeta:46 done.
...done.
Saving object file for Ty...done.
Parsing c:\dev\src\RML\TY_COMB.sig...
Checking...done.
...done.
Type checking signature TY_COMB [c:\dev\src\RML\TY_COMB.sig]...done.
Saving object file for TY_COMB...done.
Parsing c:\dev\src\RML\TyCombFn.sml...
Checking...done.
...done.
Type checking functor TyCombFn [c:\dev\src\RML\TyCombFn.sml]....done.
Saving object file for TyCombFn...done.
Parsing c:\dev\src\RML\TyComb.sml...
Checking...done.
...done.
Type checking structure TyComb [c:\dev\src\RML\TyComb.sml]....done.
Compiling structure TyComb...
Translating...done.
Pre-simplifying [presimp]...[1184]arrowBeta:134 bindBeta:404 commonVal:45 deadBind:67 deadBind2:409 deadLet:36 forallEta:50 prodBeta:39 done.
Arity raising functions [arity]...[4]inline.fun:4
Analysing scopes...[1]localFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[1]argArity:1 [4]inline.fun:4
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[22]bindBeta:7 deadBind2:9 prodBeta:6 done.
...done.
Saving object file for TyComb...done.
Parsing c:\dev\src\RML\TY_FCN.sig...
Checking...done.
...done.
Type checking signature TY_FCN [c:\dev\src\RML\TY_FCN.sig]...done.
Saving object file for TY_FCN...done.
Parsing c:\dev\src\RML\TyFcnFn.sml...
Checking...done.
...done.
Type checking functor TyFcnFn [c:\dev\src\RML\TyFcnFn.sml]...done.
Saving object file for TyFcnFn...done.
Parsing c:\dev\src\RML\TyFcn.sml...
Checking...done.
...done.
Type checking structure TyFcn [c:\dev\src\RML\TyFcn.sml]...done.
Compiling structure TyFcn...
Translating...done.
Pre-simplifying [presimp]...[1003]arrowBeta:83 bindBeta:323 commonVal:51 deadBind:69 deadBind2:346 deadLet:36 forallEta:50 prodBeta:45 done.
Arity raising functions [arity]...[4]inline.fun:4
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for TyFcn...done.
Parsing c:\dev\src\RML\TY_SCHEME.sig...
Checking...done.
...done.
Type checking signature TY_SCHEME [c:\dev\src\RML\TY_SCHEME.sig]...done.
Saving object file for TY_SCHEME...done.
Parsing c:\dev\src\RML\TySchemeFn.sml...
Checking...done.
...done.
Type checking functor TySchemeFn [c:\dev\src\RML\TySchemeFn.sml]...done.
Saving object file for TySchemeFn...done.
Parsing c:\dev\src\RML\TyScheme.sml...
Checking...done.
...done.
Type checking structure TyScheme [c:\dev\src\RML\TyScheme.sml]....done.
Compiling structure TyScheme...
Translating...done.
Pre-simplifying [presimp]...[1076]arrowBeta:101 bindBeta:352 commonVal:50 deadBind:68 deadBind2:373 deadLet:36 forallEta:50 prodBeta:46 done.
Arity raising functions [arity]...[4]inline.fun:4
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for TyScheme...done.
Parsing c:\dev\src\RML\STAT_OBJ.sig...
Checking...done.
...done.
Type checking signature STAT_OBJ [c:\dev\src\RML\STAT_OBJ.sig]...done.
Saving object file for STAT_OBJ...done.
Parsing c:\dev\src\RML\StatObjFn.sml...
Checking...done.
...done.
Type checking functor StatObjFn [c:\dev\src\RML\StatObjFn.sml]....done.
Saving object file for StatObjFn...done.
Parsing c:\dev\src\RML\StatObj.sml...
Checking...done.
...done.
Type checking structure StatObj [c:\dev\src\RML\StatObj.sml].....done.
Compiling structure StatObj...
Translating...done.
Pre-simplifying [presimp]...[4111]arrowBeta:255 bindBeta:1759 commonVal:206 deadBind:69 deadBind2:1510 deadLet:36 forallEta:66 prodBeta:210 [1116]arrowBeta:213 bindBeta:440 commonVal:27 deadBind2:436 done.
Arity raising functions [arity]...[2]inline.fun:2
Analysing scopes...[4]knownFunctions:3 localFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[4]argArity:4 [0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[1199]bindBeta:378 deadBind2:460 deadLetFun:1 prodBeta:360 done.
...done.
Saving object file for StatObj...done.
Parsing c:\dev\src\RML\STAT_ELAB.sig...
Checking...done.
...done.
Type checking signature STAT_ELAB [c:\dev\src\RML\STAT_ELAB.sig]...done.
Saving object file for STAT_ELAB...done.
Parsing c:\dev\src\RML\StatElabFn.sml...
Checking...done.
...done.
Type checking functor StatElabFn [c:\dev\src\RML\StatElabFn.sml]..........done.
Saving object file for StatElabFn...done.
Parsing c:\dev\src\RML\StatElab.sml...
Checking...done.
...done.
Type checking structure StatElab [c:\dev\src\RML\StatElab.sml].........done.
Compiling structure StatElab...
Translating...done.
Pre-simplifying [presimp]...[7326]arrowBeta:896 bindBeta:3146 commonVal:163 deadBind:70 deadBind2:2543 deadLet:118 deadLetFun:2 deadTry:15 forallEta:74 letEta:1 prodBeta:298 [428]arrowBeta:26 arrowEta:2 bindBeta:188 commonVal:8 deadBind2:128 deadLetFun:2 prodBeta:74 done.
Arity raising functions [arity]...[40]inline.fun:40
Analysing scopes...[51]knownFunctions:44 localFunctions:7 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[63]argArity:43 resultArity:18 uncurry:2 [34]inline.fun:34
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[1]uncurry:1 [36]inline.fun:36
Analysing scopes...[1]localFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[2322]bindBeta:789 commonVal:28 deadBind:2 deadBind2:860 deadLet:41 deadLetFun:12 letEta:2 prodBeta:588 [33]arrowBeta:7 bindBeta:13 deadBind2:13 [18]arrowBeta:6 bindBeta:6 deadBind2:6 done.
...done.
Saving object file for StatElab...done.
Parsing c:\dev\src\RML\ABSYN_PRINT.sig...
Checking...done.
...done.
Type checking signature ABSYN_PRINT [c:\dev\src\RML\ABSYN_PRINT.sig]...done.
Saving object file for ABSYN_PRINT...done.
Parsing c:\dev\src\RML\AbsynPrintFn.sml...
Checking...done.
...done.
Type checking functor AbsynPrintFn [c:\dev\src\RML\AbsynPrintFn.sml].....done.
Saving object file for AbsynPrintFn...done.
Parsing c:\dev\src\RML\AbsynPrint.sml...
Checking...done.
...done.
Type checking structure AbsynPrint [c:\dev\src\RML\AbsynPrint.sml].....done.
Compiling structure AbsynPrint...
Translating...done.
Pre-simplifying [presimp]...[2310]arrowBeta:305 bindBeta:888 commonVal:67 deadBind:74 deadBind2:706 deadLet:121 forallEta:62 prodBeta:87 [102]arrowBeta:7 bindBeta:59 deadBind2:25 prodBeta:11 done.
Arity raising functions [arity]...[4]inline.fun:4
Analysing scopes...[16]knownFunctions:14 localFunctions:2 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[33]argArity:16 resultArity:17 [0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[1578]bindBeta:571 commonVal:91 deadBind2:553 deadLet:32 deadLetFun:2 letEta:5 prodBeta:324 done.
...done.
Saving object file for AbsynPrint...done.
Parsing c:\dev\src\RML\StrKey.sml...
Checking...done.
...done.
Type checking structure StrKey [c:\dev\src\RML\StrKey.sml]...done.
Compiling structure StrKey...
Translating...done.
Pre-simplifying [presimp]...[225]arrowBeta:20 bindBeta:43 commonVal:1 deadBind:35 deadBind2:84 deadLet:18 forallEta:23 prodBeta:1 done.
Arity raising functions [arity]...[0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for StrKey...done.
Parsing c:\dev\src\RML\StrDict.sml...
Checking...done.
...done.
Type checking structure StrDict [c:\dev\src\RML\StrDict.sml]...
Parsing c:\dev\src\RML\AADictFn.sml...
Checking...done.
...done..
...done.
Compiling structure StrDict...
Translating...done.
Pre-simplifying [presimp]...[981]arrowBeta:112 bindBeta:331 commonVal:43 deadBind:68 deadBind2:329 deadLet:36 forallBeta:1 forallEta:50 letEta:1 prodBeta:10 done.
Arity raising functions [arity]...[0]
Analysing scopes...[3]knownFunctions:3 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[2]argArity:2 [0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[52]bindBeta:15 deadBind2:22 prodBeta:15 done.
...done.
Saving object file for StrDict...done.
Parsing c:\dev\src\RML\FOL.sig...
Checking...done.
...done.
Type checking signature FOL [c:\dev\src\RML\FOL.sig]...done.
Saving object file for FOL...done.
Parsing c:\dev\src\RML\FOLFn.sml...
Checking...done.
...done.
Type checking functor FOLFn [c:\dev\src\RML\FOLFn.sml]...done.
Saving object file for FOLFn...done.
Parsing c:\dev\src\RML\FOL.sml...
Checking...done.
...done.
Type checking structure FOL [c:\dev\src\RML\FOL.sml]...done.
Compiling structure FOL...
Translating...done.
Pre-simplifying [presimp]...[668]arrowBeta:55 bindBeta:187 commonVal:42 deadBind:68 deadBind2:221 deadLet:35 forallEta:50 prodBeta:10 done.
Arity raising functions [arity]...[0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for FOL...done.
Parsing c:\dev\src\RML\STR_DICT.sig...
Checking...done.
...done.
Type checking signature STR_DICT [c:\dev\src\RML\STR_DICT.sig]...done.
Saving object file for STR_DICT...done.
Parsing C:\bin\sml.net\src\basis\LIST_PAIR.sig...
Checking...done.
...done.
Type checking signature LIST_PAIR [C:\bin\sml.net\src\basis\LIST_PAIR.sig]...done.
Saving object file for LIST_PAIR...done.
Parsing C:\bin\sml.net\src\basis\ListPair.sml...
Checking...done.
...done.
Type checking structure ListPair [C:\bin\sml.net\src\basis\ListPair.sml]....done.
Compiling structure ListPair...
Translating...done.
Pre-simplifying [presimp]...[595]arrowBeta:71 bindBeta:217 commonVal:7 deadBind:24 deadBind2:217 deadLet:4 deadLetRec:2 forallEta:31 prodBeta:22 done.
Arity raising functions [arity]...[4]inline.fun:4
Analysing scopes...[8]knownFunctions:4 localFunctions:4 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[10]argArity:8 resultArity:2 [0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[217]arrowBeta:1 bindBeta:63 deadBind2:87 deadLet:3 prodBeta:63 done.
...done.
Saving object file for ListPair...done.
Parsing c:\dev\src\RML\ABSYNTOFOL.sig...
Checking...done.
...done.
Type checking signature ABSYNTOFOL [c:\dev\src\RML\ABSYNTOFOL.sig]...done.
Saving object file for ABSYNTOFOL...done.
Parsing c:\dev\src\RML\AbsynToFOLFn.sml...
Checking...done.
...done.
Type checking functor AbsynToFOLFn [c:\dev\src\RML\AbsynToFOLFn.sml].....done.
Saving object file for AbsynToFOLFn...done.
Parsing c:\dev\src\RML\AbsynToFOL.sml...
Checking...done.
...done.
Type checking structure AbsynToFOL [c:\dev\src\RML\AbsynToFOL.sml].....done.
Compiling structure AbsynToFOL...
Translating...done.
Pre-simplifying [presimp]...[2330]arrowBeta:285 bindBeta:888 commonVal:56 deadBind:66 deadBind2:835 deadLet:37 forallEta:68 prodBeta:95 [11]arrowBeta:3 bindBeta:4 deadBind2:4 done.
Arity raising functions [arity]...[6]inline.fun:6
Analysing scopes...[15]knownFunctions:11 localFunctions:4 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[9]argArity:9 [2]inline.fun:2
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[351]bindBeta:117 deadBind2:141 deadLetFun:2 prodBeta:91 done.
...done.
Saving object file for AbsynToFOL...done.
Parsing c:\dev\src\RML\PP.sig...
Checking...done.
...done.
Type checking signature PP [c:\dev\src\RML\PP.sig]...done.
Saving object file for PP...done.
Parsing c:\dev\src\RML\PP.sml...
Checking...done.
...done.
Type checking structure PP [c:\dev\src\RML\PP.sml].....done.
Compiling structure PP...
Translating...done.
Pre-simplifying [presimp]...[1660]arrowBeta:247 bindBeta:757 commonVal:29 deadBind:21 deadBind2:525 deadLet:54 forallEta:23 prodBeta:4 [40]arrowBeta:5 bindBeta:20 commonVal:5 deadBind2:10 done.
Arity raising functions [arity]...[0]
Analysing scopes...[11]knownFunctions:10 localFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[14]argArity:5 resultArity:9 [0]
Analysing scopes...[2]knownFunctions:2 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[4]argArity:2 resultArity:2 [0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[288]bindBeta:106 commonVal:1 deadBind2:99 deadLet:12 letEta:1 prodBeta:69 done.
...done.
Saving object file for PP...done.
Parsing c:\dev\src\RML\FOL_USAGES.sig...
Checking...done.
...done.
Type checking signature FOL_USAGES [c:\dev\src\RML\FOL_USAGES.sig]...done.
Saving object file for FOL_USAGES...done.
Parsing c:\dev\src\RML\FOLUsagesFn.sml...
Checking...done.
...done.
Type checking functor FOLUsagesFn [c:\dev\src\RML\FOLUsagesFn.sml]....done.
Saving object file for FOLUsagesFn...done.
Parsing c:\dev\src\RML\FOLUsages.sml...
Checking...done.
...done.
Type checking structure FOLUsages [c:\dev\src\RML\FOLUsages.sml]....done.
Compiling structure FOLUsages...
Translating...done.
Pre-simplifying [presimp]...[942]arrowBeta:114 bindBeta:282 commonVal:44 deadBind:67 deadBind2:315 deadLet:51 forallEta:50 prodBeta:19 done.
Arity raising functions [arity]...[8]inline.fun:8
Analysing scopes...[2]knownFunctions:1 localFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[2]resultArity:2 [6]inline.fun:6
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[8]bindBeta:2 deadBind2:2 deadLet:3 deadLetFun:1 done.
...done.
Saving object file for FOLUsages...done.
Parsing c:\dev\src\RML\FOL_PRINT.sig...
Checking...done.
...done.
Type checking signature FOL_PRINT [c:\dev\src\RML\FOL_PRINT.sig]...done.
Saving object file for FOL_PRINT...done.
Parsing c:\dev\src\RML\FOLPrintFn.sml...
Checking...done.
...done.
Type checking functor FOLPrintFn [c:\dev\src\RML\FOLPrintFn.sml].....done.
Saving object file for FOLPrintFn...done.
Parsing c:\dev\src\RML\FOLPrint.sml...
Checking...done.
...done.
Type checking structure FOLPrint [c:\dev\src\RML\FOLPrint.sml].....done.
Compiling structure FOLPrint...
Translating...done.
Pre-simplifying [presimp]...[2500]arrowBeta:337 bindBeta:1029 commonVal:52 deadBind:67 deadBind2:691 deadLet:168 forallEta:50 prodBeta:106 [280]arrowBeta:7 bindBeta:210 commonVal:23 deadBind2:38 prodBeta:2 done.
Arity raising functions [arity]...[12]inline.fun:12
Analysing scopes...[10]knownFunctions:8 localFunctions:2 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[12]argArity:3 resultArity:5 uncurry:4 [26]inline.fun:26
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[4]resultArity:3 uncurry:1 [26]inline.fun:26
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[1]resultArity:1 [26]inline.fun:26
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[756]bindBeta:292 commonVal:23 deadBind2:289 deadLet:18 deadLetFun:2 prodBeta:132 [78]arrowBeta:18 bindBeta:26 deadBind2:25 deadLet:7 letEta:2 [19]arrowBeta:5 bindBeta:5 deadBind2:5 deadLet:4 done.
...done.
Saving object file for FOLPrint...done.
Parsing c:\dev\src\RML\FOL_UNIFY.sig...
Checking...done.
...done.
Type checking signature FOL_UNIFY [c:\dev\src\RML\FOL_UNIFY.sig]...done.
Saving object file for FOL_UNIFY...done.
Parsing c:\dev\src\RML\FOLUnifyFn.sml...
Checking...done.
...done.
Type checking functor FOLUnifyFn [c:\dev\src\RML\FOLUnifyFn.sml]....done.
Saving object file for FOLUnifyFn...done.
Parsing c:\dev\src\RML\FOLUnify.sml...
Checking...done.
...done.
Type checking structure FOLUnify [c:\dev\src\RML\FOLUnify.sml]....done.
Compiling structure FOLUnify...
Translating...done.
Pre-simplifying [presimp]...[1273]arrowBeta:160 bindBeta:443 commonVal:48 deadBind:68 deadBind2:426 deadLet:57 deadTry:7 forallEta:46 prodBeta:18 [2]arrowBeta:1 deadBind:1 done.
Arity raising functions [arity]...[0]
Analysing scopes...[8]knownFunctions:7 localFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[20]argArity:7 resultArity:13 [0]
Analysing scopes...[1]knownFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[2]argArity:1 resultArity:1 [12]inline.fun:12
Analysing scopes...[6]localFunctions:6 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[297]bindBeta:77 commonVal:2 deadBind:1 deadBind2:105 deadLet:30 deadLetFun:6 letEta:1 prodBeta:75 [9]arrowEta:3 bindBeta:3 deadLetFun:3 done.
...done.
Saving object file for FOLUnify...done.
Parsing c:\dev\src\RML\FOL_OPTIM.sig...
Checking...done.
...done.
Type checking signature FOL_OPTIM [c:\dev\src\RML\FOL_OPTIM.sig]...done.
Saving object file for FOL_OPTIM...done.
Parsing c:\dev\src\RML\FOLOptimFn.sml...
Checking...done.
...done.
Type checking functor FOLOptimFn [c:\dev\src\RML\FOLOptimFn.sml].....done.
Saving object file for FOLOptimFn...done.
Parsing c:\dev\src\RML\FOLOptim.sml...
Checking...done.
...done.
Type checking structure FOLOptim [c:\dev\src\RML\FOLOptim.sml]....done.
Compiling structure FOLOptim...
Translating...done.
Pre-simplifying [presimp]...[1661]arrowBeta:229 bindBeta:619 caseBeta:1 commonVal:56 deadBind:67 deadBind2:566 deadLet:37 forallEta:50 prodBeta:35 unfoldFold:1 [3]arrowBeta:1 bindBeta:1 deadBind2:1 done.
Arity raising functions [arity]...[12]inline.fun:12
Analysing scopes...[9]knownFunctions:8 localFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[9]argArity:9 [10]inline.fun:10
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[314]bindBeta:118 commonVal:12 deadBind2:112 deadLetFun:1 prodBeta:71 done.
...done.
Saving object file for FOLOptim...done.
Parsing c:\dev\src\RML\CONREP.sig...
Checking...done.
...done.
Type checking signature CONREP [c:\dev\src\RML\CONREP.sig]...done.
Saving object file for CONREP...done.
Parsing c:\dev\src\RML\ConRep.sml...
Checking...done.
...done.
Type checking structure ConRep [c:\dev\src\RML\ConRep.sml]...done.
Compiling structure ConRep...
Translating...done.
Pre-simplifying [presimp]...[208]arrowBeta:18 bindBeta:36 deadBind:35 deadBind2:77 deadLet:19 forallEta:23 done.
Arity raising functions [arity]...[0]
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for ConRep...done.
Parsing c:\dev\src\RML\CPS.sig...
Checking...done.
...done.
Type checking signature CPS [c:\dev\src\RML\CPS.sig]...done.
Saving object file for CPS...done.
Parsing c:\dev\src\RML\CPSFn.sml...
Checking...done.
...done.
Type checking functor CPSFn [c:\dev\src\RML\CPSFn.sml]....done.
Saving object file for CPSFn...done.
Parsing c:\dev\src\RML\CPS.sml...
Checking...done.
...done.
Type checking structure CPS [c:\dev\src\RML\CPS.sml]....done.
Compiling structure CPS...
Translating...done.
Pre-simplifying [presimp]...[1385]arrowBeta:167 bindBeta:508 commonVal:41 deadBind:67 deadBind2:485 deadLet:38 forallEta:50 prodBeta:29 done.
Arity raising functions [arity]...[10]inline.fun:10
Analysing scopes...[1]knownFunctions:1 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...done.
...done.
Saving object file for CPS...done.
Parsing c:\dev\src\RML\PMC.sig...
Checking...done.
...done.
Type checking signature PMC [c:\dev\src\RML\PMC.sig]...done.
Saving object file for PMC...done.
Parsing c:\dev\src\RML\PMCFn.sml...
Checking...done.
...done.
Type checking functor PMCFn [c:\dev\src\RML\PMCFn.sml]........done.
Saving object file for PMCFn...done.
Parsing c:\dev\src\RML\PMC.sml...
Checking...done.
...done.
Type checking structure PMC [c:\dev\src\RML\PMC.sml]........done.
Compiling structure PMC...
Translating...done.
Pre-simplifying [presimp]...[4428]arrowBeta:671 bindBeta:1860 commonVal:67 deadBind:56 deadBind2:1548 deadLet:52 forallEta:50 prodBeta:124 [254]arrowBeta:30 bindBeta:107 commonVal:2 deadBind2:82 prodBeta:33 [24]arrowBeta:4 bindBeta:9 deadBind2:9 prodBeta:2 [6]arrowBeta:2 bindBeta:2 deadBind2:2 done.
Arity raising functions [arity]...[42]inline.fun:42
Analysing scopes...[45]knownFunctions:33 localFunctions:12 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[38]argArity:27 resultArity:3 uncurry:8 [74]inline.fun:74
Analysing scopes...[2]localFunctions:2 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[2]uncurry:2 [70]inline.fun:70
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[1064]bindBeta:381 commonVal:1 deadBind2:417 deadLet:7 deadLetFun:7 prodBeta:251 [101]arrowBeta:28 bindBeta:39 deadBind2:34 [14]arrowBeta:4 bindBeta:6 deadBind2:4 done.
...done.
Saving object file for PMC...done.
Parsing c:\dev\src\RML\TRANSENV.sig...
Checking...done.
...done.
Type checking signature TRANSENV [c:\dev\src\RML\TRANSENV.sig]...done.
Saving object file for TRANSENV...done.
Parsing c:\dev\src\RML\TransEnvFn.sml...
Checking...done.
...done.
Type checking functor TransEnvFn [c:\dev\src\RML\TransEnvFn.sml].....done.
Saving object file for TransEnvFn...done.
Parsing c:\dev\src\RML\TransEnv.sml...
Checking...done.
...done.
Type checking structure TransEnv [c:\dev\src\RML\TransEnv.sml]....done.
Compiling structure TransEnv...
Translating...done.
Pre-simplifying [presimp]...[2328]arrowBeta:236 bindBeta:895 commonVal:45 deadBind:70 deadBind2:860 deadLet:36 forallEta:64 prodBeta:122 [45]arrowBeta:12 bindBeta:15 commonVal:3 deadBind2:15 done.
Arity raising functions [arity]...[2]inline.fun:2
Analysing scopes...[10]knownFunctions:10 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[4]argArity:4 [2]inline.fun:2
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[598]bindBeta:176 deadBind:1 deadBind2:248 deadLetFun:1 prodBeta:172 done.
...done.
Saving object file for TransEnv...done.
Parsing c:\dev\src\RML\FOLTOCPS.sig...
Checking...done.
...done.
Type checking signature FOLTOCPS [c:\dev\src\RML\FOLTOCPS.sig]...done.
Saving object file for FOLTOCPS...done.
Parsing c:\dev\src\RML\FOLToCPSFn.sml...
Checking...done.
...done.
Type checking functor FOLToCPSFn [c:\dev\src\RML\FOLToCPSFn.sml].........done.
Saving object file for FOLToCPSFn...done.
Parsing c:\dev\src\RML\FOLToCPS.sml...
Checking...done.
...done.
Type checking structure FOLToCPS [c:\dev\src\RML\FOLToCPS.sml]........done.
Compiling structure FOLToCPS...
Translating...done.
Pre-simplifying [presimp]...[5326]arrowBeta:637 bindBeta:2305 commonVal:101 deadBind:65 deadBind2:1865 deadLet:40 forallEta:56 letEta:1 prodBeta:256 [112]arrowBeta:17 bindBeta:44 caseBeta:1 commonVal:3 deadBind2:39 prodBeta:8 [28]arrowBeta:6 bindBeta:12 deadBind2:10 [12]arrowBeta:3 bindBeta:5 deadBind2:4 [3]arrowBeta:1 bindBeta:1 deadBind2:1 done.
Arity raising functions [arity]...[30]inline.fun:30
Analysing scopes...[34]knownFunctions:28 localFunctions:6 done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[24]argArity:13 uncurry:11 [100]inline.fun:100
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[8]uncurry:8 [100]inline.fun:100
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[4]uncurry:4 [100]inline.fun:100
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[2]uncurry:2 [100]inline.fun:100
Analysing scopes...[0]done.
Transforming term...
Renaming term...done.
...done.
Arity raising...done.[0]
...done.
Pre-simplifying [presimp]...[626]bindBeta:235 commonVal:1 deadBind:2 deadBind2:256 deadLetFun:5 prodBeta:127 [367]arrowBeta:78 bindBeta:155 deadBind2:134 [162]arrowBeta:36 bindBeta:74 deadBind2:52 [34]arrowBeta:5 bindBeta:21 deadBind2:8 [20]arrowBeta:3 bindBeta:14 deadBind2:3 done.
...done.
Saving object file for FOLToCPS...done.
Parsing c:\dev\src\RML\CPS_PRINT.sig...
Checking...done.
...done.
Type checking signature CPS_PRINT [c:\dev\src\RML\CPS_PRINT.sig]...done.
Saving object file for CPS_PRINT...done.
Parsing c:\dev\src\RML\CPSPrintFn.sml...
Checking...done.
...done.C:\bin\sml.net\bin\run.x86-win32.exe: Fatal error -- Uncaught exception Fail with "inconsistent state DEFAULT for signal 0" raised at boot/NJ/internal-signals.sml:295.10-295.18
Terminate batch job (Y/N)?
Build log was saved at "file://c:\dev\src\RML\Debug\BuildLog.htm"
RML - 0 error(s), 0 warning(s) |