Tutorial - Authentication.lhs - does not compile for these reasons

[EdmundsEcho]

Hi --

There are overlapping definitions for Unauthorized, BasicAuthCheck. It might be useful to flag the "ignore" where the overlap exists. Also, Typeable is deprecated. The code excludes the language pragma but continues to include it in the derive clauses.

The tutorials are solid and greatly appreciated. So much so, it takes me time to realize "it's not me, it's the code :))"

Thank you.

[akhesaCaro]

Hi Edmund,

May I ask you to be more specific about the pragma?
The error messages that you encountered would be best (for the overlapping and pragma).
Which version of GHC are you using?

Thanks for your comment

[EdmundsEcho]

@akhesaCaro I believe I'm using ghc 8.10 (certainly a version that is newer than 8.2). I'm using stack so I believe the resolver picks ghc 8.10 given the use of lts 18.5:
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/5.yaml

The pragma that one used to have to include (pre ghc 8.2) is: AutoDeriveTypeable. That is not included in the list of pragmas (a good thing). But, there seems to be code that still includes Typeable in the derive clauses.

[akhesaCaro]

Thanks, I will check.

But you must know that, normally, the tutorial has to be compatible with every supported GHC version of Haskell Servant. So it might explain the deprecated message that you encountered.

[akhesaCaro]

Well,
It builds fine with Cabal and the tutorial is commented in Stack.
So I really wonder what you did to get where you are ;) I will need a little help