The Standard Basis for Standard ML specifies "required" signatures and structures, but some are missing in Moscow ML, specifically:
- Missing requires Signatures
- Missing required Structures
I noticed this when I tried to create a TextPrimIO.writer instance, but could not because it was missing :(
The Standard Basis for Standard ML specifies "required" signatures and structures, but some are missing in Moscow ML, specifically:
GENERALIEEE_REALIMPERATIVE_IOIOPRIM_IOSTREAM_IOTEXTTEXT_STREAM_IOGeneral :> GENERAL(I am guessingsrc/mosmllib/General.fkeis a stand-in?)IEEEReal :> IEEE_REALPosition :> INTEGERTextPrimIO :> PRIM_IOText :> TEXT(see also Structure Text is missing #19)I noticed this when I tried to create a
TextPrimIO.writerinstance, but could not because it was missing :(