diff options
| author | Florian Diebold <[email protected]> | 2019-09-07 15:30:37 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-09-07 15:30:37 +0100 |
| commit | 9db34eec209c740ed919afb288f75daa755cd268 (patch) | |
| tree | 2e1cdeebf32b8493c8447316bbe384095cd69067 /editors/code/.gitignore | |
| parent | a1776b27c7d7c266d751360b80cc573b1520ef65 (diff) | |
Fix Chalk environments
The clauses need to be wrapped in `FromEnv` clauses for elaboration (i.e.
things like inferring `T: Clone` from `T: Copy`) to work correctly.
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions