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 95, Wed May 13 00:49:12 1998 UTC sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml revision 1935, Mon Jun 5 18:21:55 2006 UTC
# Line 201  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 342  Line 343 
343  end (* toplevel local *)  end (* toplevel local *)
344  end (* structure CheckLty *)  end (* structure CheckLty *)
345    
 (*  
  * $Log: chkplexp.sml,v $  
  * Revision 1.1.1.1  1998/04/08 18:39:38  george  
  * Version 110.5  
  *  
  *)  

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

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