mcqc icon indicating copy to clipboard operation
mcqc copied to clipboard

Published 20 hours ago • verified publisher icon mit-pdos

Type inference, keep free type substitutions in context

Open elefthei opened this issue 5 years ago • 0 comments

Right now, substituting free types is not kept in context as a constraint and thus we cannot do constraint solving. Add CTFree constraints in the context and remove them according to scoping.

elefthei avatar Mar 04 '19 04:03 elefthei