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

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