3 Jul
2002
3 Jul
'02
1:35 a.m.
Stephen> <sigdec> ::= signature <sigbind> Stephen> <sigbind> ::= <sigid> = <sigexp> [and <sigbind>]
OK, but what is the standard (ML97) syntax? I got the syntax above from Larry Paulson's book - I'd assume that it follows the standard (although I wouldn't be _that_ much surprised if it unwittingly endorsed some SMLNJisms).
The above is taken from page 13 of the Definition of SML (Revised), i.e. SML97.
When I said "This is not valid signature expression syntax", I meant according to the SML97 standard.
I hope this clears it up.