broom-lang/broom
A programming language with first-class modules and algebraic effects.
OCamlBSD-3-Clause
Issues
- 0
Generate executables
#69 opened by nilern - 0
Eliminate parameter/argument tuples
#86 opened by nilern - 0
Add non-graph ("CFG") IR
#84 opened by nilern - 0
Add branch condition control dependencies
#85 opened by nilern - 0
- 0
Syntax overhaul #n
#78 opened by nilern - 0
Complete initial type checker
#68 opened by nilern - 0
Add levity monomorphism restrictions pass
#77 opened by nilern - 0
Add Cheney-on-the-MTA "safepoints" to emitted JS
#83 opened by nilern - 0
Restore JS Cheney-on-the-MTA runtime
#82 opened by nilern - 0
Check well-foundedness of recursion
#67 opened by nilern - 0
Alphatize during typechecking
#80 opened by nilern - 0
Add kind polymorphism
#76 opened by nilern - 0
Solve diamond problem of implicit resolution
#79 opened by nilern - 0
Add kind system
#75 opened by nilern - 0
Report multiple type errors
#71 opened by nilern - 0
Allow trailing semicolons and commas
#70 opened by nilern - 0
Add polymorphic variants
#72 opened by nilern - 0
Add struct and variant types
#73 opened by nilern - 0
- 0
Multiple parameters
#65 opened by nilern - 0
File composition (e.g. `@require`)
#66 opened by nilern - 0
Full pattern matching
#64 opened by nilern - 0
- 0
Single-threaded semispace collector
#45 opened by nilern - 0
Safepoints at allocations
#63 opened by nilern - 0
Object Headers / Layouts
#62 opened by nilern - 0
Support for your favorite editor
#38 opened by nilern - 0
Mostly-concurrent Major GC
#46 opened by nilern - 0
GC Block Layer
#42 opened by nilern - 0
Segregated-fits Allocation for Major Heap
#44 opened by nilern - 0
- 0
Custom allocator
#61 opened by nilern - 0
Assemble and link
#55 opened by nilern - 0
LLVM backend?
#60 opened by nilern - 0
Peephole optimizations in instruction selection
#59 opened by nilern - 0
Peephole optimization in CPS conversion
#58 opened by nilern - 0
Deal with type descriptors and fields
#57 opened by nilern - 0
Type erasure
#56 opened by nilern - 1
Assemble machine code
#53 opened by nilern - 0
Instruction selection
#49 opened by nilern - 0
Register allocation
#50 opened by nilern - 0
Generate Assembly
#52 opened by nilern - 0
Set up Read the Docs
#54 opened by nilern - 0
Closure conversion
#48 opened by nilern - 0
HAMT data structure for CPS
#51 opened by nilern - 0
Reduce pattern matching to switching and letting
#47 opened by nilern - 0
Fixed set of infix operators
#39 opened by nilern - 0
Polymorphic intrinsics
#40 opened by nilern - 0
Emacs mode
#37 opened by nilern