Return to token.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / basics

Annotation of researchv10no/cmd/sml/src/basics/token.sml, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: signature TOKEN = sig
                      3:   datatype token =
                      4:     EOF | ID of Symbol.symbol | IDDOT of Symbol.symbol | TYVAR of Symbol.symbol
                      5:   | INT of int | REAL of string | STRING of string | ABSTRACTION | ABSTYPE | AND
                      6:   | ARROW | AS | BAR | CASE | DATATYPE | DOTDOTDOT | ELSE | END | EQUAL
                      7:   | EQTYPE | EXCEPTION | DO | DARROW | FN | FUN | FUNCTOR | HANDLE | HASH | IF | IN
                      8:   | INCLUDE | INFIX | INFIXR | LET | LOCAL | NONFIX | OF | OP | OPEN | OVERLOAD
                      9:   | RAISE | REC | SHARING | SIG | SIGNATURE | STRUCT | STRUCTURE | THEN
                     10:   | TYPE | VAL | WHILE | WILD | WITH | WITHTYPE | ASTERISK | COLON | COMMA | LBRACE
                     11:   | LBRACKET | LPAREN | RBRACE | RBRACKET | RPAREN | SEMICOLON | ORELSE | ANDALSO | IMPORT
                     12: 
                     13:   val tokenName : token -> string
                     14: end  (* TOKEN *)
                     15: 
                     16: structure Token : TOKEN = struct
                     17:   datatype token =
                     18:     EOF | ID of Symbol.symbol | IDDOT of Symbol.symbol | TYVAR of Symbol.symbol
                     19:   | INT of int | REAL of string | STRING of string | ABSTRACTION | ABSTYPE | AND
                     20:   | ARROW | AS | BAR | CASE | DATATYPE | DOTDOTDOT | ELSE | END | EQUAL
                     21:   | EQTYPE | EXCEPTION | DO | DARROW | FN | FUN | FUNCTOR | HANDLE | HASH | IF | IN
                     22:   | INCLUDE | INFIX | INFIXR | LET | LOCAL | NONFIX | OF | OP | OPEN | OVERLOAD
                     23:   | RAISE | REC | SHARING | SIG | SIGNATURE | STRUCT | STRUCTURE | THEN
                     24:   | TYPE | VAL | WHILE | WILD | WITH | WITHTYPE | ASTERISK | COLON | COMMA | LBRACE
                     25:   | LBRACKET | LPAREN | RBRACE | RBRACKET | RPAREN | SEMICOLON | ORELSE | ANDALSO | IMPORT
                     26: 
                     27:  fun tokenName(tok: token) : string =
                     28:      case tok of
                     29:        EOF => "EOF"
                     30:      | ID s => "ID " ^ Symbol.name(s)
                     31:      | IDDOT s => "IDDOT " ^ Symbol.name(s)
                     32:      | TYVAR s => "TYVAR " ^ Symbol.name(s)
                     33:      | INT i => "INT" ^ makestring(i)
                     34:      | REAL s => "REAL " ^ s
                     35:      | STRING s => "STRING " ^ s
                     36:      | AND => "AND"
                     37:      | ABSTRACTION => "ABSTRACTION"
                     38:      | ABSTYPE => "ABSTYPE"
                     39:      | ARROW => "ARROW"
                     40:      | AS => "AS"
                     41:      | BAR => "BAR"
                     42:      | CASE => "CASE"
                     43:      | DATATYPE => "DATATYPE"
                     44:      | DOTDOTDOT => "DOTDOTDOT"
                     45:      | ELSE => "ELSE"
                     46:      | END => "END"
                     47:      | EQUAL => "EQUAL"
                     48:      | EQTYPE => "EQTYPE"
                     49:      | EXCEPTION => "EXCEPTION"
                     50:      | DO => "DO"
                     51:      | DARROW => "DARROW"
                     52:      | FN => "FN"
                     53:      | FUN => "FUN"
                     54:      | FUNCTOR => "FUNCTOR"
                     55:      | HANDLE => "HANDLE"
                     56:      | HASH => "HASH"
                     57:      | IF => "IF"
                     58:      | IN => "IN"
                     59:      | INCLUDE => "INCLUDE"
                     60:      | INFIX => "INFIX"
                     61:      | INFIXR => "INFIXR"
                     62:      | LET => "LET"
                     63:      | LOCAL => "LOCAL"
                     64:      | NONFIX => "NONFIX"
                     65:      | OF => "OF"
                     66:      | OP => "OP"
                     67:      | OPEN => "OPEN"
                     68:      | OVERLOAD => "OVERLOAD"
                     69:      | RAISE => "RAISE"
                     70:      | REC => "REC"
                     71:      | SHARING => "SHARING"
                     72:      | SIG => "SIG"
                     73:      | SIGNATURE => "SIGNATURE"
                     74:      | STRUCT => "STRUCT"
                     75:      | STRUCTURE => "STRUCTURE"
                     76:      | THEN => "THEN"
                     77:      | TYPE => "TYPE"
                     78:      | VAL => "VAL"
                     79:      | WHILE => "WHILE"
                     80:      | WILD => "WILD"
                     81:      | WITH => "WITH"
                     82:      | WITHTYPE => "WITHTYPE"
                     83:      | ASTERISK => "ASTERISK"
                     84:      | COLON => "COLON"
                     85:      | COMMA => "COMMA"
                     86:      | LBRACE => "LBRACE"
                     87:      | LBRACKET => "LBRACKET"
                     88:      | LPAREN => "LPAREN"
                     89:      | RBRACE => "RBRACE"
                     90:      | RBRACKET => "RBRACKET"
                     91:      | RPAREN => "RPAREN"
                     92:      | SEMICOLON => "SEMICOLON"
                     93:      | ORELSE => "ORELSE"
                     94:      | ANDALSO => "ANDALSO"
                     95:      | IMPORT => "IMPORT"
                     96: end  (* Token *)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.