776ae1fb28
* Support for FreeBSD 6.x * Support for compilation with SML/NJ * Cross-compilation with mingw32 PR: 124061 Submitted by: Timothy Bourke <timbob@bigpond.com> Approved by: maintainer
32 lines
1.1 KiB
Standard ML
32 lines
1.1 KiB
Standard ML
signature MLB_TOKENS =
|
|
sig
|
|
type ('a,'b) token
|
|
type svalue
|
|
val STRING: (string) * 'a * 'a -> (svalue,'a) token
|
|
val FILE: (string) * 'a * 'a -> (svalue,'a) token
|
|
val PRIM: 'a * 'a -> (svalue,'a) token
|
|
val ANN: 'a * 'a -> (svalue,'a) token
|
|
val STRUCTURE: 'a * 'a -> (svalue,'a) token
|
|
val SIGNATURE: 'a * 'a -> (svalue,'a) token
|
|
val OPEN: 'a * 'a -> (svalue,'a) token
|
|
val LOCAL: 'a * 'a -> (svalue,'a) token
|
|
val LET: 'a * 'a -> (svalue,'a) token
|
|
val IN: 'a * 'a -> (svalue,'a) token
|
|
val FUNCTOR: 'a * 'a -> (svalue,'a) token
|
|
val EQUALOP: 'a * 'a -> (svalue,'a) token
|
|
val END: 'a * 'a -> (svalue,'a) token
|
|
val BASIS: 'a * 'a -> (svalue,'a) token
|
|
val BAS: 'a * 'a -> (svalue,'a) token
|
|
val AND: 'a * 'a -> (svalue,'a) token
|
|
val EOF: 'a * 'a -> (svalue,'a) token
|
|
val SEMICOLON: 'a * 'a -> (svalue,'a) token
|
|
val COMMA: 'a * 'a -> (svalue,'a) token
|
|
val ID: (string) * 'a * 'a -> (svalue,'a) token
|
|
end
|
|
signature MLB_LRVALS=
|
|
sig
|
|
structure Tokens : MLB_TOKENS
|
|
structure ParserData:PARSER_DATA
|
|
sharing type ParserData.Token.token = Tokens.token
|
|
sharing type ParserData.svalue = Tokens.svalue
|
|
end
|