aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski4 days
|
* Optimize the representation of ListHMikolaj Konarski4 days
|
* Inline SMayNat in ListHMikolaj Konarski4 days
|
* Clone ListX into ListHMikolaj Konarski4 days
|
* Simplify the signature of fooIndexMikolaj Konarski4 days
|
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski4 days
|
* Make ShS a newtype over ShXMikolaj Konarski4 days
| | | | TODO: use lemmas in place of the unsafeCoerceRefl
* Work around the following GHC bug in GHC 9.10.3:Mikolaj Konarski4 days
| | | | | | | | | | | | | | | | src/Data/Array/Nested/Mixed.hs:1045:13: error: [GHC-83865] • Couldn't match type ‘i0’ with ‘Int’ Expected: ShX sh i0 Actual: ShX sh1 Int ‘i0’ is untouchable inside the constraints: (n1 : sh1) ~ (AddMaybe (AddMaybe i n) k : sh) bound by UnkSkol (please report this as a bug) Call stack: CallStack (from HasCallStack): unkSkolAnon, called at compiler/GHC/Tc/Types/Origin.hs:331:42 in ghc-9.10.3-b4c3:GHC.Tc.Types.Origin unkSkol, called at compiler/GHC/Tc/Gen/Pat.hs:1275:49 in ghc-9.10.3-b4c3:GHC.Tc.Gen.Pat at src/Data/Array/Nested/Mixed.hs:1045:7-14
* Add a precautionary INLINEABLE to the now polymorphic shsTakeIxMikolaj Konarski5 days
|
* Add mtoListPrimLinear and friendsMikolaj Konarski5 days
|
* Add mslice to be typing-wise a counterpart of mappendMikolaj Konarski5 days
|
* Fix typo and reword docsTom Smeding5 days
|
* Add a bang not to overlap big allocationsMikolaj Konarski5 days
|
* Uniformise indentationTom Smeding5 days
|
* Save some toVector by using toVectorListTMikolaj Konarski5 days
|
* Let X.fromListOuterSN and ravelOuterN take NonEmptyMikolaj Konarski5 days
|
* Don't force a list of identical elementsMikolaj Konarski5 days
| | | | | | | | | This makes a big difference when a pair of lists is attempted to be streamed and the first one is of trivial primitive elements (e.g., when implementing a fold as a special case of mapAccum with the output list containing only ()). Forcing the first trivial list would cause the second non-trivial list to be represented as nested thunks, burdening GC greatly.
* Variable naming and doc commentsTom Smeding5 days
|
* Simplify and slightly speed up internal fromList functionsMikolaj Konarski2026-02-12
|
* Inline most lifting wrappersMikolaj Konarski2026-02-12
| | | | | | | This results in only marginal performance gain, probably because they are already small enough to be specialized and/or inlined automatically, but these pragmas ensure it remains so regardless of changes in GHC heuristics.
* Make it clear that ravelOuterN is called just onceMikolaj Konarski2026-02-12
|
* Add a potentialy helpful bang for consistencyMikolaj Konarski2026-02-12
|
* Document that mshapeTree is partialMikolaj Konarski2026-02-12
|
* Add a few more GHC warnings and fix all offendersMikolaj Konarski2026-01-31
|
* Improve the implementation of fromSNat'Mikolaj Konarski2026-01-31
| | | | leading to 6% lower allocation in Det.hs primal test.
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski2026-01-31
|
* Implement Tom's ixsFromIxSMikolaj Konarski2026-01-31
| | | | | | that really helps in processing indexes using list functions and getting back to the same type of index now that KnownNat is removed from IxS and so the type information is harder to preserve.
* Make type variables consistent between shaped and mixed listsMikolaj Konarski2026-01-31
|
* Generalize shsTakeIxMikolaj Konarski2026-01-31
|
* Speed up the bad case of mvecsReplicate using mvecsWriteLinearMikolaj Konarski2026-01-31
|
* Express mvecsWrite and mvecsWritePartial using the new methodsMikolaj Konarski2026-01-31
| | | | | | | and change the type of the latter to make it possible. This slightly improves performance of horde-ad tests, before horde-ad even starts using the Linear methods, which improves performance even more.
* Add mvecsWriteLinear and mvecsWritePartialLinear (unused yet)Mikolaj Konarski2026-01-31
|
* Add mvecsReplicateMikolaj Konarski2026-01-31
|
* Remove the preposterous shsFromListS and shsFromIxSMikolaj Konarski2026-01-31
|
* Generalize ix?ToLinear and speed it up a bitMikolaj Konarski2026-01-31
|
* Add INLINEABLE to ixxToLinear ahead of generalization, to benchmarkMikolaj Konarski2026-01-31
| | | | No horde-ad test speedup noticed.
* Improve haddocks of mvecsUnsafeFreezeTom Smeding2026-01-31
|
* Add method mvecsUnsafeFreeze and use itMikolaj Konarski2026-01-31
|
* Use numEltSumFull in X.sumFullTom Smeding2026-01-16
| | | | Thanks Mikolaj :)
* XArray: Fix doc comment on ravelOuterNTom Smeding2025-12-06
|
* Improve runtime and streaming of fromListOuterMikolaj Konarski2025-12-05
|
* Inlining magicTom Smeding2025-12-03
|
* Restore suffixes sharing in *FromLinearTom Smeding2025-12-03
| | | | Thanks Mikolaj for spotting it's broken
* Make shsFromList even more const-likeMikolaj Konarski2025-12-02
|
* Add a missing INLINEABLE for ixsToListMikolaj Konarski2025-12-02
|
* Define {list,sh,ix}*ToList functions using 'build'Tom Smeding2025-12-02
| | | | This should allow foldr/build fusion
* Let sh*FromList functions print proper error messagesTom Smeding2025-12-02
|
* Provide ix*FromLinear for all three shape kindsTom Smeding2025-12-02
| | | | This speeds up {r,s}generatePrim
* Doc commentsTom Smeding2025-12-02
|
* Style and uniformity of shape/index/list functionsTom Smeding2025-12-02
|
generated by cgit v1.2.3-70-g09d2 (git 2.52.0) at 2026-03-19 17:40:59 +0100