STR-291: get-arguments and annotations
This may or may not be a problem. But,
If you do (Int(0){“A”}) …you will get [0]
yet do ([0]{“A”}) …you will get [0]{“A”}
This seems to be a little inconsistent ;-).
Submitted on 2 May 2005 at 21:09
Issue Log
On 25 August 2005 at 10:21 Jira commented:
STR-291, visser:
This is not inconsistent. In the current design a list is a constructor with a variable number of subterms. For example, all(s) applies s to all elements of a list.When we turn this back and see Cons again as a constructor with two subterms this should be changed as well.
On 9 January 2013 at 16:58 Eelco Visser removed tag 0.18M5
On 9 January 2013 at 16:58 Eelco Visser tagged 0.19M1
On 9 January 2013 at 17:03 Eelco Visser removed tag 0.19M1
On 9 January 2013 at 17:03 Eelco Visser tagged interesting
Log in to post comments