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

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

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

revision 504, Tue Dec 7 18:31:05 1999 UTC revision 506, Fri Dec 10 00:15:35 1999 UTC
# Line 462  Line 462 
462                | LK.LT_CONT _ => bug "unexpected LT_CONT in mkPickleLty"                | LK.LT_CONT _ => bug "unexpected LT_CONT in mkPickleLty"
463          end          end
464      in      in
465          if LK.ltp_norm x then share LTs ltyI x          share LTs ltyI x
466          else (* bug "unexpected complex lambda type in mkPickleLty" *) ltyI x      (* if LK.ltp_norm x then
467           else bug "unexpected complex lambda type in mkPickleLty" ltyI x *)
468      end      end
469    
470      and tyc alpha x = let      and tyc alpha x = let
# Line 490  Line 491 
491                  "M" $ bool b1 & bool b2 & list tyc ts1 & list tyc ts2                  "M" $ bool b1 & bool b2 & list tyc ts1 & list tyc ts2
492                | LK.TC_ARROW (LK.FF_FIXED, ts1, ts2) =>                | LK.TC_ARROW (LK.FF_FIXED, ts1, ts2) =>
493                  "N" $ list tyc ts1 & list tyc ts2                  "N" $ list tyc ts1 & list tyc ts2
               | LK.TC_PARROW _ => bug "unexpected TC_PARROW in mkPickleLty"  
494                | LK.TC_TOKEN (tk, t) => "O" $ int (LK.token_int tk) & tyc t                | LK.TC_TOKEN (tk, t) => "O" $ int (LK.token_int tk) & tyc t
495                  | LK.TC_PARROW _ => bug "unexpected TC_PARROW in mkPickleLty"
496                | LK.TC_IND _ => bug "unexpected TC_IND in mkPickleLty"                | LK.TC_IND _ => bug "unexpected TC_IND in mkPickleLty"
497                | LK.TC_ENV _ => bug "unexpected TC_ENV in mkPickleLty"                | LK.TC_ENV _ => bug "unexpected TC_ENV in mkPickleLty"
498                | LK.TC_CONT _ => bug "unexpected TC_CONT in mkPickleLty"                | LK.TC_CONT _ => bug "unexpected TC_CONT in mkPickleLty"
499          end          end
500      in      in
501          if LK.tcp_norm x then share TCs tycI x          share TCs tycI x
502          else (* bug "unexpected complex lambda tyc in mkPickleLty" *) tycI x      (* if LK.tcp_norm x then
503           else bug "unexpected complex lambda tyc in mkPickleLty" tycI x *)
504      end      end
505    
506      (* the FLINT pickler *)      (* the FLINT pickler *)

Legend:
Removed from v.504  
changed lines
  Added in v.506

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