diff options
author | Nadrieril | 2020-11-05 22:20:21 +0000 |
---|---|---|
committer | GitHub | 2020-11-05 22:20:21 +0000 |
commit | 5ec5176f2953c19e9741da936fd873603099c258 (patch) | |
tree | b5f34196ccf5100ffc7b3b8dcdc42239b05ac097 /dhall/tests/type-inference/success/unit/WithInfersKindA.dhall | |
parent | 8325de2db085bb0b3599bc453b658a1dacfe79ae (diff) | |
parent | 192b53ab510570eada4e4527f5ef3f629b0fa649 (diff) |
Merge pull request #197 from Nadrieril/cleanup-test-exclusion
Centralize test exclusion into a single function
Diffstat (limited to 'dhall/tests/type-inference/success/unit/WithInfersKindA.dhall')
0 files changed, 0 insertions, 0 deletions