coalton-lang/coalton

Issues

• optimize codegen for match

  #1323 opened 2 months ago by stylewarning
  0

• `Seq` doesn't handle type inference as well as `Vector` equivalents

  #1322 opened 2 months ago by Izaakwltn
  0

• Replace reliance on `uiop:version<` in `coalton.asd` with `sb-ext:assert-version->=`

  #1320 opened 2 months ago by gefjon
  3

• Update README about FSET

  #1318 opened 2 months ago by stylewarning
  0

• `Coalton` expression only takes one form, faux-macro implies multiple forms

  #1317 opened 2 months ago by Izaakwltn
  0

• into-iter bug

  #1198 opened 5 months ago by stylewarning
  1

• Change `Quantization` type to a struct, move documentation

  #1308 opened 2 months ago by Izaakwltn
  0

• Add interface for converting `Fraction`s to other types

  #1309 opened 2 months ago by Izaakwltn
  0

• Type constructors should be included in doc generation

  #1313 opened 2 months ago by Izaakwltn
  0

• Sleep should be able to take any nonnegative real

  #1304 opened 2 months ago by Izaakwltn
  0

• Add specializations for `sleep` function

  #1307 opened 2 months ago by Izaakwltn
  0

• Documentation for collections

  #1303 opened 2 months ago by YarinHeffes
  0

• Testing optimizer (and more generally, AST modifier)

  #1301 opened 3 months ago by shirok
  0

• Recursive definition failing to compile with inlining enabled

  #1293 opened 3 months ago by Izaakwltn
  2

• Inconsistent span labeling

  #1248 opened 3 months ago by jbouwman
  0

• Nested coalton-lisp-coalton forgets the type of variable

  #1265 opened 3 months ago by Mira-public
  3

• Error message round up (from test cases)

  #1285 opened 3 months ago by Izaakwltn
  2

• Add documentation to all Coalton faux macros

  #1282 opened 3 months ago by Izaakwltn
  0

• Add docstrings to symbol documentation for class methods

  #1259 opened 3 months ago by Izaakwltn
  2

• Ambiguous method error in class definition when method doesn't include both parameterized types

  #1273 opened 3 months ago by Izaakwltn
  0

• Parse of (return) fails

  #1269 opened 3 months ago by jbouwman
  0

• Incorrect source location reported in error message

  #1263 opened 3 months ago by jbouwman
  3

• Index out of bounds stream error when compiling with `C-c C-c` on non-exhaustive `match`

  #1246 opened 3 months ago by macrologist
  5

• Symbol and Keyword types

  #1258 opened 3 months ago by MichaelBurge
  1

• Add `coalton-library/computable-reals` to the doc generator

  #1252 opened 3 months ago by Izaakwltn
  1

• Change 'computable-reals:print` to `cr-print`, fix package-check error

  #1254 opened 3 months ago by Izaakwltn
  0

• Improve presentation of low-level reader errors

  #1206 opened 3 months ago by jbouwman
  1

• Intro document should acknowledge implicit `fromint` casting

  #1244 opened 3 months ago by Izaakwltn
  0

• type-error during printing of typechecker error

  #1237 opened 3 months ago by Izaakwltn
  2

• Unclear error message for heterogenous list

  #1236 opened 3 months ago by Izaakwltn
  0

• SB-EXT package lock violation when trying to load Coalton via Quicklisp

  #1235 opened 3 months ago by daedsidog
  2

• `Unused variable` error encourages additionally declaring the function name to be unused.

  #1234 opened 4 months ago by Izaakwltn
  0

• Duplicate key errors don't indicate source location

  #1231 opened 4 months ago by jbouwman
  1

• Error messages are way too long and don't get wrapped around in Emacs

  #1230 opened 4 months ago by Izaakwltn
  0

• Fun (Bad) error message for duplicate definitions in the same toplevel

  #1225 opened 4 months ago by Izaakwltn
  0

• Bad error message for undefined type in `Declare`

  #1224 opened 4 months ago by Izaakwltn
  0

• Misleading error for toplevel operations in the repl

  #1227 opened 4 months ago by Izaakwltn
  0

• add warning when exported symbol denoting a value doesn't have an explicit type declaration

  #1222 opened 4 months ago by stylewarning
  0

• reference page links are broken

  #1218 opened 4 months ago by stylewarning
  2

• Coalton package form: support "shadow" clause

  #1210 opened 4 months ago by jbouwman
  0

• Inliner doesn't work with `return`

  #1202 opened 4 months ago by stylewarning
  1

• Type error on over-application of anonymous functions

  #1208 opened 4 months ago by amorphedstar
  0

• `:coalton/benchmark` deprecated/impendingly deprecated

  #1204 opened 5 months ago by Izaakwltn
  1

• constant fold `fromInt` on literals

  #1176 opened 5 months ago by stylewarning
  0

• TRANSLATE-EXPRESSION on NODE-FOR is buggy

  #1197 opened 5 months ago by stylewarning
  4

• for sometimes causes a runtime type error

  #1200 opened 5 months ago by stylewarning
  0

• add tests for all core language looping constructs

  #1201 opened 5 months ago by stylewarning
  0

• Revisit keyword-function alists in `coalton-impl/codegen/transformations:traverse`

  #1185 opened 5 months ago by amorphedstar
  0

• Remove `traverse` `action`s' explicit function reference passing

  #1192 opened 5 months ago by amorphedstar
  1

• random unicode characters in source

  #1188 opened 5 months ago by stylewarning
  0