|
|
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
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.