CVS: sml-dist primop-list,1.1.2.4,1.1.2.5

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

Modified Files:
      Tag: primop-branch-2
	primop-list 
Log Message:
updated primop-list, modified translate.sml

Index: primop-list
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/Attic/primop-list,v
retrieving revision 1.1.2.4
retrieving revision 1.1.2.5
diff -C2 -d -r1.1.2.4 -r1.1.2.5
*** primop-list	26 Jun 2006 07:07:54 -0000	1.1.2.4
--- primop-list	27 Jun 2006 22:08:49 -0000	1.1.2.5
***************
*** 2,23 ****
  (from Semant/statenv/prim.sml)
  
  Hypothesis: all primops that are contained in the environment are created
  here.
  
  
! 0    callcc,	 	 P.CALLCC,     	('a cont -> 'a) -> 'a
! 	 InlineT.callcc :		('a cont -> 'a) -> 'a
  
! 1    throw,	 	 P.THROW,      	'a cont -> 'a -> 'b
! 	 InlineT.throw :		'a cont -> 'a -> 'b
  
  2    capture,	 P.CAPTURE,     ('a ccont -> 'a) -> 'a
! 	 InlineT.capture :		('a control_cont -> 'a) -> 'a
  
  3    isolate,	 P.ISOLATE,     ('a -> unit) -> 'a cont
! 	 InLineT.isolate : 		('a -> unit) -> 'a cont
  
! 4    cthrow,	 	 P.THROW,      	'a ccont -> 'a -> 'b
! 	 InlineT.escape : 		'a control_cont -> 'a -> 'b
  
  5    !,		 P.DEREF,      	'a ref -> 'a
--- 2,29 ----
  (from Semant/statenv/prim.sml)
  
+ This table is derived primarily from the definition of the InLine
+ structure that contains the "environmental" primops.  This is defined
+ in PrimEnv (Semant/statenv/prim.sml). The secondary bindings are 
+ found in InlineT, defined in system/smlnj/init/built-in.sml.
+ Ternary bindings are found in the Basis modules (system/Basis).
+ 
  Hypothesis: all primops that are contained in the environment are created
  here.
  
  
! 0    callcc,	 P.CALLCC,     	('a cont -> 'a) -> 'a
! 	 InlineT.callcc :	('a cont -> 'a) -> 'a
  
! 1    throw,	 P.THROW,      	'a cont -> 'a -> 'b
! 	 InlineT.throw :	'a cont -> 'a -> 'b
  
  2    capture,	 P.CAPTURE,     ('a ccont -> 'a) -> 'a
! 	 InlineT.capture :	('a control_cont -> 'a) -> 'a
  
  3    isolate,	 P.ISOLATE,     ('a -> unit) -> 'a cont
! 	 InLineT.isolate : 	('a -> unit) -> 'a cont
  
! 4    cthrow,	 P.THROW,      	'a ccont -> 'a -> 'b
! 	 InlineT.escape : 	'a control_cont -> 'a -> 'b
  
  5    !,		 P.DEREF,      	'a ref -> 'a
***************
*** 127,134 ****
  			     checked=false,
  			     immutable=true},  'a * int -> 'b
! 	 InlineT.Word8Array.sub : 		  Word8Array.array * int -> word8
! 	 InlineT.Word8Vector.sub : 		  Word8Vector.vector * int -> word8
! 	 InlineT.CharArray.sub : 		  CharArray.array * int -> char
! 	 InlineT.CharVector.sub : 		  string * int -> char
  
  40   store,   P.NUMUPDATE{kind=P.INT 8,
--- 133,140 ----
  			     checked=false,
  			     immutable=true},  'a * int -> 'b
! 	 InlineT.Word8Array.sub : 	       Word8Array.array * int -> word8
! 	 InlineT.Word8Vector.sub : 	       Word8Vector.vector * int -> word8
! 	 InlineT.CharArray.sub : 	       CharArray.array * int -> char
! 	 InlineT.CharVector.sub : 	       string * int -> char
  
  40   store,   P.NUMUPDATE{kind=P.INT 8,
***************
*** 269,281 ****
  
  75   extend_31_32_ww, P.EXTEND(31,32), 	word -> word32
! 	 InlineT.Word32.extend_word31 : 	word -> word32
  
  76   extend_8_31,   P.EXTEND(8,31),   	word8 -> int
  	 InlineT.Int31.extend_word8 : 	word8 -> int
  
! 77   extend_8_32_i, P.EXTEND(8,32), 		word8 -> int32
  	 InlineT.Int32.extend_word8 : 	word8 -> int32
  
! 78   extend_8_32_w, P.EXTEND(8,32), 		word8 -> word32
  	 InlineT.Word32.extend_word8 : 	word8 -> word32
  
--- 275,287 ----
  
  75   extend_31_32_ww, P.EXTEND(31,32), 	word -> word32
! 	 InlineT.Word32.extend_word31 : word -> word32
  
  76   extend_8_31,   P.EXTEND(8,31),   	word8 -> int
  	 InlineT.Int31.extend_word8 : 	word8 -> int
  
! 77   extend_8_32_i, P.EXTEND(8,32), 	word8 -> int32
  	 InlineT.Int32.extend_word8 : 	word8 -> int32
  
! 78   extend_8_32_w, P.EXTEND(8,32), 	word8 -> word32
  	 InlineT.Word32.extend_word8 : 	word8 -> word32
  
***************
*** 284,291 ****
  
  80   trunc_32_31_w, P.TRUNC(32,31),   	word32 -> word
! 	 InlineT.Word32.trunc_word31 : word32 -> word  = InLine.trunc_32_31_w
  
  81   trunc_31_8,    P.TRUNC(31,8),   	int -> word8
! 	 InlineT.Int31.trunc_word8 :		int -> word8
  
  82   trunc_32_8_i,  P.TRUNC(32,8),   	int32 -> word8
--- 290,297 ----
  
  80   trunc_32_31_w, P.TRUNC(32,31),   	word32 -> word
! 	 InlineT.Word32.trunc_word31 :  word32 -> word
  
  81   trunc_31_8,    P.TRUNC(31,8),   	int -> word8
! 	 InlineT.Int31.trunc_word8 :	int -> word8
  
  82   trunc_32_8_i,  P.TRUNC(32,8),   	int32 -> word8
***************
*** 296,300 ****
  
       (* conversion primops involving intinf *)
! 84   test_inf_31,     P.TEST_INF 31,    intinf -> int 
  85   test_inf_32,     P.TEST_INF 32,    intinf -> int32
  86   test_inf_64,     P.TEST_INF 64,    intinf -> int64
--- 302,306 ----
  
       (* conversion primops involving intinf *)
! 84   test_inf_31,     P.TEST_INF 31,    intinf -> int
  85   test_inf_32,     P.TEST_INF 32,    intinf -> int32
  86   test_inf_64,     P.TEST_INF 64,    intinf -> int64


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