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/Basis/Implementation/IO/prim-io-fn.sml
ViewVC logotype

Diff of /sml/trunk/src/system/Basis/Implementation/IO/prim-io-fn.sml

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

revision 1499, Tue May 25 21:49:58 2004 UTC revision 1500, Fri May 28 21:44:42 2004 UTC
# Line 6  Line 6 
6  functor PrimIO (  functor PrimIO (
7    
8      structure Vector : MONO_VECTOR      structure Vector : MONO_VECTOR
     structure Array : MONO_ARRAY  
       where type vector = Vector.vector  
       where type elem = Vector.elem  
9      structure VectorSlice : MONO_VECTOR_SLICE      structure VectorSlice : MONO_VECTOR_SLICE
10        where type vector = Vector.vector      structure Array : MONO_ARRAY
       where type elem = Vector.elem  
11      structure ArraySlice : MONO_ARRAY_SLICE      structure ArraySlice : MONO_ARRAY_SLICE
12        sharing type Vector.elem = VectorSlice.elem = Array.elem = ArraySlice.elem
13        sharing type Vector.vector = VectorSlice.vector =
14                     Array.vector = ArraySlice.vector
15        sharing type VectorSlice.slice = ArraySlice.vector_slice
16        sharing type Array.array = ArraySlice.array
17        val someElem : Vector.elem
18        eqtype pos
19        val compare : pos * pos -> order
20    
21      ) :> PRIM_IO
22        where type elem = Vector.elem        where type elem = Vector.elem
       where type array = Array.array  
23        where type vector = Vector.vector        where type vector = Vector.vector
24        where type vector_slice = VectorSlice.slice        where type vector_slice = VectorSlice.slice
25      val someElem : Vector.elem          where type array = Array.array
26      eqtype pos          where type array_slice = ArraySlice.slice
27      val compare : (pos * pos) -> order          where type pos = pos
28    
29    ) : PRIM_IO = struct  = struct
30    
31      structure A = Array      structure A = Array
32      structure AS = ArraySlice      structure AS = ArraySlice

Legend:
Removed from v.1499  
changed lines
  Added in v.1500

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