diff options
author | Benjamin Barenblat <bbarenblat@gmail.com> | 2022-01-19 13:48:47 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbarenblat@gmail.com> | 2022-01-19 13:48:47 -0500 |
commit | 1c08bb700083d67ce5fbf5c955963bfed8150e3a (patch) | |
tree | a918e4ff933076c4b2a9ce0a9d06589086029719 /build.bat | |
parent | d4f2b262a2afcc658c35694a089a983b9558b71a (diff) |
Convince GHC that a certain pattern match is exhaustive
Diffstat (limited to 'build.bat')
0 files changed, 0 insertions, 0 deletions