Return to first.sml CVS log

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

Annotation of researchv10no/cmd/sml/src/parse/first.sml, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: structure FirstSets = struct
                      3: 
                      4: local open Token Basics in
                      5: 
                      6: fun firstApat lookFIX =
                      7:     fn ID s =>  lookFIX(s) = NONfix
                      8:      | OP => true
                      9:      | IDDOT _ => true
                     10:      | INT _ => true 
                     11:      | REAL _ => true
                     12:      | STRING _ => true
                     13:      | WILD => true
                     14:      | LPAREN => true
                     15:      | LBRACE => true
                     16:      | LBRACKET => true
                     17:      | _    => false
                     18: 
                     19: fun firstAexp lookFIX =
                     20:     fn ID s =>   lookFIX(s) = NONfix
                     21:      | OP => true
                     22:      | IDDOT _ => true
                     23:      | INT _ => true
                     24:      | REAL _ => true
                     25:      | STRING _ => true
                     26:      | HASH => true
                     27:      | LPAREN => true
                     28:      | LBRACE => true
                     29:      | LBRACKET => true
                     30:      | LET => true
                     31:      | _    => false
                     32: 
                     33: fun firstExp lookFIX =
                     34:     fn IF => true
                     35:      | WHILE => true
                     36:      | CASE => true
                     37:      | RAISE => true
                     38:      | FN => true
                     39:      | tok => firstAexp lookFIX tok
                     40:      
                     41: val firstLdec = 
                     42:     fn VAL => true
                     43:      | FUN => true
                     44:      | TYPE => true
                     45:      | DATATYPE => true
                     46:      | ABSTYPE => true
                     47:      | EXCEPTION => true
                     48:      | Token.OPEN => true
                     49:      | LOCAL => true
                     50:      | INFIX => true
                     51:      | INFIXR => true
                     52:      | NONFIX => true
                     53:      | OVERLOAD => true
                     54:      | _    => false
                     55: 
                     56: val firstSdec = 
                     57:     fn VAL => true
                     58:      | FUN => true
                     59:      | TYPE => true
                     60:      | DATATYPE => true
                     61:      | ABSTYPE => true
                     62:      | EXCEPTION => true
                     63:      | Token.OPEN => true
                     64:      | LOCAL => true
                     65:      | INFIX => true
                     66:      | INFIXR => true
                     67:      | NONFIX => true
                     68:      | OVERLOAD => true
                     69:      | STRUCTURE => true
                     70:      | ABSTRACTION => true
                     71:      | Token.FUNCTOR => true  (* monster structure hack *)
                     72:      | SIGNATURE => true      (* ditto *)
                     73:      | _    => false
                     74: 
                     75: val firstTdec = 
                     76:     fn SIGNATURE => true
                     77:      | STRUCTURE => true
                     78:      | ABSTRACTION => true
                     79:      | Token.FUNCTOR => true
                     80:      | _    => false
                     81: 
                     82: val firstSpec =
                     83:     fn STRUCTURE => true
                     84:      | TYPE => true
                     85:      | EQTYPE => true
                     86:      | DATATYPE => true
                     87:      | SHARING => true
                     88:      | VAL => true
                     89:      | EXCEPTION => true
                     90:      | INFIX => true
                     91:      | INFIXR => true
                     92:      | NONFIX => true
                     93:      | OVERLOAD => true
                     94:      | INCLUDE => true
                     95:      | LOCAL => true
                     96:      | Token.OPEN => true
                     97:      | _    => false
                     98: 
                     99: end (* local *)
                    100: 
                    101: end (* FirstSets *)

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