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/plambda/flintnm.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/plambda/flintnm.sml

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

revision 251, Mon Apr 19 02:55:26 1999 UTC revision 252, Tue Apr 20 17:22:07 1999 UTC
# Line 469  Line 469 
469              end              end
470    
471    
472          | L.TFN ([], body) => bug "TFN[]"
473        | L.TFN (tks, body) =>        | L.TFN (tks, body) =>
474              let val (body', body_lty) =              let val (body', body_lty) =
475                    tovalue(venv, DI.next d, body,                    tovalue(venv, DI.next d, body,
# Line 480  Line 481 
481                   lty)                   lty)
482              end              end
483    
484          | L.TAPP (f,[]) => bug "TAPP[]"
485        | L.TAPP (f,tycs) =>        | L.TAPP (f,tycs) =>
486              (* similar to APP *)              (* similar to APP *)
487              tovalue(venv, d, f,              tovalue(venv, d, f,

Legend:
Removed from v.251  
changed lines
  Added in v.252

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