home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / compiler / Tr_env.sig < prev    next >
Encoding:
Text File  |  1997-08-18  |  734 b   |  27 lines  |  [TEXT/R*ch]
  1. local
  2.   open Mixture Const Lambda Asynt;
  3. in
  4.  
  5. type RenEnv = (string * int) list;
  6. val lookupRenEnv : QualifiedIdent -> (QualifiedIdent * int);
  7. val updateCurrentRenEnv: RenEnv -> unit;
  8.  
  9. val renameId : string -> string * int;
  10.  
  11. datatype AccessPath =
  12.     Path_local of int
  13.   | Path_global of (QualifiedIdent * int)
  14.   | Path_son of int * AccessPath
  15.   | Path_virtual_son of int * AccessPath
  16. ;
  17.  
  18. type TranslEnv = (string, AccessPath) Env * int;
  19.  
  20. val translateLocalAccess : TranslEnv -> string -> Lambda;
  21. val translateAccess : TranslEnv -> QualifiedIdent -> Lambda;
  22. val translateExName : TranslEnv -> IdInfo -> Lambda;
  23. val mkEnvOfRecPats : int -> Pat list -> TranslEnv;
  24. val mkEnvOfPats : int -> Pat list -> TranslEnv * (Lambda -> Lambda);
  25.  
  26. end;
  27.