hazel icon indicating copy to clipboard operation
hazel copied to clipboard

Published 20 hours ago • verified publisher icon hazelgrove

Begin testing statics using anntoations to represent inferred types

Open 7h3kk1d opened this issue 5 months ago • 0 comments

Trying out the https://github.com/hazelgrove/hazel/pull/1371 branch to see how amenable it is to testing. Ideally I'd change the implementation of statics to be less reliant on maps but for now it just does the existing statics and replaces the ids as annotations with the inferred types. Implementation is very incomplete.

Example test failure: Screenshot of alcotest test output that shows a literal integer incorrectly being inferred as a boolean

7h3kk1d avatar Aug 28 '24 14:08 7h3kk1d