hylo icon indicating copy to clipboard operation
hylo copied to clipboard

Published 20 hours ago • verified publisher icon hylo-lang

Incorrect specificity comparison

Open kyouko-taiga opened this issue 1 year ago • 0 comments

This seems incorrect: https://github.com/hylo-lang/hylo/blob/91768bdc289bbc5e11f55c56489c0b47129b01f8/Sources/FrontEnd/TypeChecking/TypeChecker.swift#L5155

I suppose the intent was to say that a function <A, B>(A) -> B is less specific than a function <A, B>(T<A>) -> B, which isn't the case with that implementation.

kyouko-taiga avatar Nov 19 '23 16:11 kyouko-taiga