dhall-haskell

History

Philip Potter 1fed252488 fix index in MismatchedListElements (#1448 ) If you run `dhall --explain` to explain a type error from a list with mismatched elements, the index of the offending term was wrong. For a minimal example, you can run: dhall --explain <<<'[0, True]' The problem is that `i` is an index into the tail of the list, not into the whole list. The fix is just to add one to it to correct for the missing head.	2019-10-20 22:34:00 +00:00
..
Dhall	fix index in MismatchedListElements (#1448 )	2019-10-20 22:34:00 +00:00
Dhall.hs	Rename Interpret to FromDhall, Inject to ToDhall (#1437 )	2019-10-19 03:24:49 +00:00

Philip Potter 1fed252488 fix index in MismatchedListElements (#1448 )

If you run `dhall --explain` to explain a type error from a list with
mismatched elements, the index of the offending term was wrong.  For a
minimal example, you can run:

    dhall --explain <<<'[0, True]'

The problem is that `i` is an index into the tail of the list, not into
the whole list.  The fix is just to add one to it to correct for the
missing head.

2019-10-20 22:34:00 +00:00

Dhall

fix index in MismatchedListElements (#1448 )

2019-10-20 22:34:00 +00:00

Dhall.hs

Rename Interpret to FromDhall, Inject to ToDhall (#1437 )

2019-10-19 03:24:49 +00:00