Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add DefaultSignatures #2

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Add DefaultSignatures #2

wants to merge 1 commit into from

Commits on Jun 20, 2017

  1. Add DefaultSignatures 

    It's actually possible to use `DefaultSignatures`, in a slightly
different way than you did. You need to use heterogeneous equality
(`(~~)`) rather than homogeneous (`(~)`), and (as will generally
be the case) you need to make the default signature the same as
the actual signature except for constraints. Unfortunately, GHC
8.0.2 panics with the code I've written; it compiles in a recent
8.2.
    @treeowl
    treeowl committed Jun 20, 2017
    Configuration menu
    Copy the full SHA
    68c0d93 View commit details
    Browse the repository at this point in the history