Skip to content

Tactics incorrectly synthesizes identity #1447

Closed
@isovector

Description

@isovector
data Synthesized b a = Synthesized
  { syn_trace :: b
  , syn_val   :: a
  }
  deriving (Eq, Show, Functor, Foldable, Traversable)
  

mapTrace :: (b -> b) -> Synthesized b a -> Synthesized b a
mapTrace = _

Not sure what's going on here; haven't dug in. The real example uses Trace instead of b.

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