Mercurial > urweb
comparison src/expl_env.sml @ 1294:b4480a56cab7
Server-side 'onError'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 07 Sep 2010 08:28:07 -0400 |
parents | cd8d2c73ccf4 |
children | 403f0cc65b9c |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
343 in | 343 in |
344 pushENamed env x n t | 344 pushENamed env x n t |
345 end | 345 end |
346 | DTask _ => env | 346 | DTask _ => env |
347 | DPolicy _ => env | 347 | DPolicy _ => env |
348 | DOnError _ => env | |
348 | 349 |
349 fun sgiBinds env (sgi, loc) = | 350 fun sgiBinds env (sgi, loc) = |
350 case sgi of | 351 case sgi of |
351 SgiConAbs (x, n, k) => pushCNamed env x n k NONE | 352 SgiConAbs (x, n, k) => pushCNamed env x n k NONE |
352 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) | 353 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) |