Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/releases/release-110.37/src/ml-burg/burg-gram.sig
ViewVC logotype

Annotation of /sml/releases/release-110.37/src/ml-burg/burg-gram.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 422 - (view) (download) (as text)
Original Path: sml/trunk/src/ml-burg/burg-gram.sig

1 : monnier 422 signature Burg_TOKENS =
2 :     sig
3 :     type ('a,'b) token
4 :     type svalue
5 :     val RAW: (string list) * 'a * 'a -> (svalue,'a) token
6 :     val ID: (string) * 'a * 'a -> (svalue,'a) token
7 :     val INT: (int) * 'a * 'a -> (svalue,'a) token
8 :     val PPERCENT: (string list) * 'a * 'a -> (svalue,'a) token
9 :     val K_PIPE: 'a * 'a -> (svalue,'a) token
10 :     val K_EQUAL: 'a * 'a -> (svalue,'a) token
11 :     val K_RPAREN: 'a * 'a -> (svalue,'a) token
12 :     val K_LPAREN: 'a * 'a -> (svalue,'a) token
13 :     val K_COMMA: 'a * 'a -> (svalue,'a) token
14 :     val K_SEMICOLON: 'a * 'a -> (svalue,'a) token
15 :     val K_COLON: 'a * 'a -> (svalue,'a) token
16 :     val K_SIG: 'a * 'a -> (svalue,'a) token
17 :     val K_RULEPREFIX: 'a * 'a -> (svalue,'a) token
18 :     val K_TERMPREFIX: 'a * 'a -> (svalue,'a) token
19 :     val K_START: 'a * 'a -> (svalue,'a) token
20 :     val K_TERM: 'a * 'a -> (svalue,'a) token
21 :     val K_EOF: 'a * 'a -> (svalue,'a) token
22 :     end
23 :     signature Burg_LRVALS=
24 :     sig
25 :     structure Tokens : Burg_TOKENS
26 :     structure ParserData:PARSER_DATA
27 :     sharing type ParserData.Token.token = Tokens.token
28 :     sharing type ParserData.svalue = Tokens.svalue
29 :     end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0