-
Notifications
You must be signed in to change notification settings - Fork 76
Insights: coalton-lang/coalton
Overview
Could not load contribution data
Please try again later
5 Pull requests merged by 2 people
-
Find fixed point when propagating constants with recursive let bindings
#1452 merged
May 1, 2025 -
Propagate constants among recursive let bindings.
#1449 merged
Apr 29, 2025 -
Fix type mismatch error message for match expression return type
#1450 merged
Apr 29, 2025 -
Fix lisp-type for LispArray of type with multiple tyvars
#1448 merged
Apr 27, 2025 -
Ensure polymorphism for complex arrays
#1443 merged
Apr 17, 2025
1 Pull request opened by 1 person
-
Limit Inlining in Recursive Functions
#1447 opened
Apr 26, 2025
3 Issues closed by 1 person
-
`make-list` compiles very slowly, time exponential in length
#1451 closed
May 1, 2025 -
Constants are not propagated to recursive Let bindings
#1442 closed
Apr 29, 2025 -
Bug in type error message when implicit types are propagated
#1441 closed
Apr 29, 2025
3 Issues opened by 2 people
-
Add explicit checks for the Paterson conditions
#1446 opened
Apr 24, 2025 -
False positive overlapping instance
#1445 opened
Apr 23, 2025 -
Propagate functions as constants
#1444 opened
Apr 23, 2025
11 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
subclass constraints and fundeps not checking right?
#1050 commented on
Apr 24, 2025 • 0 new comments -
into-iter bug
#1198 commented on
Apr 24, 2025 • 0 new comments -
Big-Float constants `ee` and `pi` don't change to match precision.
#1013 commented on
Apr 24, 2025 • 0 new comments -
Coalton's type system is unsound in the presence of mutation
#84 commented on
Apr 24, 2025 • 0 new comments -
Mutually recursive instances can error at runtime.
#808 commented on
Apr 24, 2025 • 0 new comments -
`:coalton/benchmark` deprecated/impendingly deprecated
#1204 commented on
Apr 24, 2025 • 0 new comments -
LISP-TOPLEVEL doesn't behave well with file compiler semantics
#1408 commented on
Apr 24, 2025 • 0 new comments -
TEST-COALTON-LANG failing on Windows
#1339 commented on
Apr 24, 2025 • 0 new comments -
Allow local functions to be declared inline
#1368 commented on
Apr 24, 2025 • 0 new comments -
Error when declaring polymorphic recursive `let` binding.
#1391 commented on
Apr 29, 2025 • 0 new comments -
Fix functional dependency resolut 2B91 ion with superclasses
#1315 commented on
Apr 29, 2025 • 0 new comments