Merge pull request #14 from ehuss/time-case

Fix time case sensitivity.
jasonwilliams · Aug 28, 2019 · f18fdc8 · f18fdc8
2 parents 4e74b2b + 69c47bb
commit f18fdc8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/TOML.sublime-syntax b/TOML.sublime-syntax
@@ -53,17 +53,17 @@ variables:
   # time-numoffset = ( "+" / "-" ) time-hour ":" time-minute
   time_numoffset: '[+-] {{time_hour}} : {{time_minute}}'
   # time-offset    = "Z" / time-numoffset
-  time_offset: '(?: Z | {{time_numoffset}} )'
+  time_offset: '(?: [zZ] | {{time_numoffset}} )'
   # partial-time   = time-hour ":" time-minute ":" time-second [time-secfrac]
   partial_time: '{{time_hour}} : {{time_minute}} : {{time_second}} (?: {{time_secfrac}} )?'
   # full-date      = date-fullyear "-" date-month "-" date-mday
   full_date: '{{date_fullyear}} - {{date_month}} - {{date_mday}}'
   # full-time      = partial-time time-offset
   full_time: '{{partial_time}} {{time_offset}}'
   # offset-date-time = full-date T|%20 full-time
-  offset_date_time: '{{full_date}} [T ] {{full_time}}'
+  offset_date_time: '{{full_date}} [tT ] {{full_time}}'
   # local-date-time = full-date T|%20 partial-time
-  local_date_time: '{{full_date}} [T ] {{partial_time}}'
+  local_date_time: '{{full_date}} [tT ] {{partial_time}}'
   # local-date = full-date
   local_date: '{{full_date}}'
   # local-time = partial-time

diff --git a/syntax_test_toml.toml b/syntax_test_toml.toml
@@ -521,6 +521,8 @@ ldt1s = 1979-05-27 07:32:00
 #       ^^^^^^^^^^^^^^^^^^^ constant.other.datetime
 ldt2s = 1979-05-27 00:32:00.999999
 #       ^^^^^^^^^^^^^^^^^^^^^^^^^^ constant.other.datetime
+lowercase = 1997-09-09t09:09:09z
+#           ^^^^^^^^^^^^^^^^^^^^ constant.other.datetime
 
 #-----------------------------------------------------------------------------
 # Invalid Date-Time