diff options
| author | gingerBill <bill@gingerbill.org> | 2019-09-08 19:03:57 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2019-09-08 19:03:57 +0100 |
| commit | 42bbd31df143d49340f289326f949ad524a3a70e (patch) | |
| tree | 2c2f8d2f36fa965377036f69c4314f71c18cd729 /src/check_decl.cpp | |
| parent | c7cc38b7d8894578e7158e8e092531c7ec71f815 (diff) | |
Disallow `where` clauses on non-polymorphic records
Diffstat (limited to 'src/check_decl.cpp')
0 files changed, 0 insertions, 0 deletions