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

Sean/purus #42

Merged
merged 201 commits into from
Sep 4, 2024
Merged

Sean/purus #42

merged 201 commits into from
Sep 4, 2024

Conversation

gnumonik
Copy link
Collaborator

Description of the change

hahahahahahahahaha

Checklist:

  • Seems to work

gnumonik and others added 30 commits November 28, 2023 19:00
@gnumonik
flake
04eece1
@gnumonik
shell
c6c8930
@gnumonik
Added uplc command line option for , pulled in plutus-core dep from C…
3e3562c 
…HaP, added basic nix shell with build deps & locale config, placeholder UPLC codegen module & functions. You almost certainly need the hie.yaml and .envrc to work on this so I committed those intentionally.
@gnumonik
PlutusIR dependency sorted out
99c51cb
@gnumonik
Typed CoreFn conversion & pretty printer (messy)
75012d1
@gnumonik
More detailed tracing to investigate type reprs
62c4685
Switched to a typed CoreFn data type (instead of stashing type info i…
b173baf 
…n the annotation) + reworked pretty printer to... print prettily
Preserving ForAll quantifiers in output CoreFn AST (WIP/maybe broken)
5b02fe1
@gnumonik
Let bindings/declaration groups debugging, working on quantifier pres…
822c6d4 
…ervation issues
@gnumonik
Working on conversion of typeclass dictionaries. (Pretty messy, using…
23fac0a 
… this as a temporary work branch)
@gnumonik
Adjusted typeclass desugaring to use real source locations in the cas…
f3a86eb 
…e expressions, necessary for fully typing the desugared typeclass declarations
@gnumonik
Conversion to typed CoreFn for desugared typeclass dictionaries seems…
28a850e 
… to work
@gnumonik
Typed CoreFn conversion now works with MPTCs, cleaned up a bunch of u…
282d951 
…gly CoreFn desugaring code
@gnumonik
Substantial cleanup + documentation pass
cdd4bb1
@gnumonik
Merge pull request #17 from mlabs-haskell/sean/typedCoreFn.typeclasse…
766b580 
…s-wip

Sean/typed core fn.typeclasses wip
@gnumonik
Nested 'let' expressions w/ mix of type sigs/no type sigs w/ quantifiers
6e2ca01
@gnumonik
Mutually recursive binding groups, binders, attempt at generalizing T…
51344c8 
…Unknowns, small tweak to pretty printer
@gnumonik
Merge pull request #19 from mlabs-haskell/sean/typedCoreFn.wip
9ffcbcf 
Sean/typed core fn.wip
@gnumonik
fixed small mistake, deleted some traces, added comment or two
722a0cc
@gnumonik
Merge branch 'sean/typedCoreFn.wip' into sean/typedCoreFn
e6237d8
@gnumonik
Fixed mutual recursion bug in declToCoreFn, removed let generalizatio…
02129dd 
…n machinery
@gnumonik
Fixed problem w/ object literal binders, cleaned up the interface of …
b2befc1 
…instantiatePolyTypes
@gnumonik
Primitive infrastructure for golden tests, removed some dead options
5f464c5
@gnumonik
testing infrastructure, ported some tests/purs/passing tests to debug…
aa95066 
… compiler
@gnumonik
Fixed bug discovered in test #4301 (I hope...)
5a83437
@gnumonik
Fixed issue w/ transitive imports resulting from explicitly desguarin…
c99c476 
…g dictionary types, (sort of) fixed let-generalization, ported over more tests
@gnumonik
Documenting/Explaining the use of new utils
293acc9
@gnumonik
Type inference/checking machinery removed from CoreFn desugaring mach…
1e17804 
…inery. (We're now properly *reconstructing* the types)
@gnumonik
Added some empty list tests
161bdef
@gnumonik
Prettyprinter replacement implemented (still needs some tweaking)
f35cdb0
@gnumonik gnumonik requested a review from kozross August 29, 2024 06:06
kozross
kozross requested changes Sep 2, 2024
View reviewed changes
Copy link
Member

@kozross kozross left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There's a bunch of stylistic changes and refactoring we could do, but given the time we have, I think it'll have to wait.

Architecture.md Show resolved Hide resolved
CompilerBugs.txt Outdated Show resolved Hide resolved
purescript.cabal Show resolved Hide resolved
purescript.cabal Outdated Show resolved Hide resolved
purescript.cabal Outdated Show resolved Hide resolved
src/Language/Purus/Pipeline/Monad.hs Outdated Show resolved Hide resolved
src/Language/Purus/Pipeline/Monad.hs Show resolved Hide resolved
src/Language/Purus/Pipeline/Monad.hs Outdated Show resolved Hide resolved
src/Language/Purus/Prim/Data.hs Show resolved Hide resolved
src/Language/Purus/Prim/Utils.hs Show resolved Hide resolved
kozross and others added 14 commits September 4, 2024 13:11
@kozross
Expr Plated instance
05b145d
added/fixed runFullPipeline for end-to-end experimentation and testing
a7a7b21
removed gh workflows
8b75059
@kozross
TH splice for Module CTE loads
3743173
Addressed review comments related to outdated notes, mistake in Pipel…
2cb3f8c 
…ine.Monad semigroup instance
Removed some unnecessary/unused imports & pinned all dependencies w/ …
8fd7f8a 
…unspecified bounds in cabal.project, added cabal.project.freeze file
Array -> List in the compiler (mainly committing bc about to do a ver…
069070d 
…y unsafe find-replace in the tests)
Array -> List in tests.
1b4952b
CI not working? Maybe this will fix
18dc58e
Removed cabal freeze file, was breaking nix/ci
9806d82
@gnumonik
Merge pull request #45 from mlabs-haskell/koz/module-th
c756531 
TH splice for Module CTE loads
@gnumonik
Merge pull request #44 from mlabs-haskell/koz/plated
b1a60c8 
Expr Plated instance
Fixed some problems that arose from merging Koz's PRs, re-enabled the…
986a5d0 
… full set of CoreFn tests
Removed a probably-will-come-back-to-bite-us semigroup/monoid instanc…
eb9a832 
…e that weren't really needed
@kozross kozross self-requested a review September 4, 2024 21:47
@kozross kozross merged commit d518cf6 into master Sep 4, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kozross kozross kozross approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@gnumonik @kozross @t4ccer @klntsky