diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-04-29 15:54:12 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-04-29 15:54:12 +0200 |
| commit | 3fd8d35cca2a23c137934a170c67e8ce310edf13 (patch) | |
| tree | 429fb99f9c1395272f1f9a94bfbc0e003fa39b21 /src/Example/GMM.hs | |
| parent | 919a36f8eed21501357185a90e2b7a4d9eaf7f08 (diff) | |
Complete monoidal accumulator rewrite
Diffstat (limited to 'src/Example/GMM.hs')
| -rw-r--r-- | src/Example/GMM.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Example/GMM.hs b/src/Example/GMM.hs index 12bbd98..206e534 100644 --- a/src/Example/GMM.hs +++ b/src/Example/GMM.hs @@ -31,10 +31,10 @@ import Language -- <https://tomsmeding.com/f/master.pdf> -- -- The 'wrong' argument, when set to True, changes the objective function to --- one with a bug that makes a certain `build` result unused. This triggers +-- one with a bug that makes a certain `build` result unused. This -- makes the CHAD code fail because it tries to use a D2 (TArr) as if it's -- dense, even though it may be a zero (i.e. empty). The "unused" test in --- test/Main.hs tries to isolate this test, but the wrong version of +-- test/Main.hs tries to isolate this case, but the wrong version of -- gmmObjective is here to check (after that bug is fixed) whether it really -- fixes the original bug. gmmObjective :: Bool -> Ex [R, R, R, I64, TMat R, TMat R, TMat R, TMat R, TVec R, I64, I64, I64] R |