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 /dev-notes/primop-list.md
ViewVC logotype

Diff of /dev-notes/primop-list.md

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

revision 4993, Sat Apr 27 15:37:40 2019 UTC revision 5004, Sun Apr 28 14:36:44 2019 UTC
# Line 41  Line 41 
41    * "`real32`" -- 32-bit real numbers (not yet supported)    * "`real32`" -- 32-bit real numbers (not yet supported)
42    * "`real64`" -- 64-bit real numbers    * "`real64`" -- 64-bit real numbers
43    * "`ptr`" -- machine address    * "`ptr`" -- machine address
44    * "`barr`" -- bytearray (used for arrays of `Word8.word` and `char`)    * "`w8arr`" -- bytearray (used for arrays of `Word8.word` and `char`)
45    * "`bvec`" -- bytevector (used for strings and vectors of `Word8.word`)    * "`w8vec`" -- bytevector (used for strings and vectors of `Word8.word`)
46    * "`arr`" -- polymorphic arrays    * "`arr`" -- polymorphic arrays
47    * "`vec`" -- polymorphic vectors    * "`vec`" -- polymorphic vectors
48    * "`seq`" -- sequence types (arrays and vectors)    * "`seq`" -- sequence types (arrays and vectors)
# Line 178  Line 178 
178  Operations on byte/char array/vectors.  We renamed these to make it clear  Operations on byte/char array/vectors.  We renamed these to make it clear
179  which operations do bounds checking and which do not.  which operations do bounds checking and which do not.
180    
181    * `bvec_unsafe_sub : 'a * int -> 'b`<br/>    * `w8vec_unsafe_sub : 'a * int -> 'b`<br/>
182      subscript from byte vector without bounds checking      subscript from byte vector without bounds checking
183      (`P.NUMSUBSCRIPT{kind=P.INT 8, checked=false, immutable=true}`)      (`P.NUMSUBSCRIPT{kind=P.INT 8, checked=false, immutable=true}`)
184    
185    * `barr_unsafe_sub : 'a * int -> 'b`<br/>    * `w8arr_unsafe_sub : 'a * int -> 'b`<br/>
186      subscript from byte array without bounds checking      subscript from byte array without bounds checking
187      (`P.NUMSUBSCRIPT{kind=P.INT 8, checked=false, immutable=false}`)      (`P.NUMSUBSCRIPT{kind=P.INT 8, checked=false, immutable=false}`)
188    
189    * `barr_unsafe_update : 'a * int * 'b -> unit`<br/>    * `w8arr_unsafe_update : 'a * int * 'b -> unit`<br/>
190      update byte array without bounds checking      update byte array without bounds checking
191      (`P.NUMUPDATE{kind=P.INT 8, checked=false}`)      (`P.NUMUPDATE{kind=P.INT 8, checked=false}`)
192    
193    * `bvec_sub : 'a * int -> 'b`<br/>    * `w8vec_sub : 'a * int -> 'b`<br/>
194      subscript from byte vector      subscript from byte vector
195      (`P.NUMSUBSCRIPT{kind=P.INT 8, checked=true, immutable=true}`)      (`P.NUMSUBSCRIPT{kind=P.INT 8, checked=true, immutable=true}`)
196    
197    * `barr_sub : 'a * int -> 'b`<br/>    * `w8arr_sub : 'a * int -> 'b`<br/>
198      subscript from byte array      subscript from byte array
199      (`P.NUMSUBSCRIPT{kind=P.INT 8, checked=true, immutable=false}`)      (`P.NUMSUBSCRIPT{kind=P.INT 8, checked=true, immutable=false}`)
200    
201    * `barr_update : 'a * int * 'b -> unit`<br/>    * `w8arr_update : 'a * int * 'b -> unit`<br/>
202      update byte array      update byte array
203      (`P.NUMUPDATE{kind=P.INT 8, checked=true}`)      (`P.NUMUPDATE{kind=P.INT 8, checked=true}`)
204    

Legend:
Removed from v.4993  
changed lines
  Added in v.5004

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