The haskell implementation of Normalize if polymorphic on both type parameters s and a
Unfortunately the java wrapper cant "thread" the polymorphism from java to haskell using the foreign exports, So we have to write a method for each possible value of s and a and cant use the Normalizer or the TypeChecker (see https://github.com/typelead/eta/issues/886)
We should:
Investigate what changes we should do in eta to allow that.
s
anda
s
anda
and cant use theNormalizer
or theTypeChecker
(see https://github.com/typelead/eta/issues/886)JavaConverter
andDeepJavaConverter
forExpr s a
: https://github.com/eta-lang/dhall-eta/blob/master/src/main/eta/Dhall/Eta/Core/Java.hs#L986