Mercurial > meta

comparison html.ur @ 24:693ab4dd1e9e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Track change to handling of 'class' by Basis.tag
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 13:09:43 -0400
parents 6cd839818393
children 9f56676e7c4e
comparison
equal deleted inserted replaced
23:9d6b931fbd13 24:693ab4dd1e9e
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 None ats construct inner} 18 Basis.tag null 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)