Mercurial > urweb

comparison src/urweb.grm @ 361:260b680a6a04

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lform -> form
author Adam Chlipala <adamc@hcoop.net>
date Tue, 14 Oct 2008 16:41:48 -0400
parents c1e96b387115
children acaf9d19fbb7
comparison
equal deleted inserted replaced
360:c1e96b387115 361:260b680a6a04
953 | tag GT xml END_TAG (let 953 | tag GT xml END_TAG (let
954 val pos = s (tagleft, GTright) 954 val pos = s (tagleft, GTright)
955 val et = tagIn END_TAG 955 val et = tagIn END_TAG
956 in 956 in
957 if #1 tag = et then 957 if #1 tag = et then
958 if et = "lform" then 958 if et = "form" then
959 (EApp ((EVar (["Basis"], "lform"), pos), 959 (EApp ((EVar (["Basis"], "form"), pos),
960 xml), pos) 960 xml), pos)
961 else 961 else
962 (EApp (#2 tag, xml), pos) 962 (EApp (#2 tag, xml), pos)
963 else 963 else
964 (if ErrorMsg.anyErrors () then 964 (if ErrorMsg.anyErrors () then