Return to misc.sig CVS log

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

researchv10 Norman

(* Copyright 1989 by AT&T Bell Laboratories *)
(* misc.sig *)

signature MISC =
sig

  val ASTERISKsym : Symbol.symbol
  val EQUALsym : Symbol.symbol

  val for : 'a list -> ('a -> 'b) -> unit

  val sort3 : (Symbol.symbol * 'a * 'b) list -> (Symbol.symbol * 'a * 'b) list

  val protect : ((unit -> 'a) * ('a -> unit)) * (unit -> 'b) -> 'b

  val protectScope : (unit -> Env.env) * (Env.env -> unit)

  val bogusID : Symbol.symbol
  val bogusExnID : Symbol.symbol
  val bogusExp: BareAbsyn.exp

  val anonName : Symbol.symbol
  val anonParamName : Symbol.symbol
  val nullSigStamp : int
  val nullSig : Basics.Structure

  val nullStr : Basics.Structure
  val nullParamVar : Basics.structureVar 

  val discard : 'a -> unit
  val single : 'a -> 'a list

  val varcon : Basics.binding -> BareAbsyn.exp

  val lookID : Symbol.symbol -> BareAbsyn.exp

  val lookIDinStr : Basics.Structure * Symbol.symbol * Access.path 
		    * Symbol.symbol list -> BareAbsyn.exp

  val checkNonCircular : Basics.tycon list -> unit

  val makeAbstract : Basics.tycon ref list * Basics.tycon ref list
		     -> Basics.tycon list

  val dumpStructure : Basics.structureVar -> BareAbsyn.dec

end

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