Mercurial > urweb
comparison src/tag.sml @ 482:9117a7bf229c
Especialize working reasonably well; need to add new closure representation pass
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 09 Nov 2008 11:53:52 -0500 |
parents | fdd7a698be01 |
children | 4a241d108a2c |
comparison
equal
deleted
inserted
replaced
481:2280193bf298 | 482:9117a7bf229c |
---|---|
78 (n, es @ [e2]) | 78 (n, es @ [e2]) |
79 end | 79 end |
80 | _ => (ErrorMsg.errorAt loc "Invalid link expression"; | 80 | _ => (ErrorMsg.errorAt loc "Invalid link expression"; |
81 (0, [])) | 81 (0, [])) |
82 | 82 |
83 | |
84 | |
85 val (f, args) = unravel e | 83 val (f, args) = unravel e |
86 | 84 |
87 val (cn, count, tags, newTags) = | 85 val (cn, count, tags, newTags) = |
88 case IM.find (tags, f) of | 86 case IM.find (tags, f) of |
89 NONE => | 87 NONE => |