import .gitignore from branch master
Started writing a little bit of code for inference.
infer_instance (first draft)
Better like this?
Constraint simplifier.
Compilation errors.
Breakthrough: I decided to stop worrying and embrace my inability to understand the code.
Correct some compilation bugs.
It compiles! (But probably doesn't work)
Simplify type scheme internalization in infer_class.
Student! This is your job!
Absence of understanding is not an impediment to making things work! Inference has started producing results!!!
Merge remote-tracking branch 'refs/remotes/upstream/master' into inference
Somehow managed to correct type reconstruction for instance declarations; black magic, I tell you!
Somewhat better...
Remove debug info printing.
Better error messages.
Purge all traces of row subtyping from the code.
Change .gitignore.
Merge upstream.