view tests/tsource.ur @ 1639:6c00d8af6239

Add a new scoping check for unification variables, to fix a type inference bug
author Adam Chlipala <adam@chlipala.net>
date Sun, 18 Dec 2011 11:29:13 -0500
parents 607657eb2865
children
line wrap: on
line source
fun doSubmit r =
  return <xml>Done {[readError r.Amount1 * readError r.Amount2 * 2.0]}</xml>

fun main () =
  amount1S <- source "1";
  amount2S <- source "1";
  return <xml>  <body>
   <form>
      <table>
        <tr><td>Amount1:</td><td><textbox{#Amount1}
source={amount1S}/></td></tr>
        <tr><td>Amount2:</td><td><textbox{#Amount2}
source={amount2S}/></td></tr>
        <tr><td>Total:</td><td><dyn signal={showTotal amount1S
amount2S}/></td></tr>
      </table>
      <submit value="Buy" action={doSubmit}/>
    </form>
  </body>
</xml>

and showTotal amount1S amount2S =
  a1 <- signal amount1S;
  a2 <- signal amount2S;
  return (case ((read a1), (read a2)) of
           (None, _) => <xml></xml>
         | (_, None) => <xml></xml>
         | (Some a, Some b) => <xml>{[a * b * 2.0]}</xml>)