Synopsis Attempt to compare a date with a time.
Description Rascal: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
                   ^ Parse error here
Or times with times:
rascal>$T20:03:56.901+01:00 < $T22:00:56.901+01:00
                            ^ Parse error here
Or datetimes with datetimes:
rascal>$2013-01-11T23:03:56.901+01:00 < $2013-01-11T23:05:00.901+01:00
                                      ^ Parse error here
But mixing dates and times gives errors:
rascal>$2013-07-15 < $T20:03:56.901+01:00
                   ^ Parse error here
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit