Mercurial > meta

comparison html.ur @ 25:9f56676e7c4e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Track addition of 'style' and 'dynStyle'
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 15:16:27 -0400
parents 693ab4dd1e9e
children
comparison
equal deleted inserted replaced
24:693ab4dd1e9e 25:9f56676e7c4e
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 null None ats construct inner} 18 Basis.tag null None noStyle 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)