search

mattiasw2 / teyjus

Automatically exported from code.google.com/p/teyjus
GNU General Public License v3.0
0 stars 0 forks source link

Incorrect error message #73

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The following query

[toplevel] ?- X.

leads to the following error message: 

Error: expecting query term of type: o
    encountered term: X
    of type: 'A

A better error message would be (as it was the case in Teyjus 1):
Error: solve: Ill-formed goal: uninstantiated variable as head.

Original issue reported on code.google.com by fafounet@gmail.com on 2 Jul 2013 at 3:58

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision r1115.

Original comment by fafounet@gmail.com on 24 Jul 2013 at 12:04