aboutsummaryrefslogtreecommitdiff
path: root/src/Error/Base.hs
Commit message (Collapse)AuthorAgeFilesLines
* add initial support for variable definitionAkshay2020-10-161-10/+14
|
* improve arity error messagesAkshay2020-10-151-2/+5
| | | | | - now includes function name with expected arity - closes #4 on github.com/dscrv/lisk
* add PBTs for arithmetic operatorsAkshay2020-10-141-3/+0
| | | | | - commutativity of addition - commutativity of multiplication
* refactor Error into submodulesAkshay2020-10-131-0/+37