Ur/Web: tests/env.ur annotate

Reduce: add reduction in some spots previously missed, associated with 'case' return types

author	Adam Chlipala <adam@chlipala.net>
date	Wed, 25 Nov 2015 18:48:17 -0500
parents	3d922a28370b
children

rev	line source
adam@1799	1 fun handler r =
adam@1799	2 vo <- getenv (blessEnvVar r.Nam);
adam@1799	3 return <xml><body>
adam@1799	4 {case vo of
adam@1799	5 None => <xml>Not set</xml>
adam@1799	6 \| Some v => <xml>Set to: {[v]}</xml>}
adam@1799	7 </body></xml>
adam@1799	8
adam@1799	9 fun main () : transaction page =
adam@1799	10 term <- getenv (blessEnvVar "TERM");
adam@1799	11 return <xml><body>
adam@1799	12 TERM = {case term of
adam@1799	13 None => <xml>Nada</xml>
adam@1799	14 \| Some v => txt v}
adam@1799	15
adam@1799	16 <form>
adam@1799	17 What would you like to know?
adam@1799	18 <textbox{#Nam}/>
adam@1799	19 <submit action={handler}/>
adam@1799	20 </form>
adam@1799	21 </body></xml>

Mercurial > urweb