mesa
The Mesa programming language
Star
Fork
Watch

Commits on main

Liam Egan
Remove archived documentation
committed
Liam Egan
Add archived documentation
committed
Liam Egan
Update AGENTS instructions
committed
Liam Egan
Add WIP documentation
committed
Liam Egan
Add AGENTS file
committed
Liam Egan
Make invocation declaration-based, not value-based
committed
Liam Egan
Add to README example
committed
Liam Egan
Reorder core types & behaviors
committed
Liam Egan
Rename Core.Behaviors to Core.Protos
committed
Liam Egan
Keep one Rc per protocol in rt
committed
Liam Egan
Clean up Hash & Equal
committed
Liam Egan
Implement Hash
committed
Liam Egan
Implement Equal
committed
Liam Egan
Implement Access
committed
Liam Egan
Clean up core type native impls
committed
Liam Egan
Implement Append
committed
Liam Egan
Implement Display & Inspect default behavior
committed
Liam Egan
Implement Display & Inspect and restructure built-in behaviors
committed
Liam Egan
Clean up naming suffixes
committed
Liam Egan
Spell out abbreviations in the interpreter
committed
Liam Egan
Move core protocols to Core.Protos
committed
Liam Egan
Rename typ to type_
committed
Liam Egan
WIP simplify semantic package access
committed
Liam Egan
Store Package in Packages during checking and separate proto checking from type checking
committed
Liam Egan
Replace the flat comment arena with token-attached ordered trivia
committed
Liam Egan
Drop source identity from the temporary Token and rename pos to start
committed
Liam Egan
Store comments alongside tokens and full token ranges alongside AST nodes
committed
Liam Egan
Allow protocols to declare implications
committed
Liam Egan
Add README and LICENSE
committed
Liam Egan
Let bindings shadow prelude names non-destructively
committed
Liam Egan
Rename built-in nested error field to 'cause'
committed
Liam Egan
Rename NotInvokable to NotInvocable
committed
Liam Egan
Make rescue binding optional
committed
Liam Egan
Allow any value to be raised
committed
Liam Egan
Extract all Defs to common arena and clean up relevant method declarations
committed
Liam Egan
Report duplicate type members and params
committed
Liam Egan
Report one error per duplicated extern member
committed
Liam Egan
Declare extern members in type declaration
committed
Liam Egan
Restructure test fixtures
committed
Liam Egan
Make 'self' able to end an expression
committed
Liam Egan
Implement do/raise/rescue for error handling
committed
Liam Egan
Properly print recursive structures with quotes
committed
Liam Egan
Reify errors as runtime values
committed
Liam Egan
Compute error messages with method rather than Display impl
committed
Liam Egan
Implement protocol seam for checking whether a type implements a core protocol
committed
Liam Egan
Consistently return 'self' from a tied comparison
committed
Liam Egan
Refactor runtime data structures to separate native types from packages
committed
Liam Egan
Implement prelude as 'extern' types in the stdlib
committed
Liam Egan
Support extern types declared in user code but implemented in native code
committed
Liam Egan
Properly scope all data accesses based on package ID
committed
Liam Egan
Test against real stdlib
committed
Liam Egan
Add (dummy) stdlib to tree
committed
Liam Egan
Fix imports of root modules by restructuring module/import lookup
committed
Liam Egan
Evaluate multiple packages
committed
Liam Egan
Extract common evaluation logic and evaluate the stdlib
committed
Liam Egan
Separate a NativeType's canonical Val from its descriptor
committed
Liam Egan
Support imports across packages
committed
Liam Egan
Build all relevant arenas into Package, and thread the PackageId through
committed
Liam Egan
Move parse from load to syn
committed
Liam Egan
Refactor usage of Package to use Chunks and Sources directly
committed