CVS: sml-dist/kindch test.sml,1.1.2.1,1.1.2.2

Update of /cvsroot/smlnj/sml-dist/kindch
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv19940

Modified Files:
      Tag: primop-branch-2
	test.sml 
Log Message:
added comments

Index: test.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/kindch/Attic/test.sml,v
retrieving revision 1.1.2.1
retrieving revision 1.1.2.2
diff -C2 -d -r1.1.2.1 -r1.1.2.2
*** test.sml	14 Aug 2006 21:42:33 -0000	1.1.2.1
--- test.sml	15 Aug 2006 16:47:39 -0000	1.1.2.2
***************
*** 1,10 ****
  val te1 = 
     App(Fn([M],Env(App(Tv(2,0),[Tv(1,0)]),2,1,[L(0,[M]),B([Tv(1,0)],[F([M],M)])])),
         [Tv(2,0)]);
  
! val kenv0 = [[F([M],M)],[M]];
  
  chkKind(te1,kenv0);
  
  val te2 =
     Fn([M],
--- 1,14 ----
+ (* original: (\x:M=>M.\y:M.(x y)) a b  -- a,b free vars *)
+ (* after r1,r10: \[M].Env((#2,0 [#1,0]), 2, 1, L(0,[M],B([#1,0],[[M]=>M]))) *)
  val te1 = 
     App(Fn([M],Env(App(Tv(2,0),[Tv(1,0)]),2,1,[L(0,[M]),B([Tv(1,0)],[F([M],M)])])),
         [Tv(2,0)]);
  
! val kenv0 = [[F([M],M)],[M]];  (* a:M=>M, b:M *)
  
  chkKind(te1,kenv0);
  
+ (* original: @(\x:M=>M.\y:M.@(\z:M.\u:M.z), (x y)), a); kenv0 = a:M=>M *)
+ (* after r1, r10, r9, ..., r11: *)
  val te2 =
     Fn([M],


-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642