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/ElabData/types/basictypes.sml
ViewVC logotype

Diff of /sml/branches/num64/compiler/ElabData/types/basictypes.sml

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  (* basictypes.sml  (* basictypes.sml
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   * Note: the types that are defined here should also be added to the   * Note: the types that are defined here should also be added to the
# Line 126  Line 126 
126    
127      val (exnTycon, exnTy) = mkPrimTycTy ("exn", 0, T.NO)      val (exnTycon, exnTy) = mkPrimTycTy ("exn", 0, T.NO)
128    
129      (* abstract eqtype that represents a runtime-system pointer *)
130        val pointerTycon = mkPrimTyc("c_pointer", 0, T.YES)
131      (* abstract type that represents a runtime-system function *)
132        val c_functionTycon = mkPrimTyc("c_function", 0, T.NO)
133    
134      val contTycon = mkPrimTyc("cont", 1, T.NO)      val contTycon = mkPrimTyc("cont", 1, T.NO)
135      val ccontTycon = mkPrimTyc("control_cont", 1, T.NO)      val ccontTycon = mkPrimTyc("control_cont", 1, T.NO)
136    
# Line 143  Line 148 
148    
149      val objectTycon = mkPrimTyc("object", 0, T.NO)      val objectTycon = mkPrimTyc("object", 0, T.NO)
150    
     val c_functionTycon = mkPrimTyc("c_function", 0, T.NO)  
   
151      val spin_lockTycon = mkPrimTyc("spin_lock", 0, T.NO)      val spin_lockTycon = mkPrimTyc("spin_lock", 0, T.NO)
152    
153    (*** predefined datatypes ***)    (*** predefined datatypes ***)

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