Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/ein/phase-ein.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/ein/phase-ein.sml

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

revision 2498, Wed Oct 30 17:35:23 2013 UTC revision 2603, Thu Apr 24 03:58:37 2014 UTC
# Line 12  Line 12 
12    
13    
14  fun err(msg)= (print "";errTy)  fun err(msg)= (print "";errTy)
15    (*Need to put in lift*)
16    
17  fun checkPhase (Ein.EIN{params, index, body},phase) = let  fun checkPhase (Ein.EIN{params, index, body},phase) = let
18    
19      fun checkTenParam id=      fun checkTenParam id=
20          if(id>length(params))then errTy          if(id>length(params))then errTy
21          else (case List.nth(params,id)          else (case List.nth(params,id)
22              of E.TEN => 0              of E.TEN _ => 0
23              |  _ =>errTy              |  _ =>errTy
24              (*end case*))              (*end case*))
25    

Legend:
Removed from v.2498  
changed lines
  Added in v.2603

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