jfecher/ante

Issues

• Panic: `Recursion limit reached in occurs`

  #192 opened 4 months ago by sullyj3
  0

• Monomorphisation panic

  #190 opened 4 months ago by sullyj3
  3

• Implement effect variable ellision

  #191 opened 4 months ago by jfecher
  0

• Values declared inside conditional blocks and match arms leak to module export list

  #189 opened 4 months ago by ehllie
  2

• Create a LSP server for Ante

  #179 opened 5 months ago by jfecher
  3

• WebAssembly

  #181 opened 5 months ago by flip111
  2

• Add a command-line flag to configure the "relative_root" directories

  #178 opened 5 months ago by jfecher
  0

• Add `./deps` as a relative root by default

  #177 opened 5 months ago by jfecher
  0

• Require the package name to prefix all imports

  #176 opened 5 months ago by jfecher
  0

• Implement `can Effect` syntax for annotating effects

  #169 opened 6 months ago by jfecher
  1

• Malloc Panics with -O0 or crane_lift

  #174 opened 6 months ago by eldesh
  1

• Add shorthand for casting integer types

  #173 opened 6 months ago by jfecher
  0

• Incorrect Pointer Offset Calculation When Using -O3 Optimization Level

  #172 opened 6 months ago by eldesh
  1

• Check declared variable's types with equality instead of unification

  #170 opened 6 months ago by jfecher
  1

• Add a proper error message for unhandled effects

  #171 opened 6 months ago by jfecher
  0

• What kind of memory management does ante use?

  #162 opened 6 months ago by roy-moveup
  3

• Implement Named Constructor syntax

  #163 opened 9 months ago by jfecher
  2

• Adding type annotations to an unbound type variable can crash the compiler

  #168 opened 8 months ago by jfecher
  1

• Design import and publicity semantics

  #111 opened 2 years ago by jfecher
  11

• Design mutability semantics

  #101 opened 2 years ago by jfecher
  2

• Codegen crash when using a trait that defines multiple methods

  #159 opened a year ago by jfecher
  0

• Compiler crash when using simple return expression

  #150 opened a year ago by bungcip
  1

• Building: llvmenv panics and looks abandoned

  #151 opened a year ago by tbmreza
  2

• Improve Location for "type variable is already in scope" error

  #158 opened a year ago by jfecher
  0

• Repeating idents in functional dependencies crashes compiler

  #152 opened a year ago by PROMETHIA-27
  1

• Compiler crash related to `Tuple in eval_single`

  #153 opened a year ago by PROMETHIA-27
  2

• `size_of` can query the size of generic types and cause a panic

  #154 opened a year ago by PROMETHIA-27
  1

• Compiler crash when trying to access field of unspecified row-polymorphic type

  #156 opened a year ago by PROMETHIA-27
  1

• Name resolution of imports fails in trait definitions

  #155 opened a year ago by PROMETHIA-27
  1

• Compiling to WASM with Zig

  #149 opened a year ago by iacore
  3

• Incorrect inferred type for functions capturing globals with weak type variables

  #147 opened a year ago by jfecher
  0

• Repeated tuple destructuring erases generic Int trait

  #129 opened a year ago by ehllie
  2

• Initialize invalid types with integer type annotations

  #146 opened a year ago by jfecher
  0

• Codegen does not support true globals

  #142 opened 2 years ago by eldesh
  1

• captured value will be destroyed

  #141 opened 2 years ago by eldesh
  1

• Cannot find Print impl on second invocation

  #104 opened 2 years ago by jfecher
  2

• Captured function not typechecked

  #140 opened 2 years ago by jfecher
  0

• No Int defaulting in closure capture

  #139 opened 2 years ago by jfecher
  0

• No definition for 'recur2'

  #119 opened 2 years ago by jfecher
  4

• Generic Int types default to i32 too early

  #130 opened 2 years ago by ehllie
  5

• Recursion limit warning encountered too often

  #138 opened 2 years ago by jfecher
  0

• entered unreachable code

  #137 opened 2 years ago by eldesh
  2

• Improve CLI

  #135 opened 2 years ago by ehllie
  1

• Include a nix flake in the root of the repository

  #125 opened 2 years ago by ehllie
  1

• Update mimalloc version

  #123 opened 2 years ago by ehllie
  0

• Forwarding of trait impls

  #115 opened 2 years ago by LyricLy
  8

• Improve parser errors

  #113 opened 2 years ago by jfecher
  2

• Pointer projections

  #106 opened 2 years ago by skaller
  12

• Tuples

  #105 opened 2 years ago by skaller
  4

• Experiment with Rc<Type>

  #100 opened 2 years ago by jfecher
  0