From 81a4a8171274586428288bd7e75ea6721ca56e27 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 10 Jul 2008 15:04:32 -0400
Subject: Initial HTML attributes support

---
 lib/basis.lig | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

(limited to 'lib/basis.lig')

diff --git a/lib/basis.lig b/lib/basis.lig
index 49549f5e..cd106950 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -3,13 +3,15 @@ type float
 type string
 
 
-con tag :: {Unit} -> {Unit} -> Type
+con tag :: {Type} -> {Unit} -> {Unit} -> Type
 
 
 con xml :: {Unit} -> Type
 val cdata : ctx ::: {Unit} -> string -> xml ctx
-val tag : outer ::: {Unit} -> inner ::: {Unit}
-        -> tag outer inner
+val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} -> attrsGiven ~ attrsAbsent
+        -> outer ::: {Unit} -> inner ::: {Unit}
+        -> $attrsGiven
+        -> tag (attrsGiven ++ attrsAbsent) outer inner
         -> xml inner
         -> xml outer
 val join : shared :: {Unit}
@@ -18,10 +20,11 @@ val join : shared :: {Unit}
         -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
 
 
-val head : tag [Html] [Head]
-val title : tag [Head] []
+val head : tag [] [Html] [Head]
+val title : tag [] [Head] []
 
-val body : tag [Html] [Body]
-val p : tag [Body] [Body]
-val b : tag [Body] [Body]
-val i : tag [Body] [Body]
+val body : tag [] [Html] [Body]
+val p : tag [] [Body] [Body]
+val b : tag [] [Body] [Body]
+val i : tag [] [Body] [Body]
+val font : tag [Size = int, Face = string] [Body] [Body]
-- 
cgit v1.2.3