Skip to content

Tactics plugin doesn't correctly get the theta type when defining class methods #1346

Closed
@isovector

Description

@isovector

When digging into #561, I noticed that in the program

data Fix f a = Fix (f (Fix f a))

instance Functor f => Functor (Fix f) where
  fmap f (Fix x) = _

the Functor f given isn't available inside of the hole. I guess the thetatype stuff only works for top-level defs.

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: wingmantype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions