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/monomorph #27

Open
wants to merge 63 commits into
base: master
Choose a base branch
from
Open

Sean/monomorph #27

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
63 commits
Select commit Hold shift + click to select a range
04eece1
flake
gnumonik Nov 29, 2023
c6c8930
shell
gnumonik Nov 29, 2023
3e3562c
Added uplc command line option for , pulled in plutus-core dep from C…
gnumonik Nov 30, 2023
99c51cb
PlutusIR dependency sorted out
gnumonik Nov 30, 2023
75012d1
Typed CoreFn conversion & pretty printer (messy)
gnumonik Dec 6, 2023
62c4685
More detailed tracing to investigate type reprs
gnumonik Dec 6, 2023
b173baf
Switched to a typed CoreFn data type (instead of stashing type info i…
Jan 12, 2024
5b02fe1
Preserving ForAll quantifiers in output CoreFn AST (WIP/maybe broken)
Jan 17, 2024
822c6d4
Let bindings/declaration groups debugging, working on quantifier pres…
gnumonik Jan 18, 2024
23fac0a
Working on conversion of typeclass dictionaries. (Pretty messy, using…
gnumonik Jan 20, 2024
f3a86eb
Adjusted typeclass desugaring to use real source locations in the cas…
gnumonik Jan 24, 2024
28a850e
Conversion to typed CoreFn for desugared typeclass dictionaries seems…
gnumonik Jan 24, 2024
282d951
Typed CoreFn conversion now works with MPTCs, cleaned up a bunch of u…
gnumonik Jan 25, 2024
cdd4bb1
Substantial cleanup + documentation pass
gnumonik Jan 25, 2024
766b580
Merge pull request #17 from mlabs-haskell/sean/typedCoreFn.typeclasse…
gnumonik Jan 25, 2024
6e2ca01
Nested 'let' expressions w/ mix of type sigs/no type sigs w/ quantifiers
gnumonik Jan 25, 2024
51344c8
Mutually recursive binding groups, binders, attempt at generalizing T…
gnumonik Feb 1, 2024
9ffcbcf
Merge pull request #19 from mlabs-haskell/sean/typedCoreFn.wip
gnumonik Feb 1, 2024
722a0cc
fixed small mistake, deleted some traces, added comment or two
gnumonik Feb 1, 2024
e6237d8
Merge branch 'sean/typedCoreFn.wip' into sean/typedCoreFn
gnumonik Feb 1, 2024
02129dd
Fixed mutual recursion bug in declToCoreFn, removed let generalizatio…
gnumonik Feb 3, 2024
b2befc1
Fixed problem w/ object literal binders, cleaned up the interface of …
gnumonik Feb 6, 2024
5f464c5
Primitive infrastructure for golden tests, removed some dead options
gnumonik Feb 21, 2024
aa95066
testing infrastructure, ported some tests/purs/passing tests to debug…
gnumonik Feb 22, 2024
5a83437
Fixed bug discovered in test #4301 (I hope...)
gnumonik Feb 27, 2024
c99c476
Fixed issue w/ transitive imports resulting from explicitly desguarin…
gnumonik Feb 29, 2024
293acc9
Documenting/Explaining the use of new utils
gnumonik Feb 29, 2024
1e17804
Type inference/checking machinery removed from CoreFn desugaring mach…
gnumonik Mar 1, 2024
161bdef
Added some empty list tests
gnumonik Mar 1, 2024
f35cdb0
Prettyprinter replacement implemented (still needs some tweaking)
gnumonik Mar 2, 2024
b4f557e
prettyprinter improvements
gnumonik Mar 2, 2024
7876fdb
even prettier
gnumonik Mar 2, 2024
c862bd5
extremely pretty
gnumonik Mar 2, 2024
4b6112c
Refactored pretty printer update to use Reader monad (hopefully makes…
gnumonik Mar 5, 2024
cb11738
Final cleanup/tweaks to pretty printer
gnumonik Mar 5, 2024
d295a01
Module-ized prettyprinter + some small tweaks
gnumonik Mar 6, 2024
ae4f703
Nix setup
t4ccer Feb 18, 2024
991c758
Trigger CI
t4ccer Feb 18, 2024
4214ae6
Remove unused configs
t4ccer Feb 18, 2024
6349472
Disable typos check
t4ccer Feb 18, 2024
ed35645
Remove Nix Plutarch wrapper
t4ccer Feb 23, 2024
a9f7a14
Removed some dead comments, testing pre-commit hooks
gnumonik Mar 6, 2024
115cb65
working on monomorphizer (seems to work w/ non-recursive binding grou…
gnumonik Mar 15, 2024
cada4c7
re-implementing monomorphizer (wip)
gnumonik Mar 16, 2024
584cf12
monomorphizer works on the simplest possible mutually recursive examp…
gnumonik Mar 19, 2024
babc876
Support for PLC Builtins and primitive types
gnumonik Mar 20, 2024
db81559
re-organize modules
gnumonik Mar 20, 2024
3a1302d
utilities for object desugaring
gnumonik Mar 20, 2024
7106f6f
Conversion to Bound, object desugaring
gnumonik Mar 21, 2024
d08e03e
Prettyprinter for Bound AST, fixed some bugs in object desguaring, re…
gnumonik Mar 22, 2024
9e83557
Reworked final IR, prettyprinters, debugging + reworking monomorphize…
gnumonik Mar 22, 2024
8a84e77
forgot to commit new file
gnumonik Mar 22, 2024
9dbd7b7
full Purs->UPLC pipeline working for very simple examples. builtins w…
gnumonik Mar 23, 2024
71add6a
remoted test output dirs from gitignore (so can link to things)
gnumonik Mar 23, 2024
3b24eef
wrong output file name in test
gnumonik Mar 23, 2024
3f8183d
working on case expressions
gnumonik Mar 26, 2024
87fd8cc
basic PLC test infrastructure
gnumonik Mar 26, 2024
e076b6a
fixed some tests
gnumonik Mar 26, 2024
e6cb3ba
architecture doc
gnumonik Mar 28, 2024
48286be
Move to `simple-haskell-nix` and expose tests in CI
t4ccer Apr 11, 2024
6690d42
Drop GH Actions
t4ccer Apr 11, 2024
e63a399
Fix pretty printer compilation error
t4ccer Apr 11, 2024
cc7fe12
Merge pull request #28 from mlabs-haskell/t4/expose-tests-in-ci
t4ccer Apr 12, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
1 change: 1 addition & 0 deletions .envrc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
use flake
310 changes: 0 additions & 310 deletions .github/workflows/ci.yml
View file
Open in desktop

This file was deleted.

5 changes: 4 additions & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ bower_components/
node_modules
tmp/
.stack-work/
output
# output
tests/purs/docs/docs/
core-tests/full-core-docs.md
tests/support/package-lock.json
Expand All @@ -38,3 +38,6 @@ TAGS
*.ps
*.svg
tests/purs/make/
.direnv/
/.pre-commit-config.yaml
/result*
Loading