diff options
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" |