effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism

Home Page:https://effekt-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

False error from linter when using Generics

IR0NSIGHT opened this issue · comments

wierd linting error about generics, there is not real compiler error. File compiles and runs just fine
first appeared after rebasing on latest master, but can not guarantee that it wasnt there before.

grafik

See this commit:
commit adab236 (HEAD -> feature/init-array-default-values, origin/feature/init-array-default-values)
Author: IR0NSIGHT irnsght@googlemail.com
Date: Wed Nov 8 11:43:30 2023 +0100

format fix

And this file:
examples/pos/arrays.effekt

Thanks for your report. Can you please provide the minimized example as code in the issue (using code fences "```")?

Also, it is not a linter, but an error reported by our type checker

issue is resolved, i had a messed up master branch which i rebased my featurebranch on.
I cant tell exactly why it would run correctly and still show as faulty, but the error instance itself is now resolved when using the correct master.