| | Performing Makefile project actions
SML.NET 1.1 build 671 of Monday, 03 November 2003
[Interpreting commands in file c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\script.smlnet...]
[Interpreting commands in file c:\bin\sml.net\lib\parsing\sources.smlnet...]
Analysing dependencies...
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\InstrumentFn.sml...done.
...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\VersionFn.sml...done.
Type checking functor VersionFn...done.
[Warning: error writing object file for VersionFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Version.sml...done.
Type checking structure Version...done.
Compiling structure Version...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\AADictFn.sml...done.
Type checking functor AADictFn...done.
[Warning: error writing object file for AADictFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\AbsynFn.sml...done.
Type checking functor AbsynFn....done.
[Warning: error writing object file for AbsynFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Absyn.sml...done.
Type checking structure Absyn....done.
Compiling structure Absyn...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\LexArgFn.sml...done.
Type checking functor LexArgFn....done.
[Warning: error writing object file for LexArgFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\LexArg.sml...done.
Type checking structure LexArg...done.
Compiling structure LexArg...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\rml.grm.sml...done.
Type checking functor RMLLrValsFn................done.
[Warning: error writing object file for RMLLrValsFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\RMLLrVals.sml...done.
Type checking structure RMLLrVals...............done.
Compiling structure RMLLrVals...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\rml.lex.sml...done.
Type checking functor RMLLexFn........done.
[Warning: error writing object file for RMLLexFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\RMLLex.sml...done.
Type checking structure RMLLex........done.
Compiling structure RMLLex...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\ParseFn.sml...done.
Type checking functor ParseFn....done.
[Warning: error writing object file for ParseFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Parse.sml...done.
Type checking structure Parse...done.
Compiling structure Parse...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\ReorderTyFn.sml...done.
Type checking functor ReorderTyFn....done.
[Warning: error writing object file for ReorderTyFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\ReorderTy.sml...done.
Type checking structure ReorderTy....done.
Compiling structure ReorderTy...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\ReorderValFn.sml...done.
Type checking functor ReorderValFn.....done.
[Warning: error writing object file for ReorderValFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\ReorderVal.sml...done.
Type checking structure ReorderVal....done.
Compiling structure ReorderVal...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\ReorderFn.sml...done.
Type checking functor ReorderFn....done.
[Warning: error writing object file for ReorderFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Reorder.sml...done.
Type checking structure Reorder....done.
Compiling structure Reorder...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\ReorderParseFn.sml...done.
Type checking functor ReorderParseFn...done.
[Warning: error writing object file for ReorderParseFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\ReorderParse.sml...done.
Type checking structure ReorderParse...done.
Compiling structure ReorderParse...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\TyCombFn.sml...done.
Type checking functor TyCombFn....done.
[Warning: error writing object file for TyCombFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\TyComb.sml...done.
Type checking structure TyComb....done.
Compiling structure TyComb...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\TyFcnFn.sml...done.
Type checking functor TyFcnFn...done.
[Warning: error writing object file for TyFcnFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\TyFcn.sml...done.
Type checking structure TyFcn...done.
Compiling structure TyFcn...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\TySchemeFn.sml...done.
Type checking functor TySchemeFn...done.
[Warning: error writing object file for TySchemeFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\TyScheme.sml...done.
Type checking structure TyScheme...done.
Compiling structure TyScheme...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\StatObjFn.sml...done.
Type checking functor StatObjFn.......done.
[Warning: error writing object file for StatObjFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\StatObj.sml...done.
Type checking structure StatObj......done.
Compiling structure StatObj...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\StatElabFn.sml...done.
Type checking functor StatElabFn...........done.
[Warning: error writing object file for StatElabFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\StatElab.sml...done.
Type checking structure StatElab...........done.
Compiling structure StatElab...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\AbsynPrintFn.sml...done.
Type checking functor AbsynPrintFn.....done.
[Warning: error writing object file for AbsynPrintFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\AbsynPrint.sml...done.
Type checking structure AbsynPrint.....done.
Compiling structure AbsynPrint...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\StrDict.sml...done.
Type checking structure StrDict....done.
Compiling structure StrDict...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLFn.sml...done.
Type checking functor FOLFn...done.
[Warning: error writing object file for FOLFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOL.sml...done.
Type checking structure FOL...done.
Compiling structure FOL...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\AbsynToFOLFn.sml...done.
Type checking functor AbsynToFOLFn......done.
[Warning: error writing object file for AbsynToFOLFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\AbsynToFOL.sml...done.
Type checking structure AbsynToFOL.....done.
Compiling structure AbsynToFOL...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLUsagesFn.sml...done.
Type checking functor FOLUsagesFn...done.
[Warning: error writing object file for FOLUsagesFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLUsages.sml...done.
Type checking structure FOLUsages....done.
Compiling structure FOLUsages...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLPrintFn.sml...done.
Type checking functor FOLPrintFn.....done.
[Warning: error writing object file for FOLPrintFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLPrint.sml...done.
Type checking structure FOLPrint......done.
Compiling structure FOLPrint...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLUnifyFn.sml...done.
Type checking functor FOLUnifyFn....done.
[Warning: error writing object file for FOLUnifyFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLUnify.sml...done.
Type checking structure FOLUnify....done.
Compiling structure FOLUnify...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLOptimFn.sml...done.
Type checking functor FOLOptimFn.....done.
[Warning: error writing object file for FOLOptimFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLOptim.sml...done.
Type checking structure FOLOptim.....done.
Compiling structure FOLOptim...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSFn.sml...done.
Type checking functor CPSFn...done.
[Warning: error writing object file for CPSFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPS.sml...done.
Type checking structure CPS....done.
Compiling structure CPS...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\PMCFn.sml...done.
Type checking functor PMCFn........done.
[Warning: error writing object file for PMCFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\PMC.sml...done.
Type checking structure PMC.........done.
Compiling structure PMC...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\TransEnvFn.sml...done.
Type checking functor TransEnvFn....done.
[Warning: error writing object file for TransEnvFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\TransEnv.sml...done.
Type checking structure TransEnv.....done.
Compiling structure TransEnv...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLToCPSFn.sml...done.
Type checking functor FOLToCPSFn........done.
[Warning: error writing object file for FOLToCPSFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\FOLToCPS.sml...done.
Type checking structure FOLToCPS.........done.
Compiling structure FOLToCPS...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSPrintFn.sml...done.
Type checking functor CPSPrintFn.....done.
[Warning: error writing object file for CPSPrintFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSPrint.sml...done.
Type checking structure CPSPrint......done.
Compiling structure CPSPrint...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSUsefulFn.sml...done.
Type checking functor CPSUsefulFn....done.
[Warning: error writing object file for CPSUsefulFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSUseful.sml...done.
Type checking structure CPSUseful....done.
Compiling structure CPSUseful...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSUsagesFn.sml...done.
Type checking functor CPSUsagesFn....done.
[Warning: error writing object file for CPSUsagesFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSUsages.sml...done.
Type checking structure CPSUsages....done.
Compiling structure CPSUsages...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSOptimFn.sml...done.
Type checking functor CPSOptimFn......done.
[Warning: error writing object file for CPSOptimFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSOptim.sml...done.
Type checking structure CPSOptim.......done.
Compiling structure CPSOptim...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSFVarsFn.sml...done.
Type checking functor CPSFVarsFn....done.
[Warning: error writing object file for CPSFVarsFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSFVars.sml...done.
Type checking structure CPSFVars....done.
Compiling structure CPSFVars...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\MangleFn.sml...done.
Type checking functor MangleFn....done.
[Warning: error writing object file for MangleFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Mangle.sml...done.
Type checking structure Mangle...done.
Compiling structure Mangle...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\SwitchFn.sml...done.
Type checking functor SwitchFn......done.
[Warning: error writing object file for SwitchFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Switch.sml...done.
Type checking structure Switch.....done.
Compiling structure Switch...done.
c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Switch.sml(8,1831): warning : match not exhaustive
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSToCodeFn.sml...done.
Type checking functor CPSToCodeFn.......done.
[Warning: error writing object file for CPSToCodeFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSToSwitch.sml...done.
Type checking structure CPSToSwitch........done.
Compiling structure CPSToSwitch...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CodeFVarsFn.sml...done.
Type checking functor CodeFVarsFn....done.
[Warning: error writing object file for CodeFVarsFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\SwitchFVars.sml...done.
Type checking structure SwitchFVars....done.
Compiling structure SwitchFVars...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CodeOptimFn.sml...done.
Type checking functor CodeOptimFn....done.
[Warning: error writing object file for CodeOptimFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\SwitchOptim.sml...done.
Type checking structure SwitchOptim....done.
Compiling structure SwitchOptim...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\PlainFn.sml...done.
Type checking functor PlainFn....done.
[Warning: error writing object file for PlainFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Plain.sml...done.
Type checking structure Plain....done.
Compiling structure Plain...done.
c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Plain.sml(7,1878): warning : match not exhaustive
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSToPlain.sml...done.
Type checking structure CPSToPlain........done.
Compiling structure CPSToPlain...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\PlainFVars.sml...done.
Type checking structure PlainFVars....done.
Compiling structure PlainFVars...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\PlainOptim.sml...done.
Type checking structure PlainOptim....done.
Compiling structure PlainOptim...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CodeToCFn.sml...done.
Type checking functor CodeToCFn.......done.
[Warning: error writing object file for CodeToCFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\PlainCodeToC.sml...done.
Type checking structure PlainCodeToC........done.
Compiling structure PlainCodeToC...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\PlainToCFn.sml...done.
Type checking functor PlainToCFn...done.
[Warning: error writing object file for PlainToCFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\PlainToC.sml...done.
Type checking structure PlainToC....done.
Compiling structure PlainToC...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\SwitchIntrasFn.sml...done.
Type checking functor SwitchIntrasFn....done.
[Warning: error writing object file for SwitchIntrasFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\SwitchIntras.sml...done.
Type checking structure SwitchIntras...done.
Compiling structure SwitchIntras...done.
c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\SwitchIntras.sml(7,104): warning : match not exhaustive
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\SwitchCodeToC.sml...done.
Type checking structure SwitchCodeToC........done.
Compiling structure SwitchCodeToC...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\MaskToCFn.sml...done.
Type checking functor MaskToCFn....done.
[Warning: error writing object file for MaskToCFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\MaskToC.sml...done.
Type checking structure MaskToC....done.
Compiling structure MaskToC...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\DiffToCFn.sml...done.
Type checking functor DiffToCFn....done.
[Warning: error writing object file for DiffToCFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\DiffToC.sml...done.
Type checking structure DiffToC.....done.
Compiling structure DiffToC...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSToSMLFn.sml...done.
Type checking functor CPSToSMLFn......done.
[Warning: error writing object file for CPSToSMLFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\CPSToSML.sml...done.
Type checking structure CPSToSML.......done.
Compiling structure CPSToSML...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\IntDict.sml...done.
Type checking structure IntDict...done.
Compiling structure IntDict...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\InterpCoreFn.sml...done.
Type checking functor InterpCoreFn..........done.
[Warning: error writing object file for InterpCoreFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\InterpCore.sml...done.
Type checking structure InterpCore.........done.
Compiling structure InterpCore...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\InterpFn.sml...done.
Type checking functor InterpFn......done.
[Warning: error writing object file for InterpFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Interp.sml...done.
Type checking structure Interp.....done.
Compiling structure Interp...done.
Type checking functor InstrumentFn.......done.
[Warning: error writing object file for InstrumentFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Instrument.sml...done.
Type checking structure Instrument......done.
Compiling structure Instrument...done.
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\MainFn.sml...done.
Type checking functor MainFn......done.
[Warning: error writing object file for MainFn: overflow]
Parsing c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Main.sml...done.
Type checking structure Main.....done.
Compiling structure Main...done.
Linking modules...done.
Compiling whole program...done.
Compilation succeeded: output in c:\bin\cygwin\home\adrpo\rml-2.1.11\compiler\Release\RML.exe
|