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/unpickmod-new.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/pickle/unpickmod-new.sml

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

revision 427, Wed Sep 8 09:40:08 1999 UTC revision 489, Tue Nov 23 12:55:00 1999 UTC
# Line 207  Line 207 
207    
208          and tyc () = let          and tyc () = let
209              fun tc #"A" = LT.tcc_var (DI.di_fromint (int ()), int ())              fun tc #"A" = LT.tcc_var (DI.di_fromint (int ()), int ())
210                | tc #"B" = LT.tcc_nvar (int (), DI.di_fromint (int ()), int ())                | tc #"B" = LT.tcc_nvar (int ())
211                | tc #"C" = LT.tcc_prim (PT.pt_fromint (int ()))                | tc #"C" = LT.tcc_prim (PT.pt_fromint (int ()))
212                | tc #"D" = LT.tcc_fn (tkindlist (), tyc ())                | tc #"D" = LT.tcc_fn (tkindlist (), tyc ())
213                | tc #"E" = LT.tcc_app (tyc (), tyclist ())                | tc #"E" = LT.tcc_app (tyc (), tyclist ())
# Line 1010  Line 1010 
1010          and fundeclist () = list fundecListM fundec ()          and fundeclist () = list fundecListM fundec ()
1011    
1012          and tfundec () = let          and tfundec () = let
1013              fun t #"b" = (lvar (), list tfplM (pair (lvar, tkind)) (), lexp ())              fun t #"b" = ({inline=F.IH_SAFE}, lvar (), list tfplM (pair (lvar, tkind)) (), lexp ())
1014                | t _ = raise Format                | t _ = raise Format
1015          in          in
1016              share tfundecM t              share tfundecM t
1017          end          end
1018    
1019          and fkind () = let          and fkind () = let
1020              fun fk #"2" = F.FK_FCT              val fkfct = {isrec=NONE, known=false, inline=F.IH_SAFE, cconv=F.CC_FCT}
1021                | fk #"3" = F.FK_FUN { isrec = ltylistoption (),              fun fk #"2" = fkfct
1022                                       fixed = LT.ffc_var (bool (), bool ()),                | fk #"3" = { isrec = Option.map (fn x => (x, F.LK_UNKNOWN)) (ltylistoption ()),
1023                                       known = bool (), inline = bool () }                              cconv = F.CC_FUN(LT.ffc_var (bool (), bool ())),
1024                | fk #"4" = F.FK_FUN { isrec = ltylistoption (),                              known = bool (),
1025                                       fixed = LT.ffc_fixed,                              inline = if bool () then F.IH_ALWAYS else F.IH_SAFE}
1026                                       known = bool (), inline = bool () }                | fk #"4" = { isrec = Option.map (fn x => (x, F.LK_UNKNOWN)) (ltylistoption ()),
1027                                cconv = F.CC_FUN LT.ffc_fixed,
1028                                known = bool (),
1029                                inline = if bool () then F.IH_ALWAYS else F.IH_SAFE}
1030                | fk _ = raise Format                | fk _ = raise Format
1031          in          in
1032              share fkindM fk              share fkindM fk

Legend:
Removed from v.427  
changed lines
  Added in v.489

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