search

hhu-stups / pyB

pyB
6 stars 0 forks source link

Add missing unifications to type checker #1

Open JonnyWalker opened 10 years ago

JonnyWalker commented 10 years ago

Some nodes inside the typeit method missing a unification call. Write test cases and add the missing unifications.

JonnyWalker commented 10 years ago

Also refactor exception raising (more concrete exceptions and better error messages)