diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-11-04 23:33:34 +0100 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-04 23:33:34 +0100 |
commit | 6fce8a75e239988d2ce154f5411dd2d8c742f3f6 (patch) | |
tree | 2edd579d69ab9168c10965a86135daf807f127a4 /src/CHAD.hs | |
parent | 4e41364e73a2fbb902e41281c59991b6c789723f (diff) |
WIP EOneHot
Diffstat (limited to 'src/CHAD.hs')
-rw-r--r-- | src/CHAD.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CHAD.hs b/src/CHAD.hs index d45898a..b3e2358 100644 --- a/src/CHAD.hs +++ b/src/CHAD.hs @@ -1198,6 +1198,7 @@ drev des = \case EAccum{} -> err_accum EZero{} -> err_monoid EPlus{} -> err_monoid + EOneHot{} -> err_monoid where err_accum = error "Accumulator operations unsupported in the source program" |