CVS: sml-dist primop-list,1.1.2.10,1.1.2.11

George Kuan <[email protected]> Thu, 29 Jun 2006 14:32:57 -0700
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv21292

Modified Files:
      Tag: primop-branch-2
	primop-list 
Log Message:
Filled in some gaps in primop-list

Index: primop-list
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/Attic/primop-list,v
retrieving revision 1.1.2.10
retrieving revision 1.1.2.11
diff -C2 -d -r1.1.2.10 -r1.1.2.11
*** primop-list	29 Jun 2006 20:44:52 -0000	1.1.2.10
--- primop-list	29 Jun 2006 21:32:55 -0000	1.1.2.11
***************
*** 42,47 ****
  	 InlineT.unboxed : 	'a -> bool
  
! 10   cast,       P.CAST,      	'a -> 'b
! 	 InlineT.cast : 	'a -> 'b
  
  11   =,		 P.POLYEQL,     ''a * ''a -> bool
--- 42,51 ----
  	 InlineT.unboxed : 	'a -> bool
  
! 10   cast,       P.CAST,      		'a -> 'b
! 	 InlineT.cast : 		'a -> 'b
! 	 InlineT.identity :		'a -> 'a
! 	 InlineT.Char.ord :		char -> int
! 	 InlineT.IntInf.toLarge :	intinf -> intinf (* Aliased to identity *)
! 	 InlineT.IntInf.fromLarge :	intinf -> intinf
  
  11   =,		 P.POLYEQL,     ''a * ''a -> bool
***************
*** 102,106 ****
  
  30   identity,   P.INLIDENTITY, 'a -> 'a
! 	 InlineT.identity :	'a -> 'a
  
  31   length,	 P.LENGTH,     		'a -> int
--- 106,110 ----
  
  30   identity,   P.INLIDENTITY, 'a -> 'a
! 	 InlineT.identity :	'a -> 'a (* This is actually aliased to InLine.cast *)
  
  31   length,	 P.LENGTH,     		'a -> int
***************
*** 224,236 ****
--- 228,245 ----
  55   test_32_31_w,  P.TEST(32,31),  	word32 -> int
  	 InlineT.Word32.test_int31 : 	word32 -> int
+ 	 InlineT.Word32.toIntX :	word32 -> int 
  
  56   test_32_31_i,  P.TEST(32,31),  	int32 -> int
  	 InlineT.Int32.test_int31 :     int32 -> int
+ 	 InlineT.Int32.toInt :		int32 -> int 
+ 	 InlineT.Int31.fromLarge :	intinf -> int32
  
  57   testu_31_31,   P.TESTU(31,31),     word -> int
  	 InlineT.Word31.testu_int31 : 	word -> int
+ 	 InlineT.Word31.toInt :		word -> int
  
  58   testu_32_31,   P.TESTU(32,31),     word32 -> int
  	 InlineT.Word32.testu_int31 : 	word32 -> int
+ 	 InlineT.Word32.toInt :		word32 -> int 
  
  59   testu_32_32,   P.TESTU(32,32),   	word32 -> int32
***************
*** 248,260 ****
--- 257,276 ----
  63   copy_32_32_ww, P.COPY(32,32),   	word32 -> word32
  	 InlineT.Word32.copy_word32 : 	word32 -> word32
+ 	 InlineT.Word32.toLargeWord :	word32 -> word32 
+ 	 InlineT.Word32.toLargeWordX :	word32 -> word32
+ 	 InlineT.Word32.fromLargeWord :	word32 -> word32
  
  64   copy_31_31_ii, P.COPY(31,31),   	int -> int
  	 InlineT.Int31.copy_int31 : 	int -> int
+ 	 InlineT.Int31.toInt :		int -> int
+ 	 InlineT.Int31.fromInt :	int -> int
  
  65   copy_31_31_wi, P.COPY(31,31),   	word -> int
  	 InlineT.Word31.copyt_int31 : 	word -> int
+ 	 InlineT.Word31.toIntX :	word -> int
  
  66   copy_31_31_iw, P.COPY(31,31),   	int -> word
  	 InlineT.Word31.copyf_int31 : 	int -> word
+ 	 InlineT.Word31.fromInt :	int -> word
  
  67   copy_31_32_i,  P.COPY(31,32),  	word -> int32
***************
*** 263,266 ****
--- 279,283 ----
  68   copy_31_32_w,  P.COPY(31,32),  	word -> word32
  	 InlineT.Word32.copy_word31 : 	word -> word32
+ 	 InlineT.Word31.toLargeWord :	word -> word32
  
  69   copy_8_32_i,   P.COPY(8,32),     	word8 -> int32
***************
*** 269,281 ****
--- 286,302 ----
  70   copy_8_32_w,   P.COPY(8,32),     	word8 -> word32
  	 InlineT.Word32.copy_word8 : 	word8 -> word32
+ 	 InlineT.Word8.toLargeWord :	word8 -> word32
  
  71   copy_8_31,     P.COPY(8,31),     	word8 -> int
  	 InlineT.Int31.copy_word8 : 	word8 -> int
+ 	 InlineT.Word8.toInt :		word8 -> int
  
  72   extend_31_32_ii, P.EXTEND(31,32), 	int -> int32
  	 InlineT.Int32.extend_int31 : 	int -> int32
+ 	 InlineT.Int32.fromInt :	int -> int32 
  
  73   extend_31_32_iw, P.EXTEND(31,32), 	int -> word32
  	 InlineT.Word32.extend_int31 : 	int -> word32
+ 	 InlineT.Word32.fromInt :	int -> word32 
  
  74   extend_31_32_wi, P.EXTEND(31,32), 	word -> int32
***************
*** 284,290 ****
--- 305,313 ----
  75   extend_31_32_ww, P.EXTEND(31,32), 	word -> word32
  	 InlineT.Word32.extend_word31 : word -> word32
+ 	 InlineT.Word31.toLargeWordX :	word -> word32 
  
  76   extend_8_31,   P.EXTEND(8,31),   	word8 -> int
  	 InlineT.Int31.extend_word8 : 	word8 -> int
+ 	 InlineT.Word8.toIntX :		word8 -> int
  
  77   extend_8_32_i, P.EXTEND(8,32), 	word8 -> int32
***************
*** 293,296 ****
--- 316,320 ----
  78   extend_8_32_w, P.EXTEND(8,32), 	word8 -> word32
  	 InlineT.Word32.extend_word8 : 	word8 -> word32
+ 	 InlineT.Word8.toLargeWordX :	word8 -> word32
  
  79   trunc_32_31_i, P.TRUNC(32,31),   	int32 -> word
***************
*** 299,305 ****
--- 323,331 ----
  80   trunc_32_31_w, P.TRUNC(32,31),   	word32 -> word
  	 InlineT.Word32.trunc_word31 :  word32 -> word
+ 	 InlineT.Word31.fromLargeWord :	word32 -> word 
  
  81   trunc_31_8,    P.TRUNC(31,8),   	int -> word8
  	 InlineT.Int31.trunc_word8 :	int -> word8
+ 	 InlineT.Word8.fromInt :	int -> word8
  
  82   trunc_32_8_i,  P.TRUNC(32,8),   	int32 -> word8
***************
*** 308,311 ****
--- 334,338 ----
  83   trunc_32_8_w,  P.TRUNC(32,8),   	word32 -> word8
  	 InlineT.Word32.trunc_word8 : 	word32 -> word8
+ 	 InlineT.Word8.fromLargeWord :	word32 -> word8
  
       (* conversion primops involving intinf *)
***************
*** 314,323 ****
  
  85   test_inf_32,     P.TEST_INF 32,    intinf -> int32
! 	 InlineT.IntInf.test_int_32 :	intinf -> int32
! 
  86   test_inf_64,     P.TEST_INF 64,    intinf -> int64
  
  87   copy_8_inf,      P.COPY_INF 8,     word8 -> intinf
  	 InlineT.IntInf.copy_word8 : 	word8 -> intinf 
  
  88   copy_8_inf_w,    P.COPY_INF 8,     word8 -> intinf
--- 341,353 ----
  
  85   test_inf_32,     P.TEST_INF 32,    intinf -> int32
! 	 InlineT.IntInf.test_int32 :	intinf -> int32
! 	 InlineT.IntInf.fromLarge :	intinf -> int32
! 	 InlineT.Int32.fromLarge :	intinf -> int32 
! 	
  86   test_inf_64,     P.TEST_INF 64,    intinf -> int64
  
  87   copy_8_inf,      P.COPY_INF 8,     word8 -> intinf
  	 InlineT.IntInf.copy_word8 : 	word8 -> intinf 
+ 	 InlineT.Word8.toLargeInt :	word8 -> intinf
  
  88   copy_8_inf_w,    P.COPY_INF 8,     word8 -> intinf
***************
*** 325,331 ****
  89   copy_31_inf_w,   P.COPY_INF 31,    word -> intinf 
  	InlineT.IntInf.copy_word31 : 	word -> intinf
! 	
  90   copy_32_inf_w,   P.COPY_INF 32,    word32 -> intinf
  	InlineT.IntInf.copy_word32 :	word32 -> intinf
  
  91   copy_64_inf_w,   P.COPY_INF 64,    word64-> intinf
--- 355,363 ----
  89   copy_31_inf_w,   P.COPY_INF 31,    word -> intinf 
  	InlineT.IntInf.copy_word31 : 	word -> intinf
! 	InlineT.Word31.toLargeInt :	word -> intinf 
! 
  90   copy_32_inf_w,   P.COPY_INF 32,    word32 -> intinf
  	InlineT.IntInf.copy_word32 :	word32 -> intinf
+ 	InlineT.Word32.toLargeInt :	word32 -> intinf
  
  91   copy_64_inf_w,   P.COPY_INF 64,    word64-> intinf
***************
*** 339,356 ****
  95   extend_8_inf,    P.EXTEND_INF 8,   word8 -> intinf
  	InlineT.IntInf.extend_word8 : 	word8 -> intinf
  
  96   extend_8_inf_w,  P.EXTEND_INF 8,   word8 -> intinf
  97   extend_31_inf_w, P.EXTEND_INF 31,  word  -> intinf
  	InlineT.IntInf.extend_word31 : 	word -> intinf
  
  98   extend_32_inf_w, P.EXTEND_INF 32,  word32 -> intinf
  	InlineT.IntInf.extend_word32 : 	word32 -> intinf
  
  99   extend_64_inf_w, P.EXTEND_INF 64,  word64 -> intinf
  100  extend_31_inf_i, P.EXTEND_INF 31,  int -> intinf
  	InlineT.IntInf.extend_int31 : 	int -> intinf
! 
  101  extend_32_inf_i, P.EXTEND_INF 32,  int32 -> intinf
  	InlineT.IntInf.extend_int32 : 	int32 -> intinf
  
  102  extend_64_inf_i, P.EXTEND_INF 64,  int64 -> intinf
--- 371,393 ----
  95   extend_8_inf,    P.EXTEND_INF 8,   word8 -> intinf
  	InlineT.IntInf.extend_word8 : 	word8 -> intinf
+ 	InlineT.IntInf.toLargeIntX :	word8 -> intinf
  
  96   extend_8_inf_w,  P.EXTEND_INF 8,   word8 -> intinf
  97   extend_31_inf_w, P.EXTEND_INF 31,  word  -> intinf
  	InlineT.IntInf.extend_word31 : 	word -> intinf
+ 	InlineT.Word31.toLargeIntX :	word -> intinf 
  
  98   extend_32_inf_w, P.EXTEND_INF 32,  word32 -> intinf
  	InlineT.IntInf.extend_word32 : 	word32 -> intinf
+ 	InlineT.Word32.toLargeIntX :	word32 -> intinf
  
  99   extend_64_inf_w, P.EXTEND_INF 64,  word64 -> intinf
  100  extend_31_inf_i, P.EXTEND_INF 31,  int -> intinf
  	InlineT.IntInf.extend_int31 : 	int -> intinf
! 	InlineT.Int31.toLarge :		int -> intinf
! 	
  101  extend_32_inf_i, P.EXTEND_INF 32,  int32 -> intinf
  	InlineT.IntInf.extend_int32 : 	int32 -> intinf
+ 	InlineT.Int32.toLarge :		int -> intinf
  
  102  extend_64_inf_i, P.EXTEND_INF 64,  int64 -> intinf
***************
*** 360,366 ****
  104  trunc_inf_31,    P.TRUNC_INF 31,   intinf -> word
  	InlineT.IntInf.trunc_word31 : 	intinf -> word
!  
  105  trunc_inf_32,    P.TRUNC_INF 32,   intinf -> word32
  	InlineT.IntInf.trunc_word32 : 	intinf -> word32
  
  106  trunc_inf_64,    P.TRUNC_INF 64,   intinf -> word64
--- 397,405 ----
  104  trunc_inf_31,    P.TRUNC_INF 31,   intinf -> word
  	InlineT.IntInf.trunc_word31 : 	intinf -> word
!  	InlineT.IntInf.fromLargeInt :	intinf -> word
! 
  105  trunc_inf_32,    P.TRUNC_INF 32,   intinf -> word32
  	InlineT.IntInf.trunc_word32 : 	intinf -> word32
+ 	InlineT.Word32.fromLargeInt :	intinf -> word32
  
  106  trunc_inf_64,    P.TRUNC_INF 64,   intinf -> word64
***************
*** 915,916 ****
--- 954,961 ----
  322  rawupdatef32, P.RAW_STORE (P.FLOAT 32), 'a * word32 * real -> unit
  323  rawupdatef64, P.RAW_STORE (P.FLOAT 64), 'a * word32 * real -> unit
+ 
+ (* InlineT also defines some primops using Assembly such as
+    InlineT.Word8Vector.create = Assembly.A.create_s and 
+    similar primops... but all these kinds of primops defs
+    are signature matched to hide the Assembly module types.
+  *) 
\ No newline at end of file


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