diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-12-20 16:16:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-20 16:16:30 -0500 |
| commit | 39251d3aa339958aafd8b955f41323a8b0b60012 (patch) | |
| tree | 44164a4f914ca2276e7f6c3b5c8747a3d49c2237 /html-test/ref/mini_BugDeprecated.html | |
| parent | a36ab92b289b4d6b707696eef49145bc7ced4957 (diff) | |
Load plugins when compiling each module (#983)
* WIP: Load (typechecker) plugins from language pragmas
* Revert "Load plugins when starting a GHC session (#905)"
This reverts commit 72d82e52f2a6225686d9668790ac33c1d1743193.
* Simplify plugin initialization code
Diffstat (limited to 'html-test/ref/mini_BugDeprecated.html')
0 files changed, 0 insertions, 0 deletions