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: idris-lang/Idris2
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: redfish64/Idris2
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 7 commits
  • 16 files changed
  • 1 contributor

Commits on Jun 18, 2021

  1. Issue #1572

    Added "Profile" as a flag that can be used when building a project.  Since, if you try to use :exec within a repl, the profile flag is ignored by the Chez backend, without this flag, and there is no "profile" setting available within the "ipkg" file, there is not way to turn profiling on with the Chez backend.
    redfish64 committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    554f7a4 View commit details
    Browse the repository at this point in the history
  2. Replaced the package of "minus" as refered to in natHack with

    Prelude.Types,
    rather than Data.Nat, since "minus" actually lives there
    redfish64 committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    9515e41 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6467ead View commit details
    Browse the repository at this point in the history
  4. Fix for #1579

    Also modified test reg042 to include the new optimized stuff, and moved
    it to perf009, since it's not really a regression test anymore.
    redfish64 committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    6063bfc View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2021

  1. Moved reg042 to chez test group, as chez/perf002 since it relies on c…

    …hez and
    
    is probably closer to a performance test.
    
    Reworked the test to examine the ".ss" file output to determine whether
    performance improvements were made, rather than relying on clock on the
    wall timing
    redfish64 committed Jun 21, 2021
    Configuration menu
    Copy the full SHA
    5b3a19e View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2021

  1. Fix #1579

    redfish64 committed Jun 22, 2021
    Configuration menu
    Copy the full SHA
    2d842db View commit details
    Browse the repository at this point in the history
  2. Merge branch 'for_release'

    redfish64 committed Jun 22, 2021
    Configuration menu
    Copy the full SHA
    dedc0ee View commit details
    Browse the repository at this point in the history
Loading