diff options
| author | Florian Diebold <[email protected]> | 2019-12-03 13:59:29 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-12-03 14:01:23 +0000 |
| commit | e4add45951511f9afe348bf6066a724deb0d3ccf (patch) | |
| tree | 0a357e2d3333a06e37f5cb8d6613733c1c0c78ac /editors/code/src | |
| parent | ba4f7fa02f746e5bb3efdaa06c2b35beaa4e3440 (diff) | |
Fix #2467
The stand-alone `unify` requires that the type doesn't contain any type
variables. So we can't share the code here for now (without more refactoring)...
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions