search

HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming
https://harvardpl.github.io/formulog/
Apache License 2.0
155 stars 10 forks source link

Unhelpful error message when wrong number of type parameters #85

Closed aaronbembenek closed 2 months ago

aaronbembenek commented 2 months ago

I tried this program:

type foo = i32

rel bar(i32 foo)

and got the result:

Parsing...
Error while parsing line 3:
null

We should instead report something like "The type foo takes 0 parameter(s), but 1 supplied."