dhall-lang / dhall-lang/dhall-haskell

"Formatting should be idempotent" test failure with ASCII style and HTTP headers

Open
#1,925 6 comments 0 reactions 0 assignees View on GitHub
bug formatting
Dominant language
Dhall
Stars
973
Forks
224
Avg merge
1d 20h
Merged PRs (30d)
19

Description

```
$ cabal test dhall:tasty --test-options "--quickcheck-tests 1000000 -p idempo"
...
Formatting should be idempotent: FAIL (9.77s)
*** Failed! Falsified (after 40534 tests and 9 shrinks):
ASCII
Header ""
Embed (Import {importHashed = ImportHashed {hash = Nothing, importType = Remote (URL {scheme = HTTP, authority = "a", path = File {directory = Directory {components = []}, file = ""}, query = Nothing, headers = Just (Pi "_" (Var (V "" 0)) (Var (V "" 0)))})}, importMode = Code})
"http://a/ using `` \8594 ``\n" /= "http://a/ using `` -> ``\n"
Use --quickcheck-replay=23582 to reproduce.
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.