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

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: (* misc.sig *)
                      3: 
                      4: signature MISC =
                      5: sig
                      6: 
                      7:   val ASTERISKsym : Symbol.symbol
                      8:   val EQUALsym : Symbol.symbol
                      9: 
                     10:   val for : 'a list -> ('a -> 'b) -> unit
                     11: 
                     12:   val sort3 : (Symbol.symbol * 'a * 'b) list -> (Symbol.symbol * 'a * 'b) list
                     13: 
                     14:   val protect : ((unit -> 'a) * ('a -> unit)) * (unit -> 'b) -> 'b
                     15: 
                     16:   val protectScope : (unit -> Env.env) * (Env.env -> unit)
                     17: 
                     18:   val bogusID : Symbol.symbol
                     19:   val bogusExnID : Symbol.symbol
                     20:   val bogusExp: BareAbsyn.exp
                     21: 
                     22:   val anonName : Symbol.symbol
                     23:   val anonParamName : Symbol.symbol
                     24:   val nullSigStamp : int
                     25:   val nullSig : Basics.Structure
                     26: 
                     27:   val nullStr : Basics.Structure
                     28:   val nullParamVar : Basics.structureVar 
                     29: 
                     30:   val discard : 'a -> unit
                     31:   val single : 'a -> 'a list
                     32: 
                     33:   val varcon : Basics.binding -> BareAbsyn.exp
                     34: 
                     35:   val lookID : Symbol.symbol -> BareAbsyn.exp
                     36: 
                     37:   val lookIDinStr : Basics.Structure * Symbol.symbol * Access.path 
                     38:                    * Symbol.symbol list -> BareAbsyn.exp
                     39: 
                     40:   val checkNonCircular : Basics.tycon list -> unit
                     41: 
                     42:   val makeAbstract : Basics.tycon ref list * Basics.tycon ref list
                     43:                     -> Basics.tycon list
                     44: 
                     45:   val dumpStructure : Basics.structureVar -> BareAbsyn.dec
                     46: 
                     47: end

unix.superglobalmegacorp.com

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