diff options
author | Nadrieril | 2020-01-17 10:06:22 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-17 10:06:22 +0000 |
commit | 763a810358f15a8bac6973ac4b273f517729cc84 (patch) | |
tree | eba1e4b6f7f6d6eb19fdca4df75a6e021d4e154f /dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt | |
parent | a030560e60c4ff1c724216f4a5640722eb89b227 (diff) |
Oops, this endeavour is doomed
Diffstat (limited to 'dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt')
0 files changed, 0 insertions, 0 deletions