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/branches/arith64/compiler/CodeGen/cpscompile/smlnj-gctype.sig
ViewVC logotype

Diff of /sml/branches/arith64/compiler/CodeGen/cpscompile/smlnj-gctype.sig

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

revision 4873, Thu Oct 4 21:39:53 2018 UTC revision 4874, Fri Oct 5 14:33:11 2018 UTC
# Line 22  Line 22 
22        | TOP        | TOP
23    
24      val ==       : gctype * gctype -> bool      val ==       : gctype * gctype -> bool
25    
26      val join     : gctype * gctype -> gctype      val join     : gctype * gctype -> gctype
27      val meet     : gctype * gctype -> gctype      val meet     : gctype * gctype -> gctype
28    
# Line 30  Line 31 
31      (*      (*
32       * Primitive types       * Primitive types
33       *)       *)
34      val I31      : gctype  (* tagged integers *)        (* 64BIT: FIXME *)      val TAGGED_INT : gctype  (* default tagged integer *)
35      val I32      : gctype  (* untagged integers *)      (* 64BIT: FIXME *)      val INT        : gctype  (* machine integers *)
36    
37      val REAL64   : gctype  (* unboxed real *)      val REAL64   : gctype  (* unboxed real *)
38      val REAL32   : gctype  (* unused *)      val REAL32   : gctype  (* unused *)
39      val PTR      : gctype  (* tagged ML objects *)      val PTR      : gctype  (* ML objects *)
40      val INT      : gctype  (* machine integers aka I32 *)  
41      val ADD      : ty * gctype * gctype -> gctype      val ADD      : ty * gctype * gctype -> gctype
42      val SUB      : ty * gctype * gctype -> gctype      val SUB      : ty * gctype * gctype -> gctype
43    
# Line 46  Line 47 
47      val GC_TYPE : gctype Annotations.property      val GC_TYPE : gctype Annotations.property
48    
49    end    end
   

Legend:
Removed from v.4873  
changed lines
  Added in v.4874

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