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/SMLNJ/src/compiler/FLINT/cps/cps.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/FLINT/cps/cps.sml

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

revision 93, Tue May 12 21:56:22 1998 UTC revision 100, Thu May 14 04:56:46 1998 UTC
# Line 214  Line 214 
214  fun tcflt tc = if LT.tc_eqv(tc, tc_real) then true else false  fun tcflt tc = if LT.tc_eqv(tc, tc_real) then true else false
215  fun ltflt lt = if LT.lt_eqv(lt, lt_real) then true else false  fun ltflt lt = if LT.lt_eqv(lt, lt_real) then true else false
216    
217  fun rtyc (f, ts) =  fun rtyc (f, []) = RPT 0
218      | rtyc (f, ts) =
219    let fun loop (a::r, b, len) =    let fun loop (a::r, b, len) =
220             if f a then loop(r, b, len+1) else loop(r, false, len+1)             if f a then loop(r, b, len+1) else loop(r, false, len+1)
221          | loop ([], b, len) = if b then FPT len else RPT len          | loop ([], b, len) = if b then FPT len else RPT len

Legend:
Removed from v.93  
changed lines
  Added in v.100

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