Skip to content

Instantly share code, notes, and snippets.

@strager
Created June 14, 2013 06:23
Show Gist options
  • Save strager/5779854 to your computer and use it in GitHub Desktop.
Save strager/5779854 to your computer and use it in GitHub Desktop.
$ cabal-dev build
Building b-0.1.0.0...
Preprocessing library b-0.1.0.0...
[14 of 14] Compiling Data.DynSetMR ( Data/DynSetMR.hs, dist/build/Data/DynSetMR.o )
Data/DynSetMR.hs:79:23:
My brain just exploded
I can't handle pattern bindings for existential or GADT data constructors.
Instead, use a case-expression, or do-notation, to unpack the constructor.
In the pattern: Dictionary
In the pattern: DictValue Dictionary x'
In a pattern binding: DictValue Dictionary x' = unsafeCoerce x
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment