From c0ee1a235023abab88fdbea33c101bed49dbb55c Mon Sep 17 00:00:00 2001
From: stefan-hoeck <hock@zhaw.ch>
Date: Tue, 23 Apr 2024 14:00:36 +0000
Subject: [PATCH] [ refactor ] dont validate Empty nodes

---
 extra/src/Text/HTML/Validation.idr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/extra/src/Text/HTML/Validation.idr b/extra/src/Text/HTML/Validation.idr
index 353a72a..463a7c3 100644
--- 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.