InvalidDateTimeComparison

rascal-0.40.17

Synopsis

Attempt to compare a date with a time.

Description

datetime values may contain two components: date and time. Datetime values that contain both a date and a time can be compared. Dates can also be compared with dates, and times with times. This error is generated when a date is compared with a time.

Examples

Comparing dates with dates:

rascal>$2013-07-15$ < $2014-07-15$
bool: true

Or with datetimes:

rascal>$2013-01-11T23:03:56.901+01:00$ < $2013-01-11T23:05:00.901+01:00$
bool: true

But mixing dates and times gives errors:

rascal>$2013-07-15$ < $T20:03:56.901+01:00$
|prompt:///|(15,21,<1,15>,<1,36>): Invalid datetime input: Error reading time, expected ':', found: 48
Advice: |https://www.rascal-mpl.org/docs/Rascal/Errors/CompileTimeErrors/DateTimeSyntax|
ok