Mercurial > urweb
comparison src/mono_env.sml @ 1294:b4480a56cab7
Server-side 'onError'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 07 Sep 2010 08:28:07 -0400 |
parents | c316ca3c9ec6 |
children | d328983dc5a6 |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
129 | DJavaScript _ => env | 129 | DJavaScript _ => env |
130 | DCookie _ => env | 130 | DCookie _ => env |
131 | DStyle _ => env | 131 | DStyle _ => env |
132 | DTask _ => env | 132 | DTask _ => env |
133 | DPolicy _ => env | 133 | DPolicy _ => env |
134 | DOnError _ => env | |
134 | 135 |
135 fun patBinds env (p, loc) = | 136 fun patBinds env (p, loc) = |
136 case p of | 137 case p of |
137 PWild => env | 138 PWild => env |
138 | PVar (x, t) => pushERel env x t NONE | 139 | PVar (x, t) => pushERel env x t NONE |