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/ml-nlffi-lib/internals/c-int.sml
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffi-lib/internals/c-int.sml

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

revision 1151, Mon Mar 18 18:41:31 2002 UTC revision 1152, Tue Mar 19 21:36:30 2002 UTC
# Line 125  Line 125 
125      type 'c ubf = bf      type 'c ubf = bf
126      type 'c sbf = bf      type 'c sbf = bf
127    
128        structure W = struct
129            type ('from, 'to) witness = unit
130    
131            val trivial = ()
132            fun pointer () = ()
133            fun object () = ()
134            fun arr () = ()
135            fun ro () = ()
136            fun rw () = ()
137        end
138    
139        fun convert w x = x
140        fun convert' w x = x
141    
142      (*      (*
143       * A family of types and corresponding values representing natural numbers.       * A family of types and corresponding values representing natural numbers.
144       *   (An encoding in SML without using dependent types.)       *   (An encoding in SML without using dependent types.)
# Line 442  Line 456 
456    
457          val ro' = addr_id          val ro' = addr_id
458          val rw' = addr_id          val rw' = addr_id
459    
460            fun convert w x = x
461            fun convert' w x = x
462      end      end
463    
464      structure Arr = struct      structure Arr = struct

Legend:
Removed from v.1151  
changed lines
  Added in v.1152

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