Mercurial > urweb
comparison src/mod_db.sml @ 1868:d6b0ee53dc93
Get -root working properly again
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 26 Sep 2013 16:22:06 -0400 |
| parents | b6c4b3484752 |
| children |
comparison
equal
deleted
inserted
replaced
| 1867:216a3a67ebe3 | 1868:d6b0ee53dc93 |
|---|---|
| 124 end | 124 end |
| 125 end | 125 end |
| 126 | 126 |
| 127 fun lookup (d : Source.decl) = | 127 fun lookup (d : Source.decl) = |
| 128 case #1 d of | 128 case #1 d of |
| 129 Source.DStr (x, _, SOME tm, _) => | 129 Source.DStr (x, _, SOME tm, _, _) => |
| 130 (case SM.find (!byName, x) of | 130 (case SM.find (!byName, x) of |
| 131 NONE => NONE | 131 NONE => NONE |
| 132 | SOME r => | 132 | SOME r => |
| 133 if tm = #When r then | 133 if tm = #When r then |
| 134 SOME (#Decl r) | 134 SOME (#Decl r) |