From 71296da029e4ad2b4b39a762137f5432290934cd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 4 May 2014 12:33:44 -0400 Subject: Fix dynClass for non- contexts --- tests/dynClass.ur | 2 +- tests/dynList.ur | 22 ++++++++++++++++++++++ tests/dynList.urp | 4 ++++ tests/dynList.urs | 1 + 4 files changed, 28 insertions(+), 1 deletion(-) create mode 100644 tests/dynList.ur create mode 100644 tests/dynList.urp create mode 100644 tests/dynList.urs (limited to 'tests') diff --git a/tests/dynClass.ur b/tests/dynClass.ur index 37f931a2..7cb94d28 100644 --- a/tests/dynClass.ur +++ b/tests/dynClass.ur @@ -15,7 +15,7 @@ fun main () : transaction page = STYLE "width: 500px" else STYLE "width: 200px")} - onclick={b <- get toggle; set toggle (not b)}/> + onclick={fn _ => b <- get toggle; set toggle (not b)}/>