diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-07-20 03:02:16 -0700 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 13:39:29 +0200 |
| commit | 8ac6ac1097f2ec2bc9a7f9bdd765abf71164bfcb (patch) | |
| tree | f8911653de7ac3b57bdb02ee8c8640b31b3c95aa /html-test/ref/mini_GADTRecords.html | |
| parent | 0b50627a7ae8bfbcfe771eac71cc1975903d118e (diff) | |
Fix broken instance source links (#869)
The problem manifests itself in instances that are defined in
modules other than the module where the class is defined. The fix
is just to thread through the 'Module' of the instance further
along.
Since orphan instances appear to already have been working, I didn't
do anything there.
(cherry picked from commit 2de7c2acf9b1ec85b09027a8bb58bf8512e91c05)
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions