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 255, Wed Apr 21 00:34:12 1999 UTC revision 256, Wed Apr 21 01:28:39 1999 UTC
# Line 469  Line 469 
469              end              end
470    
471    
472        | L.TFN ([], body) => bug "TFN[]"        (*  | 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 481  Line 481 
481                   lty)                   lty)
482              end              end
483    
484        | L.TAPP (f,[]) => bug "TAPP[]"        (*  | 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.255  
changed lines
  Added in v.256

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