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/trans/translate.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/trans/translate.sml

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

revision 1347, Thu Aug 28 21:59:15 2003 UTC revision 1371, Mon Sep 15 03:43:47 2003 UTC
# Line 843  Line 843 
843            | _ => TAPP(mkVar(v, d), map (toTyc d) ts)            | _ => TAPP(mkVar(v, d), map (toTyc d) ts)
844  in  in
845      case v of      case v of
846          V.VALvar { info, ... } =>          V.VALvar { typ=ref typ, info, ... } =>
847          II.match info          II.match info
848             { inl_prim = fn (p, typ) =>             { inl_prim = fn p =>
849               (case (p, ts) of               (case (p, ts) of
850                    (PO.POLYEQL, [t]) => eqGen(typ, t, toTcLt d)                    (PO.POLYEQL, [t]) => eqGen(typ, t, toTcLt d)
851                  | (PO.POLYNEQ, [t]) =>                  | (PO.POLYNEQ, [t]) =>

Legend:
Removed from v.1347  
changed lines
  Added in v.1371

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