Instant unification error on arguments count mismatch #716

Merged

zxq9 merged 3 commits from github/fork/radrow/no-arg-pp-fix into lima

2020-02-21 18:28:56 +09:00

Author	SHA1	Message	Date
Radosław Rowicki	e3055ef168	Add newline	2020-02-20 15:51:49 +01:00
radrow	f2af3f96f7	add testcase	2020-02-20 15:50:55 +01:00
radrow	1085f7bd86	Instant unification error on arguments count mismatch	2020-02-13 12:08:05 +01:00