diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-11-16 22:00:44 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-11-16 22:24:44 +0100 |
| commit | 6e952344ef5115511dadb92e4fd32c079a4ee512 (patch) | |
| tree | f26b3226d8767ad8e8bb17ba3bb86819cbf83c40 /src/Data/INat.hs | |
| parent | 85f3e5b2c91dded98edae8f7d1e9a4026839b556 (diff) | |
Don't force the list argument early in X.fromList*, if possiblenon-forcing-fromLists
TODO: do the same in orthotope to make the fix in fromListOuter work.
Diffstat (limited to 'src/Data/INat.hs')
0 files changed, 0 insertions, 0 deletions