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/trunk/src/compiler/FLINT/kernel/primop.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/primop.sig

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

revision 1174, Sat Mar 23 21:14:40 2002 UTC revision 1178, Mon Mar 25 20:51:48 2002 UTC
# Line 230  Line 230 
230                   } option                   } option
231     (* Allocate uninitialized storage on the heap.     (* Allocate uninitialized storage on the heap.
232      * The record is meant to hold short-lived C objects, i.e., they      * The record is meant to hold short-lived C objects, i.e., they
233      * are not ML pointers.  With the tag, the representation is      * are not ML pointers.  The representation is
234      * the same as RECORD with tag tag_raw32 (sz=4), or tag_fblock (sz=8)      * the same as RECORD with tag tag_raw32 (fblock = false),
235        * or tag_fblock (fblock = true).
236      *)      *)
237    | RAW_RECORD of {tag:bool,sz:int}    | RAW_RECORD of { fblock: bool }
 and ccall_type = CCALL_INT32 | CCALL_REAL64 | CCALL_ML_PTR  
238    
239    and ccall_type =
240        CCI32 |                             (* passed as int32 *)
241        CCI64 |                             (* int64, currently unused *)
242        CCR64 |                             (* passed as real64 *)
243        CCML                                (* passed as Unsafe.Object.object *)
244    
245  val IADD : primop  (* default integer addition *)  val IADD : primop  (* default integer addition *)
246  val ISUB : primop  (* default integer subtraction *)  val ISUB : primop  (* default integer subtraction *)

Legend:
Removed from v.1174  
changed lines
  Added in v.1178

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