Mercurial > urweb
comparison src/urweb.grm @ 361:260b680a6a04
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 |