Home My Page Projects Code Snippets Project Openings 3D graphics for Standard ML
Summary Activity SCM

SCM Repository

[sml3d] Diff of /trunk/sml3d/gen/spec-parser/db.sml
ViewVC logotype

Diff of /trunk/sml3d/gen/spec-parser/db.sml

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

revision 1225, Thu Aug 4 17:56:02 2011 UTC revision 1226, Thu Aug 4 17:56:17 2011 UTC
# Line 19  Line 19 
19     *)     *)
20      val load : db -> unit      val load : db -> unit
21    
22      (* extend the first database with any additional definitions, etc. that are provided by
23       * the second database.
24       *)
25        val extend : db * db -> unit
26    
27    end = struct    end = struct
28    
29      structure X = XMLRep      structure X = XMLRep
# Line 177  Line 182 
182                end                end
183            else raise Fail "load on non-empty database"            else raise Fail "load on non-empty database"
184    
185      (* extend the first database with any additional definitions, etc. that are provided by
186       * the second database.
187       *)
188        fun extend (DB base, DB ext) = ()
189    
190    end    end

Legend:
Removed from v.1225  
changed lines
  Added in v.1226

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