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 =>