Try to get rid of any of the AllowAmbiguousTypes pragmas

Mikolaj / horde-ad

Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"

BSD 3-Clause "New" or "Revised" License

34 stars 6 forks source link

Try to get rid of any of the AllowAmbiguousTypes pragmas #44

Closed Mikolaj closed 9 months ago

Mikolaj commented 2 years ago

Edit: mostly removed already.

Edit2: try this for example/MnistRnnShaped.hs once it's rewritten according to #48.

Mikolaj commented 9 months ago

This has been done a couple of times and then AllowAmbiguousTypes crept in again. Closing in favour of the new attempt in https://github.com/Mikolaj/horde-ad/issues/108.