[MLton] funny error message

Henry Cejtin henry.cejtin@sbcglobal.net
Thu, 22 Sep 2005 23:48:56 -0500


I am trying to convert some old SML (1990) code to SML 1997, and MLton is
printing the following error out:
	Variable type in structure disagrees with signature.
	variable: flatten
	structure: ['a] stream stream -> ['a] stream
	signature: ['b] stream stream -> ['b] stream
As near as I can tell, 'a and 'b are both free.  Am I confused or is this
error message bad?