codin'
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Block or Report
Block or report eudoxia0
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
3,696 contributions in the last year
Contribution activity
June 2022
Created 356 commits in 2 repositories
Created a pull request in austral/austral that received 1 comment
Opened 23 other pull requests in 1 repository
austral/austral
23
merged
- Add a test of defining a Free type that contains a Linear type
- Remove type aliases
- Add a script to install OCaml dependencies
- Check that array indexing is in bounds
- Implement Printable for strings
- Global instance uniqueness: implement the instance orphan rules
- Implement type parameter constraints
- Support compiling modules without interfaces
- Implement instance resolution correctly
- Parsing type parameter constraints
- Add a unit test of unconstrained type parameters
- Add a Printable typeclass and builtin instances to Austral.Pervasive
- Structured representation of errors
- Compiled module interface files
- Store imported modules
- Fix monomorphization bug
- Implement local instance uniqueness
- Store instances
- Better tests
- Anon borrows
- Improve the linearity checker
- Syntactic sugar for reference types
- Write a compiler walkthrough
Created an issue in austral/austral that received 1 comment
Put a Printable typeclass in the builtin environment
Normally this should be in the standard library, but: There's no stdlib at present. There's no build system at present, so including the standard …
1
comment
Opened 37 other issues in 1 repository
austral/austral
11
open
26
closed
- Ensure binary operations are actually fully parenthesized
- Add a test of defining a type in the Region universe
- Add a test of defining a Free type with parameters in the Linear or Type universes
- Add a test of defining a Free type that contains a Linear type
- Add a script to install OCaml dependencies
- Test runner: support checking program stderr
- Instance type parameter collision
- Check that array indexing is in bounds
- Remove type aliases
- Add a PrintLn function
- Implement Printable for strings
- Support compiling modules without interfaces
- Support command line arguments in the entrypoint function
- Add a test case of unconstrained type parameters
- Implement type parameter constraints
- Parse type parameter constraints
- man page
- Structured representation of errors
- Generate C header files
- CLI command for separate compilation
- Convert typed modules to acm
- Import acm files into the environment
- Clean up source snippet code
- Compiled module interface files
- Store the list of modules a module imports from
- Some issues not shown.
120
contributions
in private repositories
Jun 1 – Jun 22