Merge pull request #71 from stefan-hoeck/empty_validated

[ refactor ] dont validate Empty nodes
stefan-hoeck · Apr 23, 2024 · 137386c · 137386c
2 parents fd0c4b3 + c0ee1a2
commit 137386c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/extra/src/Text/HTML/Validation.idr b/extra/src/Text/HTML/Validation.idr
@@ -36,7 +36,8 @@ parameters {0      i : Type}
   ||| displayed.
   export
   validated : i -> Node e -> Node e
-  validated u n =
+  validated _ Empty = Empty
+  validated u n     =
     cell env.widgetCls [] [n, cell env.msgCls [ref (env.msgID u)] []]
 
   ||| A validated text field.