comparison src/mono_env.sml @ 725:4c5796512edc

Catching duplicate cookie and style paths
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 12:07:21 -0400
parents f152f215a02c
children 8688e01ae469
comparison
equal deleted inserted replaced
724:12ec14a6be0b 725:4c5796512edc
109 | DExport _ => env 109 | DExport _ => env
110 | DTable _ => env 110 | DTable _ => env
111 | DSequence _ => env 111 | DSequence _ => env
112 | DDatabase _ => env 112 | DDatabase _ => env
113 | DJavaScript _ => env 113 | DJavaScript _ => env
114 | DCookie _ => env
114 | DStyle _ => env 115 | DStyle _ => env
115 116
116 fun patBinds env (p, loc) = 117 fun patBinds env (p, loc) =
117 case p of 118 case p of
118 PWild => env 119 PWild => env