Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/FLINT/kernel/ltyextern.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltyextern.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 52, Mon Mar 23 03:59:51 1998 UTC revision 53, Mon Mar 23 04:02:58 1998 UTC
# Line 47  Line 47 
47    
48  exception TkTycChk  exception TkTycChk
49  exception LtyAppChk  exception LtyAppChk
50  val lt_inst_chk : lty * tyc list * tkindEnv -> lty list  val lt_inst_chk_gen : unit -> lty * tyc list * tkindEnv -> lty list
51    
52  (* special adjustment functions used during type specializations *)  (* special adjustment functions used during type specializations *)
53  val lt_sp_adj : tkind list * lty * tyc list * int * int -> lty  val lt_sp_adj : tkind list * lty * tyc list * int * int -> lty

Legend:
Removed from v.52  
changed lines
  Added in v.53

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0