File tree Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Original file line number Diff line number Diff line change @@ -220,6 +220,23 @@ index 164c393..6cf4835 100644
220220 needle, Long_val (v_needle_len));
221221
222222 return ptr_to_offset(haystack, v_haystack_pos, result);
223+ | }
224+ )
225+ ; ( " ppx_css"
226+ , {|
227+ diff -- git a/ vendor/ css_parser/ src/ lexer.ml b/ vendor/ css_parser/ src/ lexer.ml
228+ index 4834742. .36495 bd 100644
229+ --- a/ vendor/ css_parser/ src/ lexer.ml
230+ +++ b/ vendor/ css_parser/ src/ lexer.ml
231+ @@ - 94 ,7 + 94 ,7 @@ let white_space = [% sedlex.regexp? " " | '\t' | newline]
232+ let ws = [% sedlex.regexp? Star white_space]
233+ let hex_digit = [% sedlex.regexp? '0' .. '9' | 'a' .. 'f' | 'A' .. 'F' ]
234+ let digit = [% sedlex.regexp? '0' .. '9' ]
235+ - let non_ascii = [% sedlex.regexp? '\160' .. '\255' ]
236+ + let non_ascii = [% sedlex.regexp? Latin1 '\160' .. '\255' ]
237+ let up_to_6_hex_digits = [% sedlex.regexp? Rep (hex_digit, 1 .. 6 )]
238+ let unicode = [% sedlex.regexp? '\\' , up_to_6_hex_digits, Opt white_space]
239+
223240| }
224241 )
225242 ]
You can’t perform that action at this time.
0 commit comments