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/plambda/chkplexp.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml

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

sml/trunk/src/compiler/FLINT/plambda/chkplexp.sml revision 71, Fri Apr 3 01:57:57 1998 UTC sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml revision 1935, Mon Jun 5 18:21:55 2006 UTC
# Line 87  Line 87 
87                  else LT.ltc_etag lt                  else LT.ltc_etag lt
88  fun ltVector t = if laterPhase(phase) then LT.ltc_void  fun ltVector t = if laterPhase(phase) then LT.ltc_void
89                   else LT.ltc_tyc(LT.tcc_vector t)                   else LT.ltc_tyc(LT.tcc_vector t)
 val lt_inst_chk = LT.lt_inst_chk_gen()  
90    
91  (** lazily selecting a field from a record/structure type *)  (** lazily selecting a field from a record/structure type *)
92  exception LtySelect  exception LtySelect
# Line 202  Line 201 
201                              | WORD32con _ => LT.ltc_int32                              | WORD32con _ => LT.ltc_int32
202                              | REALcon _ => LT.ltc_real                              | REALcon _ => LT.ltc_real
203                              | STRINGcon _ => ltString                              | STRINGcon _ => ltString
204                                | INTINFcon _ => bug "INTINFcon"
205                              |  _ => LT.ltc_int)                              |  _ => LT.ltc_int)
206         in ltMatch le s (nt, root); venv         in ltMatch le s (nt, root); venv
207        end        end
# Line 343  Line 343 
343  end (* toplevel local *)  end (* toplevel local *)
344  end (* structure CheckLty *)  end (* structure CheckLty *)
345    
 (*  
  * $Log: chkplexp.sml,v $  
 # Revision 1.1  1997/05/06  01:15:34  george  
 #   Version 109.27+  
 #  
  * Revision 1.2  1997/04/18  15:49:02  george  
  *   Cosmetic changes on some constructor names. Changed the shape for  
  *   FIX type to potentially support shared dtsig. -- zsh  
  *  
  * Revision 1.1.1.1  1997/01/14  01:38:46  george  
  *   Version 109.24  
  *  
  *)  

Legend:
Removed from v.71  
changed lines
  Added in v.1935

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