From 7f4bcf5f5168bdd7f6f7722016f18698d97867b7 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Wed, 19 Feb 2025 05:00:28 -0500
Subject: [PATCH] Disable smart constructor for now

---
 examples/src/HelloWorld.idr | 18 +++++++++---------
 src/SSG/HTML.idr            | 14 +++++++-------
 2 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/examples/src/HelloWorld.idr b/examples/src/HelloWorld.idr
index bd272ba..3dc71fa 100644
--- a/examples/src/HelloWorld.idr
+++ b/examples/src/HelloWorld.idr
@@ -5,15 +5,15 @@ import SSG.HTML
 import Structures.Dependent.DList
 
 helloWorld : Html "html"
-helloWorld =
-  tag "html" ["lang" =$ "en"] [
-    tag "head" [] [
-      tag "title" [] "Example"
-    ],
-    tag "body" [] [
-      tag "p" [] [Text "Hello World!"]
-    ]
-  ]
+-- helloWorld =
+--   tag "html" ["lang" =$ "en"] [] [
+--     tag "head" [] [
+--       tag "title" [] "Example"
+--     ],
+--     tag "body" [] [
+--       tag "p" [] [Text "Hello World!"]
+--     ]
+--   ]
 
 main : IO ()
 main = putStr $ render helloWorld
diff --git a/src/SSG/HTML.idr b/src/SSG/HTML.idr
index 91c07f3..4262e4e 100644
--- a/src/SSG/HTML.idr
+++ b/src/SSG/HTML.idr
@@ -123,10 +123,10 @@ namespace Html
   TagType' : (type : String) -> {auto prf : IsValidTag type} -> Type
   TagType' type {prf} = TagType prf
 
-  ||| Smart constructor for tags
-  public export
-  tag : (type : String) -> {auto prf : IsValidTag type} -> TagType prf
-  tag type {prf = (PVoid type)} = Void type
-  tag type {prf = (PRawText type)} = RawText type
-  tag type {prf = (PEscapableRawText type)} = RawText type
-  tag type {prf = (PNormal type)} = Normal type
+  -- ||| Smart constructor for tags
+  -- public export
+  -- tag : (type : String) -> {auto prf : IsValidTag type} -> TagType prf
+  -- tag type {prf = (PVoid type)} = Void type
+  -- tag type {prf = (PRawText type)} = RawText type
+  -- tag type {prf = (PEscapableRawText type)} = RawText type
+  -- tag type {prf = (PNormal type)} = Normal type