Giters

CakeML / pure

A verified compiler for a lazy functional language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Error reporting

hrutvik opened this issue · comments

commented

Currently everything is a "parse error". We should plumb through at least basic error reporting.