Replies: 2 comments
-
Unfortunately, this version:
runs into #151:
|
Beta Was this translation helpful? Give feedback.
0 replies
-
This seems to work as of 3.1.1 with the followng:
|
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Koka has a
void
type with no constructors in the standard library but no functions associated to it. Is is possible to define a functionabsurd : void -> a
? I would have assumed that one could writebut this is rejected by the parser:
Beta Was this translation helpful? Give feedback.
All reactions