diff options
| author | Justin Bedo <cu@cua0.org> | 2020-11-18 07:40:59 +1100 |
|---|---|---|
| committer | Justin Bedo <cu@cua0.org> | 2020-11-18 07:40:59 +1100 |
| commit | eede5717879062ef0cebde2a5718725e7afd17ca (patch) | |
| tree | d69da87c0f95b065373ef96d7016c5270039ee88 /examples | |
| parent | 021e391f3a5be274931f41cba3f302647cce180a (diff) | |
switch to unchecked ADTs
Checked ADTs are causing an issue with the new overlays. If an overlay
that provides the entire tree is used, e.g.,:
(self: super: super.slurm {})
then the result is unusable due to ADT type checking errors.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions