SML.NET 1.2 build 1126 of Monday, 31 January 2005
  Running on .NET Framework v1.1.4322
  Using assembler in C:\bin\sml.net\bin\v1.1.4322\ilasm.exe
  Using class list tool in C:\bin\sml.net\bin\v1.1.4322\clslist.exe
  Using metadata import tool in C:\bin\sml.net\bin\v1.1.4322\getmeta.exe

Checking timestamps on source files......0.070s.
Analysing dependencies...
  Parsing c:\dev\dot.net\TypeUnifier-error\RML.sml...
    Checking...0.000s.
  ...0.010s.
  Saving dependency information for c:\dev\dot.net\TypeUnifier-error\RML.sml...0.010s.
...0.060s.
Saving build information in C:\bin\sml.net\bin\v1.1.4322\.smlnetbld...0.060s.
Type checking functor RMLParseFn...
Unify 'ab with 'ac*'ad = 'ac*'ad
Unify 'ad with string = string
Unify 'ae with TextIO.instream = TextIO.instream
Unify string*TextIO.instream with string*TextIO.instream = string*TextIO.instream
Unify 'af*'ag with lexarg*(int->string) = lexarg*(int->string)
Unify 'ah with 'ai = 'ai
Unify int->string with int->string = int->string
Unify lexarg with lexarg = lexarg
Unify 'aj with (svalue,int) token stream = (svalue,int) token stream
Unify 'ac with int*int->'al = int*int->'al
Unify 'al*(svalue,int) token stream with 'am*'am stream = (svalue,int) token*(svalue,int) token stream
Unify 'ak with (svalue,int) token stream = (svalue,int) token stream
Unify lexarg with lexarg = lexarg
Unify lexarg with lexarg = lexarg
Unify 'ap*(svalue,int) token stream*(string*int*int->unit)*(int*int->{fileName:string,sline:int,scolumn:int,eline:int,ecolumn:int}) with int*(svalue,int) token stream*(string*int*int->unit)*(int*int->{fileName:string,sline:int,scolumn:int,eline:int,ecolumn:int}) = int*(svalue,int) token stream*(string*int*int->unit)*(int*int->{fileName:string,sline:int,scolumn:int,eline:int,ecolumn:int})
Unify 'an*'ao with module*(svalue,int) token stream = module*(svalue,int) token stream
Unify lexarg with lexarg = lexarg
Unify exn with exn = exn
Unify bool with bool = bool
Unify 'aq with unit = unit
Unify TextIO.instream with TextIO.instream = TextIO.instream
Unify {source:source,modid:ident,specs:list}*(info,heap) reference->interface with {modid:'at,specs:'au,...}*'aw->'as = {source:source,modid:ident,specs:list}*(info,heap) reference->interface
Unify interface*list*(info,heap) reference->module with interface*'ax*'ay->'ar = interface*list*(info,heap) reference->module
Unify module with module = module
Unify lexarg with lexarg = lexarg
Unify {source:source,modid:ident,specs:list}*(info,heap) reference with {source:source,modid:ident,specs:list}*(info,heap) reference = {source:source,modid:ident,specs:list}*(info,heap) reference
Unify 'az with interface = interface
Unify interface*list*(info,heap) reference with interface*list*(info,heap) reference = interface*list*(info,heap) reference
Unify 'ba with exn = exn
Unify TextIO.instream with TextIO.instream = TextIO.instream
Unify exn with exn = exn
Unify module with 'bb = module
Unify 'aa with (int*int->(svalue,int) token)*string->module = (int*int->(svalue,int) token)*string->module
Unify 'bd with 'be = 'bd
Unify ('bf*'bf->(svalue,'bf) token)*'bd with (int*int->(svalue,int) token)*string = (int*int->(svalue,int) token)*string
Unify 'bc with string->module = string->module
Unify 'bh with 'bi = 'bh
Unify ('bj*'bj->(svalue,'bj) token)*'bh with (int*int->(svalue,int) token)*string = (int*int->(svalue,int) token)*string
Unify 'bg with string->module = string->module
Unify 'bl with 'bm = 'bl
Unify info with 'bo = info
Unify interface*'bn list*(info,heap) reference with interface*list*(info,heap) reference = interface*'bn list*(info,heap) reference
Unify 'bk with 'bl->module = 'bl->module
Unify 'bq with 'br = 'bq
Unify info with 'bt = info
Unify interface*'bs list*(info,heap) reference with interface*list*(info,heap) reference = interface*'bs list*(info,heap) reference
Unify 'bp with 'bq->module = 'bq->moduleCompiler bug: SMLTyUnify.matchList: unequal lengths