From 25a45dbdbd17ecacbe1e51af940e978fbcc2132f Mon Sep 17 00:00:00 2001
From: Taddeus Kroes <taddeuskroes@gmail.com>
Date: Mon, 21 Jul 2014 19:46:40 +0200
Subject: [PATCH] More lowercasing
---
parser.mly | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/parser.mly b/parser.mly
index 6a7f1fc..7d60c6d 100644
--- a/parser.mly
+++ b/parser.mly
@@ -230,7 +230,7 @@ simple_selector:
{ String.concat "" addons }
%inline element_addon: a=HASH | a=cls | a=attrib | a=pseudo { a }
element_name:
- | tag=IDENT { tag }
+ | tag=IDENT { String.lowercase tag }
| STAR { "*" }
cls:
| DOT name=IDENT
@@ -238,13 +238,13 @@ cls:
attrib:
| LBRACK S* left=IDENT S* right=pair(RELATION, rel_value)? RBRACK
{ let right = match right with None -> "" | Some (op, term) -> op ^ term in
- "[" ^ left ^ right ^ "]" }
+ "[" ^ String.lowercase left ^ right ^ "]" }
%inline rel_value:
| S* id=IDENT S* { id }
| S* s=STRING S* { "\"" ^ s ^ "\"" }
pseudo:
| COLON id=IDENT
- { ":" ^ id }
+ { ":" ^ (String.lowercase id) }
| COLON f=FUNCTION args=wslist(COMMA, simple_selector) RPAREN
{ ":" ^ f ^ "(" ^ String.concat "," args ^ ")" }
--
GitLab