Visitar URL original
Truncate the displayed source code when it exceeds 6 lines by Gabriella439 · Pull Request #589 · dhall-lang/dhall-haskell · GitHub
Skip to content

Truncate the displayed source code when it exceeds 6 lines - #589

Merged
Gabriella439 merged 7 commits into
masterfrom
gabriel/snip
Sep 20, 2018
Merged

Gabriella439 merged 7 commits into
masterfrom
gabriel/snip

Conversation

@Gabriella439

Copy link
Copy Markdown
Collaborator

Related to #573

Example output:

dhall <<< './test.dhall'

Use "dhall --explain" for detailed errors

↳ ./test.dhall

Error: You can only append ❰List❱s with matching element types

- Natural
+ Bool

            [ 1
            , 1
            , 1
✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈
            , 1
            ] # [ True ]

/Users/gabriel/proj/dhall/test.dhall:1:13

Related to #573

Example output:

```
dhall <<< './test.dhall'

Use "dhall --explain" for detailed errors

↳ ./test.dhall

Error: You can only append ❰List❱s with matching element types

- Natural
+ Bool

            [ 1
            , 1
            , 1
✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈✂┈┈┈┈┈┈┈
            , 1
            ] # [ True ]

/Users/gabriel/proj/dhall/test.dhall:1:13
```
@Gabriella439
Gabriella439 merged commit 523b242 into master Sep 20, 2018
@Gabriella439
Gabriella439 deleted the gabriel/snip branch September 20, 2018 15:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant