search

ekmett / ad

Automatic Differentiation
http://hackage.haskell.org/package/ad
BSD 3-Clause "New" or "Revised" License
368 stars 73 forks source link

Using AD with exceptions #69

Closed mbernat closed 3 years ago

mbernat commented 6 years ago

I tried using AD with a function that has a Typeable constraint and ran into Could not deduce (Typeable s) [..] from: Reifies s Tape [..].

This seems very similar to the problem described in https://github.com/ekmett/reflection/issues/14. Am I correct in assuming that this comes from the usage of reifyTape in the AD internals and could be fixed by using something closer to the reifyTypeable like in the other issue?

ekmett commented 5 years ago

Using reifyTypeable internally would resolve this issue, yes.