diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-02 19:16:08 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-03 08:57:04 +0000 |
| commit | 51bebb7c324d2572d5a299f950c09dc4d21cd271 (patch) | |
| tree | 05ca62cf817a4092078d4e772ac8060ef5c1a953 /compiler/utils | |
| parent | 0fe399c965138ef9e25a1f20392c40d09885ae7c (diff) | |
| download | haskell-51bebb7c324d2572d5a299f950c09dc4d21cd271.tar.gz | |
Refactor: Origin of inferred Thetas
When doing non-standalone deriving, annotate each individual
unsimplified constraint with its own CtOrigin. This is just the
refactoring, so the CtOrigin is still CtDeriv in each case.
Diffstat (limited to 'compiler/utils')
0 files changed, 0 insertions, 0 deletions