Search results

On recompilation, warn when callers are type unsound

error messages

Status: Open.

Feature

#1454 In coalton-lang/coalton;

· stylewarning opened on May 13, 2025

Add explicit checks for the Paterson conditions

error messages

good first issueGood for newcomersGood for newcomers

type systemThe Coalton type systemThe Coalton type system

Status: Open.

Feature

#1446 In coalton-lang/coalton;

· stylewarning opened on Apr 24, 2025

False positive overlapping instance

error messages

type systemThe Coalton type systemThe Coalton type system

Status: Open.

Bug

#1445 In coalton-lang/coalton;

· YarinHeffes opened on Apr 23, 2025

Propagate functions as constants

codegenCode generation matters (Coalton -> Lisp)Code generation matters (Coalton -> Lisp)

enhancementNew feature or requestNew feature or request

performance

Status: Open.

#1444 In coalton-lang/coalton;

· YarinHeffes opened on Apr 23, 2025

Repeated inlining of recursive functions has no bound

Status: Open.

#1439 In coalton-lang/coalton;

· stylewarning opened on Mar 27, 2025

Allow database to be safety deleted for application delivery

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1438 In coalton-lang/coalton;

· stylewarning opened on Mar 27, 2025

Monomorphization doesn't track or cache generated functions

codegenCode generation matters (Coalton -> Lisp)Code generation matters (Coalton -> Lisp)

performance

Status: Open.

Feature

#1436 In coalton-lang/coalton;

· stylewarning opened on Mar 24, 2025

monomorphization+inlining sometimes leads to undefined functions

Status: Open.

Bug

#1417 In coalton-lang/coalton;

· stylewarning opened on Mar 19, 2025

"Constants" like True and False are not codegened efficiently

codegenCode generation matters (Coalton -> Lisp)Code generation matters (Coalton -> Lisp)

performance

Status: Open.

#1410 In coalton-lang/coalton;

· stylewarning opened on Mar 19, 2025

LISP-TOPLEVEL doesn't behave well with file compiler semantics

codegenCode generation matters (Coalton -> Lisp)Code generation matters (Coalton -> Lisp)

language

standard library

syntax

Status: Open.

Bug

#1408 In coalton-lang/coalton;

· stylewarning opened on Mar 18, 2025

Emit warnings on incomplete function applications in progn/body

enhancementNew feature or requestNew feature or request

error messages

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#1405 In coalton-lang/coalton;

· YarinHeffes opened on Mar 14, 2025

Misleading error for over-applied arithmetic operations.

error messages

Status: Open.

#1395 In coalton-lang/coalton;

· YarinHeffes opened on Feb 24, 2025