diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-09-25 17:23:36 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-09-25 17:23:36 +0200 |
| commit | dd16337adb2cd93b808a41e95ae0d0946ac91395 (patch) | |
| tree | 966f2851af5a083977829cbb764bd065f504f902 /src/CHAD.hs | |
| parent | 76917de6d801e3667cdf3f1bbbb5c2bceabdecb6 (diff) | |
Test neural
Diffstat (limited to 'src/CHAD.hs')
| -rw-r--r-- | src/CHAD.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/CHAD.hs b/src/CHAD.hs index 1ab2da0..12d28e2 100644 --- a/src/CHAD.hs +++ b/src/CHAD.hs @@ -1158,9 +1158,16 @@ drev des = \case EReplicate1Inner{} -> err_unsupported "EReplicate1Inner" EFold1Inner{} -> err_unsupported "EFold1Inner" + ENothing{} -> err_unsupported "ENothing" + EJust{} -> err_unsupported "EJust" + EMaybe{} -> err_unsupported "EMaybe" + EWith{} -> err_accum EAccum{} -> err_accum + EZero{} -> err_monoid + EPlus{} -> err_monoid where err_accum = error "Accumulator operations unsupported in the source program" + err_monoid = error "Monoid operations unsupported in the source program" err_unsupported s = error $ "CHAD: unsupported " ++ s |