comparison src/reduce_local.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents 4a125bbc602d
children 9864b64b1700
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
150 | DExport _ => d 150 | DExport _ => d
151 | DTable _ => d 151 | DTable _ => d
152 | DSequence _ => d 152 | DSequence _ => d
153 | DDatabase _ => d 153 | DDatabase _ => d
154 | DCookie _ => d 154 | DCookie _ => d
155 | DStyle _ => d
155 in 156 in
156 map doDecl file 157 map doDecl file
157 end 158 end
158 159
159 val reduceExp = exp [] 160 val reduceExp = exp []