austral/austral

Issues

• Why does it need semicolons

  #605 opened 3 months ago by ad-si
  0

• Help on how to use this project as a library.

  #604 opened 3 months ago by wildwestrom
  0

• Recursion with Region

  #603 opened 5 months ago by kakkun61
  0

• Question: opaque types and capabilities

  #601 opened 7 months ago by sudo-jaa
  1

• Incompatible types in typeclass instances are not caught by the checker

  #600 opened 7 months ago by tim-de
  1

• Generated C fails to compile due to incompatible types

  #598 opened 8 months ago by tim-de
  2

• Standard.IO.Terminal.readLine: add way to detect end of file

  #597 opened 8 months ago by KilianVounckx
  2

• No macOS binary from GitHub Actions

  #589 opened a year ago by samestep
  0

• No docs on how to import another file

  #592 opened a year ago by samestep
  1

• Pre-built binary depends on nix paths

  #565 opened a year ago by zaklogician
  1

• Can't install opam dependencies on macOS

  #590 opened a year ago by samestep
  1

• FFI functions returning void or pointers to unknown types

  #588 opened a year ago by xz47sv
  2

• Suggestion to move editor/austral.vim into its own repository

  #587 opened a year ago by xz47sv
  1

• borrow checker ?

  #586 opened a year ago by MohamedGhardallou
  1

• typeclass method existence is not enforced

  #582 opened a year ago by ckp95
  1

• cannot dispose of a type that is generic over regions

  #583 opened a year ago by ckp95
  0

• uninformative parse error when I call a region "Region"

  #584 opened a year ago by ckp95
  0

• parse error on empty borrow body

  #585 opened a year ago by ckp95
  0

• Char literal of '\n' is 97 instead of 10.

  #577 opened a year ago by Blugatroff
  1

• example: Greet

  #545 opened a year ago by eudoxia0
  0

• Grammar railroad diagram

  #567 opened a year ago by mingodad
  4

• windows

  #560 opened a year ago by 1268
  3

• Emacs mode: do we need `cl-lib`?

  #574 opened a year ago by AlbertoGP
  1

• Emacs mode: incorrect indentation in empty functions etc.

  #572 opened a year ago by AlbertoGP
  0

• Reserved C keywords as variable names cause compile error

  #566 opened a year ago by zaklogician
  0

• Emacs austral-mode: function body is not indented.

  #568 opened a year ago by AlbertoGP
  0

• Internal Error on typeclasses with return type polymorphism

  #564 opened a year ago by zaklogician
  0

• ld error compiling hello world on OpenBSD (hacky temporary fix included)

  #563 opened a year ago by falsifian
  2

• Can't find _stdin/_stdout in M1 macOS

  #561 opened a year ago by ncihnegn
  0

• Command to dump the interface of a module as JSON

  #556 opened 2 years ago by eudoxia0
  0

• stdlib: add a function to read a line as a String from stdin

  #544 opened 2 years ago by eudoxia0
  0

• stdlib: StringBuilder

  #552 opened 2 years ago by eudoxia0
  0

• stdlib: fromByteBuffer for String

  #551 opened 2 years ago by eudoxia0
  0

• stdlib: add functions to get spans from a String

  #543 opened 2 years ago by eudoxia0
  0

• stdlib: add functions to get spans from a Buffer

  #542 opened 2 years ago by eudoxia0
  0

• Austral.Memory: add a function to turn a span into a pointer

  #547 opened 2 years ago by eudoxia0
  0

• Expand Austral.Memory API

  #541 opened 2 years ago by eudoxia0
  0

• Remove the FixedArray type

  #537 opened 2 years ago by eudoxia0
  0

• Allow indexing spans

  #528 opened 2 years ago by eudoxia0
  1

• How to get "argc" and "argv"?

  #530 opened 2 years ago by Costava
  2

• Allow renaming in case statements

  #493 opened 2 years ago by eudoxia0
  1

• Allow consume/replace in if branches

  #517 opened 2 years ago by eudoxia0
  0

• Desugar paths

  #498 opened 2 years ago by eudoxia0
  0

• Improve how paths are represented

  #494 opened 2 years ago by eudoxia0
  1

• Bug: linear variables can be consumed infinitely many times in the condition of a while loop

  #507 opened 2 years ago by eudoxia0
  0

• Unknown version requirements for dependencies

  #505 opened 2 years ago by Costava
  1

• Lift expressions in control structures

  #508 opened 2 years ago by eudoxia0
  0

• Flatten the AST

  #504 opened 2 years ago by eudoxia0
  1

• Desugar anonymous borrows

  #499 opened 2 years ago by eudoxia0
  0

• Reborrow statement

  #501 opened 2 years ago by eudoxia0
  0