diff options
| author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-23 12:37:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-23 12:37:54 +0100 |
| commit | f7a9c5a5080e4eb61d2aa89cd0ca0fd300bd6c23 (patch) | |
| tree | b0c661e9759b8dc5e44a139a90f887b7061f7fd9 /html-test/ref/GADTRecords.html | |
| parent | 7f4bd04962bccf0aaf278722ebe787e61dabf194 (diff) | |
| parent | 5a6b3811fe50d0b257e4baa183c9f4ad8e701081 (diff) | |
Merge pull request #1349 from Kleidukos/fix-interface-guesstarget-call
Fix the call-site of guessTarget in Interface.hs
Diffstat (limited to 'html-test/ref/GADTRecords.html')
0 files changed, 0 insertions, 0 deletions