9ed2b2077d
fixes and changes for porting
...
- forward declaration of records
- fixes to projections
- drop record accessors (use projections instead)
- changes to names to disambiguate
2025-01-01 20:21:07 -08:00
4dec53daa1
additional changes for porting, fix to lexing
2025-01-01 08:46:25 -08:00
f4e96d06ec
changes to support translation
2024-12-30 22:34:03 -08:00
3ec2f90770
sugar for data and other improvements
...
- parse types in let (everything but parser was there)
- add sugar for `data`
- move `joinBy` to prelude
- fix highlighting for char in vscode
- better errors for missing imports
2024-12-28 09:45:21 -08:00
9767d92952
more tweaks to pretty printing.
2024-11-15 20:16:02 -08:00
d82c224bc3
address overflow in Prettier,
...
move Pi constructor to before it is constructed
2024-11-06 06:59:23 -08:00
9148852eb5
character lits, initial work on literal case trees
2024-10-21 22:53:05 -07:00
e67585c2b3
[ fix ] performance issue in Prettier during codegen of Tree.newt
2024-10-19 05:47:58 -07:00
41a7563ad5
Variant on Tree, try not to expand too much
2024-10-17 21:55:50 -07:00
05afc10631
[ fix ] stack overflow in Prettier
2024-10-17 17:18:20 -07:00
391c9449ac
Zonk metas in functions, optional type signature on ptype
2024-09-07 21:32:57 -07:00
76fae34bcf
unification seems to work for kovacs examples
2024-07-14 15:59:57 -07:00
b37fa56c70
fix issue in prettier
2024-07-11 22:17:42 -07:00
b9f921ab3b
Add vscode extension, command line argument, and positioned error handling.
2024-07-04 23:40:38 -04:00
968327cdb3
working. checkpoint before messing with parser
2024-06-25 13:27:11 -07:00
46f9caccab
checkpoint
2024-04-11 15:21:13 -07:00
3b1bd4aad1
Fix implicit/explicit printing, various other issues
2024-04-10 22:07:50 -07:00
1f2afb279e
Add prettyprint, merge plicity types
2023-09-30 06:36:19 -07:00
