From c910d337667b9e721da43f26c957c4580607229f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 10 Mar 2012 12:53:33 -0500 Subject: Change to yield [option string] --- tests/radio.ur | 26 ++++++++++++++------------ 1 file changed, 14 insertions(+), 12 deletions(-) (limited to 'tests/radio.ur') diff --git a/tests/radio.ur b/tests/radio.ur index e40872f8..e44eb0b7 100644 --- a/tests/radio.ur +++ b/tests/radio.ur @@ -1,13 +1,15 @@ -val handler = fn x => - You entered: {cdata x.A} - +fun handler x = return + You entered: {[case x.A of + None => "nothing at all" + | Some v => v]} + -val main = fn () => - - -
  • A
    • -
  • B
    • -     - - - +fun main () = return +
    + +
  • A
    • +
  • B
    • + + + +
     -- cgit v1.2.3