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 1173, Sat Mar 23 04:18:51 2002 UTC revision 1174, Sat Mar 23 21:14:40 2002 UTC
# Line 224  Line 224 
224       * information is for use by the backend, ML information is for       * information is for use by the backend, ML information is for
225       * use by the CPS converter. *)       * use by the CPS converter. *)
226    | RAW_CCALL of { c_proto: CTypes.c_proto,    | RAW_CCALL of { c_proto: CTypes.c_proto,
227                     ml_flt_args: bool list,                     ml_args: ccall_type list,
228                     ml_flt_res_opt: bool option } option                     ml_res_opt: ccall_type option,
229                       reentrant : bool
230                     } option
231       (* Allocate uninitialized storage on the heap.
232        * The record is meant to hold short-lived C objects, i.e., they
233        * are not ML pointers.  With the tag, the representation is
234        * the same as RECORD with tag tag_raw32 (sz=4), or tag_fblock (sz=8)
235        *)
236      | RAW_RECORD of {tag:bool,sz:int}
237    and ccall_type = CCALL_INT32 | CCALL_REAL64 | CCALL_ML_PTR
238    
239    
240  val IADD : primop  (* default integer addition *)  val IADD : primop  (* default integer addition *)

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

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