Skip to content

Instantly share code, notes, and snippets.

@dasch

dasch/gist:05a98903d0e89a5c8a82

Created November 25, 2015 13:20
Show Gist options
  • Save dasch/05a98903d0e89a5c8a82 to your computer and use it in GitHub Desktop.
Save dasch/05a98903d0e89a5c8a82 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
The type annotation for `leftJoin` does not match its definition.
10│ leftJoin : Stream comparable v1 -> Stream comparable v2 -> Stream comparable (v1, Maybe v2)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The type annotation is saying:
Signal ( comparable, a )
-> Signal ( comparable, b )
-> Signal ( comparable, ( a, Maybe b ) )
But I am inferring that the definition has this type:
Signal ( comparable, a )
-> Signal ( comparable, a )
-> Signal ( comparable, ( a, Maybe b ) )
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment