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/branches/primop-branch-2/src/compiler/FLINT/kernel/ltybasic.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/ltybasic.sml

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

revision 2063, Wed Sep 27 01:35:22 2006 UTC revision 2064, Mon Oct 2 22:44:29 2006 UTC
# Line 138  Line 138 
138  val ff_eqv    : fflag * fflag -> bool = LK.ff_eqv  val ff_eqv    : fflag * fflag -> bool = LK.ff_eqv
139  val rf_eqv    : rflag * rflag -> bool = LK.rf_eqv  val rf_eqv    : rflag * rflag -> bool = LK.rf_eqv
140    
 (** testing the equivalence for tycs and ltys with relaxed constraints *)  
 val tc_eqv_x  : tyc * tyc -> bool = LK.tc_eqv_x  
 val lt_eqv_x  : lty * lty -> bool = LK.lt_eqv_x  
   
141    
142  (***************************************************************************  (***************************************************************************
143   *            UTILITY FUNCTIONS FOR PRETTY PRINTING                        *   *            UTILITY FUNCTIONS FOR PRETTY PRINTING                        *

Legend:
Removed from v.2063  
changed lines
  Added in v.2064

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