Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

dhall 1.42.0 #136755

Closed
wants to merge 2 commits into from
Closed

dhall 1.42.0 #136755

wants to merge 2 commits into from

Conversation

chenrui333
Copy link
Member

Created with brew bump-formula-pr.

@github-actions github-actions bot added haskell Haskell use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` labels Jul 16, 2023
This was referenced Jul 16, 2023
Closed
Closed
@chenrui333
Copy link
Member Author 

src/Dhall/TH.hs:274:38: error:
    • Couldn't match type: flag0 -> Syntax.TyVarBndr flag0
                     with: Syntax.TyVarBndr ()
      Expected: [Syntax.TyVarBndr ()]
        Actual: [flag0 -> Syntax.TyVarBndr flag0]
    • In the third argument of ‘DataD’, namely ‘params’
      In the expression:
        DataD [] name params Nothing constructors derivingClauses
      In the first argument of ‘pure’, namely
        ‘[DataD [] name params Nothing constructors derivingClauses]’
    |
274 |                 [pure [DataD [] name params Nothing constructors derivingClauses]] <>
    |                                      ^^^^^^

@chenrui333 chenrui333 added the build failure CI fails while building the software label Jul 16, 2023
@chenrui333
Copy link
Member Author

dhall-lang/dhall-haskell#2516

@chenrui333 chenrui333 added the upstream issue An upstream issue report is needed label Jul 16, 2023
@chenrui333
dhall: build with ghc
6c09e9f 
Signed-off-by: Rui Chen <rui@chenrui.dev>
@github-actions github-actions bot added the autosquash Automatically squash pull request commits according to Homebrew style. label Jul 16, 2023
@github-actions
Copy link
Contributor

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

@github-actions github-actions bot added the stale No recent activity label Jul 19, 2023
@github-actions github-actions bot closed this Jul 20, 2023
@p-linnane p-linnane mentioned this pull request Aug 19, 2023
Open
9 tasks
@chenrui333 chenrui333 mentioned this pull request Aug 30, 2023
Closed
@chenrui333 chenrui333 added the help wanted Task(s) needing PRs from the community or maintainers label Oct 27, 2023
@github-actions github-actions bot added the outdated PR was locked due to age label Nov 28, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 28, 2023
@chenrui333 chenrui333 deleted the bump-dhall-1.42.0 branch January 22, 2024 15:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
autosquash Automatically squash pull request commits according to Homebrew style. build failure CI fails while building the software bump-formula-pr PR was created using `brew bump-formula-pr` haskell Haskell use is a significant feature of the PR or issue help wanted Task(s) needing PRs from the community or maintainers outdated PR was locked due to age stale No recent activity upstream issue An upstream issue report is needed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@chenrui333