#INFER fails on Type

Question

fblanqui opened this issue 6 years ago · comments

It fails (with wrong position information) with the following message:

ERROR line:0 column:0 Kind is not typable.

Is it the expected behavior?

FranckS · Answer 1 · Fri Mar 08 2019 00:26:56 GMT+0800 (China Standard Time)

Hi,
I had a quick look at it here : #156