Issue 84 in teyjus: bad choice of bound var names in error message

[tey...@googlecode.com]

Status: Accepted
Owner: dale.a.m...@gmail.com

New issue 84 by dale.a.m...@gmail.com: bad choice of bound var names in
error message
http://code.google.com/p/teyjus/issues/detail?id=84

dale@dale-desktop:~$ uname -a
Linux dale-desktop 3.2.0-56-generic-pae #86-Ubuntu SMP Wed Oct 23 17:51:27
UTC 2013 i686 i686 i386 GNU/Linux
dale@dale-desktop:~$ tjsim
Welcome to Teyjus
Copyright (C) 2008 A. Gacek, S. Holte, G. Nadathur, X. Qi, Z. Snow
Teyjus comes with ABSOLUTELY NO WARRANTY
This is free software, and you are welcome to redistribute it
under certain conditions. Please view the accompanying file
COPYING for more information
[toplevel] ?- (f\x\ f (f x)) (f\x\ f (f x)).
Error: expecting query term of type: o
encountered term: x\ x\ x (x (x (x x)))
of type: ('A -> 'A) -> 'A -> 'A

[toplevel] ?- (f\x\ f (f x)) (f\w\ f (f w)).
Error: expecting query term of type: o
encountered term: x\ w\ x (x (x (x w)))
of type: ('A -> 'A) -> 'A -> 'A

[toplevel] ?-


It is correct that there are typing errors here. The bug is that the
first "encountered term" seems to have two different bound variables
but they are given the same name "x". The second variant seems right.


--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings

[tey...@googlecode.com]

Updates:
Status: Fixed

Comment #1 on issue 84 by fafo...@gmail.com: bad choice of bound var names

in error message
http://code.google.com/p/teyjus/issues/detail?id=84

This issue was closed by revision r1130.