diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-03-14 11:52:03 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-03-14 12:01:53 +0100 |
| commit | 8c27d35a43a18c7c169ea67ba131b94f10c4b25b (patch) | |
| tree | 3c8e54ef1157108a7190df9b12c8d69450f229e8 /src/Data/Array/Nested | |
| parent | 832d9fb15b1d738c81f347b892d2af3b7663cafb (diff) | |
Variable naming and doc comments
Diffstat (limited to 'src/Data/Array/Nested')
| -rw-r--r-- | src/Data/Array/Nested/Mixed.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Data/Array/Nested/Mixed.hs b/src/Data/Array/Nested/Mixed.hs index 16d5ffa..fe47cac 100644 --- a/src/Data/Array/Nested/Mixed.hs +++ b/src/Data/Array/Nested/Mixed.hs @@ -916,9 +916,9 @@ mfromList1PrimN n l = mfromList1PrimSN :: PrimElt a => SNat n -> [a] -> Mixed '[Just n] a mfromList1PrimSN sn l = - let ssh = SKnown sn :$% ZSX + let sh = SKnown sn :$% ZSX xarr = X.fromList1SN sn l - in fromPrimitive $ M_Primitive ssh xarr + in fromPrimitive $ M_Primitive sh xarr mfromListPrimLinear :: forall sh a. PrimElt a => IShX sh -> [a] -> Mixed sh a mfromListPrimLinear sh l = |