summaryrefslogtreecommitdiff
path: root/testsuite/tests/printer/Ppr028.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/printer/Ppr028.hs')
-rw-r--r--testsuite/tests/printer/Ppr028.hs12
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/printer/Ppr028.hs b/testsuite/tests/printer/Ppr028.hs
new file mode 100644
index 0000000000..8c9e7ddf09
--- /dev/null
+++ b/testsuite/tests/printer/Ppr028.hs
@@ -0,0 +1,12 @@
+{-#LANGUAGE Arrows, RankNTypes, ScopedTypeVariables, FlexibleContexts,
+ TypeSynonymInstances, NoMonomorphismRestriction, FlexibleInstances #-}
+
+valForm initVal vtor label = withInput $
+ proc ((),nm,fi) -> do
+ s_curr <- keepState initVal -< fi
+ valid <- vtor -< s_curr
+ case valid of
+ Left err -> returnA -< (textField label (Just err) s_curr nm,
+ Nothing)
+ Right x -> returnA -< (textField label Nothing s_curr nm,
+ Just x)