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

Make BuiltinByteString and BuiltInString more opaque #4206

Closed
wants to merge 5 commits into from
Closed

Make BuiltinByteString and BuiltInString more opaque #4206

wants to merge 5 commits into from

Commits on Nov 11, 2021

  1. Make BuiltinByteString and BuiltInString more opaque 

    Hopefully fixes IntersectMBO#4193.
    @treeowl
    treeowl committed Nov 11, 2021
    Configuration menu
    Copy the full SHA
    46b4ad7 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2021

  1. Fix up Generic instance

    @treeowl
    treeowl committed Nov 12, 2021
    Configuration menu
    Copy the full SHA
    3b09a7a View commit details
    Browse the repository at this point in the history

  2. Take care of GHC.Exts.lazy 

    `GHC.Exts.lazy`, like `GHC.Exts.noinline`, is a magical function
with no unfolding. GHC erases it in Core Prep, which happens after
we interrupt GHC's compilation process, so we have to erase it
ourselves. We also need to `NOINLINE` the definition of `error`,
because that's what the Plutus compiler is looking for.
    @treeowl
    treeowl committed Nov 12, 2021
    Configuration menu
    Copy the full SHA
    9b6c500 View commit details
    Browse the repository at this point in the history

  3. More comments

    @treeowl
    treeowl committed Nov 12, 2021
    Configuration menu
    Copy the full SHA
    4a8caeb View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2021

  1. Don't allow demand analysis or w/w for error

    @treeowl
    treeowl committed Nov 15, 2021
    Configuration menu
    Copy the full SHA
    a35134b View commit details
    Browse the repository at this point in the history