STR-407: Term (de)construction with Cons acts inconsistently
Consider the code:
signature
constructors
A: B * B -> A
B: Bfoo = !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
Issue Log
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