kframework/k — pull request #696 by radumereuta (2014-07-03 20:22:31+00:00)
Title: Fix var type inference2

Taking a second approach where I'm trying to infer the most general sort that fits in a particular context.

Let's see if tests pass first.