Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/FLINT/kernel/primop.sml
ViewVC logotype

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

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

revision 44, Sun Mar 22 20:10:57 1998 UTC revision 45, Sun Mar 22 20:11:09 1998 UTC
# Line 4  Line 4 
4  structure PrimOp : PRIM_OP =  structure PrimOp : PRIM_OP =
5  struct  struct
6    
 structure B = BasicTypes  
 structure T = Types  
   
7  (* numkind includes kind and number of bits *)  (* numkind includes kind and number of bits *)
8  datatype numkind  datatype numkind
9    = INT of int    = INT of int
# Line 90  Line 87 
87    | INL_MONOARRAY of numkind   (* inline monomorphic array allocation *)    | INL_MONOARRAY of numkind   (* inline monomorphic array allocation *)
88    | INL_MONOVECTOR of numkind  (* inline monomorphic vector allocation *)    | INL_MONOVECTOR of numkind  (* inline monomorphic vector allocation *)
89    
90      | MKETAG                     (* make a new exception tag *)
91      | WRAP                       (* box a value by wrapping it *)
92      | UNWRAP                     (* unbox a value by unwrapping it *)
93    
94    
95  (** default integer arithmetic and comparison operators *)  (** default integer arithmetic and comparison operators *)
96  val IADD = ARITH{oper=op +, overflow=true, kind=INT 31}  val IADD = ARITH{oper=op +, overflow=true, kind=INT 31}
97  val ISUB = ARITH{oper=op -, overflow=true, kind=INT 31}  val ISUB = ARITH{oper=op -, overflow=true, kind=INT 31}
# Line 223  Line 225 
225        concat ["inl_monovector(", prNumkind kind, ")"]        concat ["inl_monovector(", prNumkind kind, ")"]
226    | prPrimop (MARKEXN) = "markexn"    | prPrimop (MARKEXN) = "markexn"
227    
228      | prPrimop (MKETAG) = "mketag"
229      | prPrimop (WRAP) = "wrap"
230      | prPrimop (UNWRAP) = "unwrap"
231    
232  val purePrimop =  val purePrimop =
233    fn DEREF => false    fn DEREF => false

Legend:
Removed from v.44  
changed lines
  Added in v.45

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