search

acharal / hopes

Higher Order Prolog with Extensional Semantics
GNU General Public License v2.0
51 stars 5 forks source link

Fix the Happy warnings. #5

Closed ghost closed 4 years ago

ghost commented 4 years ago

Add back the dependency on happy. Stack is not automatically detecting the need for happy. Adjust the frontend/Parser.y to avoid warnings.