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-gkuan/compiler/FLINT/reps/rttype.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-gkuan/compiler/FLINT/reps/rttype.sml

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

revision 2948, Sat Feb 16 18:11:07 2008 UTC revision 2949, Sun Feb 17 15:10:09 2008 UTC
# Line 231  Line 231 
231  fun addKE(kenv, vs, ks) = (vs,ks)::kenv  fun addKE(kenv, vs, ks) = (vs,ks)::kenv
232  fun vlookKE(kenv, i, j) =  fun vlookKE(kenv, i, j) =
233    let val (vs,_) = (List.nth(kenv, i-1)    let val (vs,_) = (List.nth(kenv, i-1)
234                       handle _ => bug "unexpected case1 in vlookKE")                       handle Subscript => (print ("Getting "^Int.toString(i-1)^
235     in ((List.nth(vs, j) handle _ => bug "unexpected case2 in vlookKE"))                                                   " from length "^
236                                                     Int.toString(length kenv)
237                                                     ^"\n");
238                                              bug "unexpected case1 in vlookKE"))
239       in ((List.nth(vs, j) handle Subscript => bug "unexpected case2 in vlookKE"))
240    end    end
241    
242  fun klookKE(kenv, i, j) =  fun klookKE(kenv, i, j) =

Legend:
Removed from v.2948  
changed lines
  Added in v.2949

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