Constantine Theocharis issues

Results 55 issues of


                                            Constantine Theocharis

Not Playable Error

Every time I try to play a song which has been added from Apple Music, I get a "Not Playable" error at the bottom of the page.

bug

Logic of scheduled tag depending on day is off-by one

Deleting and re-adding tasks on every run is way too slow

Partial updates? Send out one large request instead of millions of small ones?

Add tests

Unaligned on macOS Big Sur

The WhichSpace icon and space number seem to be somewhat out of line compared to the rest of the menubar icons on macOS Big Sur (11.0.1).

bug

Fix spreads

Implement proper pattern unification with a global hole context

type-system

Data defs, ctors, and module items should all appear in the TIR as callables

Both intrinsics and primitives should be allowed to be defined in-source

To do this, there should be an attribute `#[intrinsic]` to label something as being an intrinsic, and it should be "linked" appropriately on the compiler side so that the intrinsic...