Annotation of researchv10no/cmd/sml/src/parse/misc.sig, revision 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.