Make :date and :time composition implementation-defined

Author: eemeli

spec/registry.md

@@ -742,9 +742,9 @@ as is any `style` option.
 
 When an _operand_ or an _option_ value uses a _variable_ annotated,
 directly or indirectly, by a `:date` _annotation_,
-its _resolved value_ contains the implementation-defined date/time value
-of the _operand_ of the annotated _expression_ (with no time value),
-together with the resolved options values.
+its _resolved value_ is implementation-defined.
+An implementation MAY emit a _Bad Operand_ or _Bad Option_ error (as appropriate)
+when this happens.
 
 ### The `:time` function
 
@@ -778,12 +778,9 @@ as is any `style` option.
 
 When an _operand_ or an _option_ value uses a _variable_ annotated,
 directly or indirectly, by a `:time` _annotation_,
-its _resolved value_ contains the implementation-defined date/time value
-of the _operand_ of the annotated _expression_ (with no date value),
-together with the resolved options values.
-
-Using a `:time` annotated value as the _operand_ of `:datetime` or `:date`
-produces a _Bad Operand_ error as it contains no date value.
+its _resolved value_ is implementation-defined.
+An implementation MAY emit a _Bad Operand_ or _Bad Option_ error (as appropriate)
+when this happens.
 
 ### Date and Time Operands
 

test/tests/functions/date.json

@@ -35,10 +35,10 @@
       "src": "{|2006-01-02| :date style=long}"
     },
     {
-      "src": ".local $d = {|2006-01-02| :date style=long} {{{$d :date}}}"
+      "src": ".local $d = {|2006-01-02| :date style=long} {{{$d}}}"
     },
     {
-      "src": ".local $t = {|2006-01-02T15:04:06| :time} {{{$t :date}}}"
+      "src": ".local $d = {|2006-01-02| :datetime dateStyle=long timeStyle=long} {{{$d :date}}}"
     }
   ]
 }

test/tests/functions/time.json

@@ -32,10 +32,10 @@
       "src": "{|2006-01-02T15:04:06| :time style=medium}"
     },
     {
-      "src": ".local $t = {|2006-01-02T15:04:06| :time style=medium} {{{$t :time}}}"
+      "src": ".local $t = {|2006-01-02T15:04:06| :time style=medium} {{{$t}}}"
     },
     {
-      "src": ".local $d = {|2006-01-02T15:04:06| :date} {{{$d :time}}}"
+      "src": ".local $t = {|2006-01-02T15:04:06| :datetime dateStyle=long timeStyle=long} {{{$t :time}}}"
     }
   ]
 }