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

SCM Repository

[sml3d] Diff of /trunk/sml3d/gen/gen-from-xml/gldb/db.sml
ViewVC logotype

Diff of /trunk/sml3d/gen/gen-from-xml/gldb/db.sml

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

revision 1382, Sat Apr 5 04:15:32 2014 UTC revision 1399, Thu Apr 10 15:03:10 2014 UTC
# Line 163  Line 163 
163            val findInBase = ATbl.find base            val findInBase = ATbl.find base
164            val insertInBase = ATbl.insert base            val insertInBase = ATbl.insert base
165            fun extend (ty as {name, def}) = (case findInBase name            fun extend (ty as {name, def}) = (case findInBase name
166                   of SOME ty' => if CType.same(def, #def ty')                   of SOME ty' => if not (CType.same(def, #def ty'))
167                        then conflict[                        then conflict[
168                            "type ", Atom.toString name, " definition conflict"                            "type ", Atom.toString name, " definition conflict"
169                          ]                          ]

Legend:
Removed from v.1382  
changed lines
  Added in v.1399

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