diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-09-21 08:33:09 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-09-21 08:33:09 -0400 |
| commit | c388a91762e9dd9aef2eb097963af020c0e452f8 (patch) | |
| tree | 31c096dad9cdf4b94ccf07a8d720c81721ba94f3 /src/core.sml | |
| parent | abf8a0434cb1c1ab22a50182ffdc6cf0c4645523 (diff) | |
Desugaring of SQL constraints uses wildcards, so allow that even in signatures
Diffstat (limited to 'src/core.sml')
0 files changed, 0 insertions, 0 deletions