unexpected behaviour with updateInformation on (? Time) and (? Date) and (? DateTime)
I'm encountering unexpected behaviour with updateInformation
in combination with ?Time
, ?Date
, and ?DateTime
values.
First, updateInformation
on ?Int
behaves as follows (testing (updateInformation [] ?None)
):
- starts with a blank editor, confirming gives value
?None
- if you fill in a value v and continue, you obtain value
(?Just v)
- if you fill in a value and make the editor blank again, confirming gives value
?None
Repeating this on ?Time
(or ?Date
or ?DateTime
) does not allow you to continue with a blank content, so steps 1 and 3 above are impossible.
I expected some sort of check box that if marked lets you proceed to edit a value v
in order to have a (?Just v)
, and when unchecked have ?None
. I tested this with a record type:
:: H = {h::Int}
derive class iTask H
and that is the case. Also for algebraic types:
:: G = M | F
derive class iTask G
it works via going back to Select...
in the created drop-down list.