summaryrefslogtreecommitdiff
path: root/src/Example
diff options
context:
space:
mode:
Diffstat (limited to 'src/Example')
-rw-r--r--src/Example/GMM.hs4
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