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/ltykernel.sig
ViewVC logotype

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

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

revision 70, Fri Apr 3 00:06:55 1998 UTC revision 71, Fri Apr 3 01:57:57 1998 UTC
# Line 90  Line 90 
90  (** testing the equivalence for tycs and ltys with relaxed constraints *)  (** testing the equivalence for tycs and ltys with relaxed constraints *)
91  val tc_eqv_x : tyc * tyc -> bool  val tc_eqv_x : tyc * tyc -> bool
92  val lt_eqv_x : lty * lty -> bool  val lt_eqv_x : lty * lty -> bool
 val tc_eqv_bx: tyc * tyc -> bool  
 val lt_eqv_bx: lty * lty -> bool  
93    
94  (** utility functions on tycEnv *)  (** utility functions on tycEnv *)
95  exception tcUnbound  exception tcUnbound

Legend:
Removed from v.70  
changed lines
  Added in v.71

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