Mercurial > urweb
comparison src/core_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 |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
348 in | 348 in |
349 pushENamed env x n t NONE s | 349 pushENamed env x n t NONE s |
350 end | 350 end |
351 | DTask _ => env | 351 | DTask _ => env |
352 | DPolicy _ => env | 352 | DPolicy _ => env |
353 | DOnError _ => env | |
353 | 354 |
354 fun patBinds env (p, loc) = | 355 fun patBinds env (p, loc) = |
355 case p of | 356 case p of |
356 PWild => env | 357 PWild => env |
357 | PVar (x, t) => pushERel env x t | 358 | PVar (x, t) => pushERel env x t |