Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: ucsd-progsys/liquidhaskell Loading
base: develop
Choose a base ref
...
head repository: ucsd-progsys/liquidhaskell Loading
compare: fd/renaming-refactorings
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 8 commits
  • 9 files changed
  • 1 contributor

Commits on Jun 23, 2024

  1. Remove unused parameter of checkBareSpec

    @facundominguez
    facundominguez committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    e713dac View commit details
    Browse the repository at this point in the history

  2. Remove unused isTarget

    @facundominguez
    facundominguez committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    dee4ec3 View commit details
    Browse the repository at this point in the history

  3. Revert "Remove unused isTarget" 

    This reverts commit 5cebac5.
    @facundominguez
    facundominguez committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    4902fbd View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Introduce DataConExtra

    @facundominguez
    facundominguez committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    d1ddedc View commit details
    Browse the repository at this point in the history

  2. Introduce dceIsClassTyCon field of DataConExtra

    @facundominguez
    facundominguez committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    81e4321 View commit details
    Browse the repository at this point in the history

  3. Introduce field dceConWorkId of DataConExtra

    @facundominguez
    facundominguez committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    69adf13 View commit details
    Browse the repository at this point in the history

  4. Remove use of dcpCon in elaborateClassDcp

    @facundominguez
    facundominguez committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    59808b7 View commit details
    Browse the repository at this point in the history

  5. Remove use of dcpCon in makeClassAuxTypes

    @facundominguez
    facundominguez committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    9c8f007 View commit details
    Browse the repository at this point in the history
Loading