Dhall-lang: tests/normalization/success/prelude/JSON/Type/0

[singpolyma]

The b-side for this test currently shows non-alpha-normalized names from the import -- but should not all imported values be fully alpha normalized, since that's the value that would come out of the cache? Seems like the result should not be different when an import is cached or not.

[Gabriel439]

Does it change the correctness of the test?

My preference is to use the form that one would get for an uncached import.

[singpolyma]

I think one should get the same form if the import is cached or not, no?

[Gabriel439]

Oh, I see what you are saying. Yeah, we could require that an import protected by a semantic integrity check is α-normalized so that you get the same result if it is cached or uncached

[philandstuff]

Would we want to do this for any expression protected by an integrity check, or just imports?

[Gabriel439]

@philandstuff: I'm guessing probably any expression protected by an integrity check, not just imports. My reasoning is that out now that we're decoupling imports from integrity checks, it seems like the α-normalization behavior "belongs" to the integrity check rather than the import.