Skip to content

instantiation (?) fails #99

New issue
New issue
Open
Open
instantiation (?) fails#99
Labels
bug
@abau

Description

@abau
abau
opened on May 21, 2014

Compilation fails at

forall = flip all

but works for

forall xs f = all f xs

Metadata

Metadata

Assignees

No one assigned

    Labels

    bug

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions