Mercurial > meta

comparison html.ur @ 17:1a915f89f23a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update for a change to Ur/Web tag encoding
author Adam Chlipala <adam@chlipala.net>
date Thu, 29 Dec 2011 10:10:50 -0500
parents 8eaaca74a64c
children 6cd839818393
comparison
equal deleted inserted replaced
16:959583692166 17:1a915f89f23a
13 (construct : ctx ::: {Unit} -> [[Body] ~ ctx] => Basis.tag (use ++ ignore) ([Body] ++ ctx) ([Body] ++ ctx) [] []) = 13 (construct : ctx ::: {Unit} -> [[Body] ~ ctx] => Basis.tag (use ++ ignore) ([Body] ++ ctx) ([Body] ++ ctx) [] []) =
14 {Nam = name, 14 {Nam = name,
15 Attributes = attrs, 15 Attributes = attrs,
16 Folder = fl, 16 Folder = fl,
17 Construct = fn [ctx] [[Body] ~ ctx] (ats : $use) (inner : xml ([Body] ++ ctx) [] []) => 17 Construct = fn [ctx] [[Body] ~ ctx] (ats : $use) (inner : xml ([Body] ++ ctx) [] []) =>
18 Basis.tag None ats construct inner} 18 Basis.tag None None ats construct inner}
19 19
20 fun simpleTag [ignore] name (bt : bodyTag ignore) : tag [] = 20 fun simpleTag [ignore] name (bt : bodyTag ignore) : tag [] =
21 @@tag [[]] [ignore] ! _ name {} (fn [ctx] [[Body] ~ ctx] => bt ()) 21 @@tag [[]] [ignore] ! _ name {} (fn [ctx] [[Body] ~ ctx] => bt ())
22 22
23 fun simpleTag' [use] [ignore] [use ~ ignore] (fl : folder use) 23 fun simpleTag' [use] [ignore] [use ~ ignore] (fl : folder use)