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/compiler/ElabData/prim/primop.sig
ViewVC logotype

Diff of /sml/trunk/compiler/ElabData/prim/primop.sig

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

revision 772, Thu Jan 4 15:36:41 2001 UTC revision 773, Mon Jan 8 16:18:37 2001 UTC
# Line 218  Line 218 
218  (* Primops to support new experimental C FFI. *)  (* Primops to support new experimental C FFI. *)
219    | RAW_LOAD of numkind         (* load from arbitrary memory location *)    | RAW_LOAD of numkind         (* load from arbitrary memory location *)
220    | RAW_STORE of numkind        (* store to arbitrary memory location *)    | RAW_STORE of numkind        (* store to arbitrary memory location *)
221    | RAW_CCALL                   (* make a call to a C-function *)      (* make a call to a C-function;
222         * The primop carries C function prototype information and specifies
223         * which of its (ML-) arguments are floating point. C prototype
224         * information is for use by the backend, ML information is for
225         * use by the CPS converter. *)
226      | RAW_CCALL of { c_proto: CTypes.c_proto,
227                       ml_flt_args: bool list,
228                       ml_flt_res: bool } option
229    
230    
231  val IADD : primop  (* default integer addition *)  val IADD : primop  (* default integer addition *)

Legend:
Removed from v.772  
changed lines
  Added in v.773

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