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/src/system/Init/pervasive.sml
ViewVC logotype

Diff of /sml/trunk/src/system/Init/pervasive.sml

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

sml/trunk/src/system/Init/pervasive.sml revision 416, Fri Sep 3 23:50:31 1999 UTC sml/branches/SMLNJ/src/system/Init/pervasive.sml revision 429, Wed Sep 8 09:47:00 1999 UTC
# Line 8  Line 8 
8  infixr 5 :: @  infixr 5 :: @
9  infix 0 before  infix 0 before
10    
11    (* top-level type (we need this one early) *)
12    
13    datatype bool = datatype PrimTypes.bool
14    
15  local  local
16      structure I31 = InlineT.Int31      structure I31 = InlineT.Int31
17      structure I32 = InlineT.Int32      structure I32 = InlineT.Int32
# Line 114  Line 118 
118  exception Div = Assembly.Div  exception Div = Assembly.Div
119  exception Domain  exception Domain
120    
121    type string = PrimTypes.string
122    
123  exception Fail of string  exception Fail of string
124    
125  (* exception Span  (* exception Span
# Line 136  Line 142 
142    
143  (* top-level types *)  (* top-level types *)
144    
 datatype bool = datatype PrimTypes.bool  
145  datatype list = datatype PrimTypes.list  datatype list = datatype PrimTypes.list
146  datatype ref = datatype PrimTypes.ref  datatype ref = datatype PrimTypes.ref
147    
# Line 244  Line 249 
249      val unsafeUpdate = CV.update      val unsafeUpdate = CV.update
250  in  in
251    
 type string = PrimTypes.string  
   
252  val size = CV.length : string -> int  val size = CV.length : string -> int
253    
254  fun str (c: char) : string = PV.sub (PreString.chars, InlineT.cast c)  fun str (c: char) : string = PV.sub (PreString.chars, InlineT.cast c)

Legend:
Removed from v.416  
changed lines
  Added in v.429

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