home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / env / coreinfo.sig next >
Encoding:
Text File  |  1993-01-27  |  797 b   |  28 lines
  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2. (* coreinfo.sig *)
  3.  
  4. signature COREINFO =
  5. sig
  6.     val exnBind : Types.datacon ref
  7.     val exnMatch : Types.datacon ref
  8.  
  9.     val exnOrd : Types.datacon ref
  10.     val exnSubscript : Types.datacon ref
  11.     val exnRealSubscript : Types.datacon ref
  12.     val exnRange : Types.datacon ref
  13.      
  14.     val stringequalPath : int list ref
  15.     val polyequalPath : int list ref
  16.     val registerPath : int list ref
  17.     val getDebugVar : Variables.var ref
  18.     val resetCore: unit -> unit
  19.     val setCore : Modules.env * Modules.spath -> unit
  20.     val forcerPath : int list ref
  21.     val vector0Path : int list ref
  22.     val corePath : int list ref
  23.     val coreLty : (int -> Lambda.lty) ref 
  24.     val sregisterPath : int list ref
  25.     val errorMatchPath : Variables.var ref
  26. end
  27.  
  28.