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/num64/compiler/FLINT/kernel/primtyc.sig
ViewVC logotype

Diff of /sml/branches/num64/compiler/FLINT/kernel/primtyc.sig

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

revision 5250, Sat Jun 1 19:48:18 2019 UTC revision 5251, Sat Jun 1 19:54:52 2019 UTC
# Line 1  Line 1 
1  (* primtyc.sig  (* primtyc.sig
2   *   *
3   * COPYRIGHT (c) 2017 The Fellowship of SML/NJ (http://www.smlnj.org)   * COPYRIGHT (c) 2019 The Fellowship of SML/NJ (http://www.smlnj.org)
4   * All rights reserved.   * All rights reserved.
5   *)   *)
6    
# Line 29  Line 29 
29      val ptc_arrow  : primtyc      val ptc_arrow  : primtyc
30    
31      val ptc_obj    : primtyc      val ptc_obj    : primtyc
32      val ptc_cfun   : primtyc      val ptc_pointer : primtyc   (* raw runtime-system pointer; include C functions *)
33      val ptc_barray : primtyc      val ptc_barray : primtyc
34      val ptc_rarray : primtyc      val ptc_rarray : primtyc
35      val ptc_slock  : primtyc      val ptc_slock  : primtyc
# Line 68  Line 68 
68    (** check the boxity of values of each prim tyc *)    (** check the boxity of values of each prim tyc *)
69      val unboxed : primtyc -> bool      val unboxed : primtyc -> bool
70    
71      (* val bxupd : primtyc -> bool   -- not used? *)    (** return true if an update to a ref/array of this type can be safely
72       ** treated as an unboxed update (i.e., no store list record).
73       **)
74      val ubxupd : primtyc -> bool      val ubxupd : primtyc -> bool
75    
76      val isvoid : primtyc -> bool      val isvoid : primtyc -> bool

Legend:
Removed from v.5250  
changed lines
  Added in v.5251

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