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

[Builtins] Bake inference into 'KnownTypeAst' #4220

Closed
wants to merge 8 commits into from
Closed

[Builtins] Bake inference into 'KnownTypeAst' #4220

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
b6282b9
[Builtins] Bake inference into 'KnownTypeAst' via 'AsSpineRev'
effectfully Nov 14, 2021
c763f59
Add 'IsBuiltin'
effectfully Nov 14, 2021
686d1cc
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Nov 14, 2021
793f3a2
Add 'RepInfer' and friends
effectfully Nov 15, 2021
2625f97
Some cleanup
effectfully Nov 15, 2021
5f013d2
A bit more cleanup
effectfully Nov 15, 2021
92cedf8
Drop junk
effectfully Nov 15, 2021
1731d86
A tiny test bug
effectfully Nov 15, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Drop junk
  • Loading branch information
@effectfully
effectfully committed Nov 15, 2021
commit 92cedf826c3e3298cd3a695443f60b6faead72a4
3 changes: 0 additions & 3 deletions plutus-core/plutus-core/src/PlutusCore/Constant/Typed.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -476,9 +476,6 @@ type HasConstantIn uni term = (UniOf term ~ uni, HasConstant term)
-- > instance KnownBuiltinTypeIn DefaultUni term Integer => KnownTypeIn DefaultUni term Integer
type KnownBuiltinTypeAst = Contains

-- type IsBuiltin :: forall a. Bool -> a -> GHC.Type
-- data IsBuiltin b x

-- | Requires a rep context and turns it into a type context.
type BuiltinDone :: forall a. a -> GHC.Type
data BuiltinDone x
Expand Down