Izaakwltn
Izaakwltn
Add specializations for specific types for the `sleep` function. >This will probably cons more than people care for, and so we might add some specializations for floats and the like....
I'm working through current benchmarks and ran across one that fails to compile with inlining enabled: ``` (coalton-toplevel (declare fib (Integer -> Integer)) (define (fib n) (when (== n 0)...
This is a collection of bad error messages gathered from test cases. Original Comments are from two previous PRs: 1. This seems like a sketchy error message _Originally posted by...
Currently meta-dotting to certain Coalton macros drops you into a dead-end definition in [/src/faux-macros.lisp](https://github.com/coalton-lang/coalton/blob/main/src/faux-macros.lisp) with no documentation about implementation. For instance `and` in Coalton only works on Booleans and can't...
When defining a class with multiple parameterized types, each method must employ both types.: ``` (coalton-toplevel (define-class (C :a :b) (m1 :a) (m2 (:a -> :b)))) ``` Compiling returns: ```...
`intro-to-coalton.md` should mention implicit casting using `fromint` for any type with an instance of `Num :a``
The error message doesn't tell you explicitly that you have a list containing different types of objects. ``` (coalton-toplevel (define wut (make-list 1.0d0 2.0d0 3.0))) ``` ``` error: Type mismatch...
``` (coalton-toplevel (declare eeqq (UFix -> Boolean)) (define (eeqq x) True)) ``` Returns the error: ``` COMMON-LISP:WARNING: warn: Unused variable --> unification.lisp:4:16 | 4 | (define (eeqq x) | ^...
 Error messages can be tedious to deal with at this length. They should ideally make new lines as necessary.
``` COALTON-USER> (coalton (define-type cow)) ``` ``` The operator DEFINE-TYPE is only valid in a Coalton expression. [Condition of type COMMON-LISP:SIMPLE-ERROR] ``` The error should let the user know they...