ox-arrays/src/Data, branch non-forcing-fromLists Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom/src/Data?h=non-forcing-fromLists 2025-11-16T21:24:44Z Don't force the list argument early in X.fromList*, if possible 2025-11-16T21:24:44Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-11-16T21:00:44Z urn:sha1:6e952344ef5115511dadb92e4fd32c079a4ee512 TODO: do the same in orthotope to make the fix in fromListOuter work. README: Document array buffer sharing policy 2025-11-15T21:48:06Z Tom Smeding tom@tomsmeding.com 2025-11-15T21:48:06Z urn:sha1:e9a0873ceb5c2140dc3331aa8239d511675d55c4 XArray: Further optimise toListOuter 2025-11-15T21:15:39Z Tom Smeding tom@tomsmeding.com 2025-11-15T21:15:39Z urn:sha1:965ea2fd5aa21e1570f97957ae5613894fe8795d Again, thanks Mikolaj XArray: Optimise toListOuter 2025-11-15T16:15:37Z Tom Smeding tom@tomsmeding.com 2025-11-15T16:15:37Z urn:sha1:91250bd41c600935207da3a35b7cc5eff6a7c5ee Thanks Mikolaj! arith: Add IntElt instances for Int8 and Int16 2025-11-15T10:24:00Z Tom Smeding tom@tomsmeding.com 2025-11-15T10:24:00Z urn:sha1:f7025bc3727e5ee058df3dfebb1fb73b933ee6b0 Support Int16 and Int8 2025-11-15T09:28:34Z Tom Smeding tom@tomsmeding.com 2025-11-15T09:28:34Z urn:sha1:11db054607e476c68be5681d99d96630642637e6 Equality on singletons is trivial 2025-11-14T10:00:44Z Tom Smeding tom@tomsmeding.com 2025-11-14T10:00:44Z urn:sha1:571c792fc1cf234c92b3c78eb47bc7e8b789bb85 Revert "Remove a spurious case now correclty rules out by the plugins" 2025-10-21T08:44:18Z Tom Smeding tom@tomsmeding.com 2025-10-21T08:44:18Z urn:sha1:0096708a7b8d7d299e006a29ca4760d2c6c68629 This reverts commit 069ac5b0bcf52b8b5414261106e82ef0eb8a582e. The plugins are unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105 Remove a spurious case now correclty rules out by the plugins 2025-10-20T14:59:02Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-10-20T14:59:02Z urn:sha1:069ac5b0bcf52b8b5414261106e82ef0eb8a582e Tune redundant cases for no-warnings on GHC 9.12 2025-10-02T12:12:15Z Tom Smeding tom@tomsmeding.com 2025-10-02T12:12:15Z urn:sha1:2018dc3476c1a1b723f8c7106d628bd0da8cb49c