Consider the code:

signature
constructors
A: B * B -> A
B: B

foo = !A(B,B) ; ?x#(y) ; !“A”#(y) ; ?A(B,B)

bar = !Cons(0, Nil) ; ?x#(y) ; !“Cons”#(y) ; ?Cons(0,Nil)

foo will succeed, bar will not. It feels a bit arbitrary that Cons terms are not constructable with string constructor names but all other constructors are.

Submitted on 3 September 2005 at 01:09

On 3 September 2005 at 01:11 Jira commented:

STR-407, karltk:
Should have logged in first, I guess.


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