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/Semant/pickle/pickmod.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/pickle/pickmod.sml

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

revision 183, Sun Nov 8 16:58:19 1998 UTC revision 184, Sun Nov 8 21:18:20 1998 UTC
# Line 477  Line 477 
477        and tfundec (v, tvks, e) () =        and tfundec (v, tvks, e) () =
478              "15" $ [lvar v, list (tuple2(tvar, tkind)) tvks, lexp e]              "15" $ [lvar v, list (tuple2(tvar, tkind)) tvks, lexp e]
479    
480        and fkind (F.FK_FCT) () = "25" $ []        and fkind {cconv=F.CC_FCT, ...} () = "25" $ []
481          | fkind (F.FK_FUN {isrec, fixed=LK.FF_VAR(b1, b2),          | fkind {isrec, cconv=F.CC_FUN(LK.FF_VAR(b1, b2)), known, inline} () =
482                             known, inline}) () =              "35" $ [option (list lty) (Option.map #1 isrec),
483              "35" $ [option (list lty) isrec, bool b1, bool b2, bool known,                      bool b1, bool b2, bool known, bool (inline = F.IH_ALWAYS)]
484                      bool inline]          | fkind {isrec, cconv=F.CC_FUN LK.FF_FIXED, known, inline} () =
485          | fkind (F.FK_FUN {isrec, fixed=LK.FF_FIXED, known, inline}) () =              "45" $ [option (list lty) (Option.map #1 isrec),
486              "45" $ [option (list lty) isrec, bool known, bool inline]                      bool known, bool (inline = F.IH_ALWAYS)]
487    
488        and rkind (F.RK_VECTOR tc) () = "55" $ [tyc tc]        and rkind (F.RK_VECTOR tc) () = "55" $ [tyc tc]
489          | rkind (F.RK_STRUCT) () = "65" $ []          | rkind (F.RK_STRUCT) () = "65" $ []

Legend:
Removed from v.183  
changed lines
  Added in v.184

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