Results 13 issues of kamoii

Is it possible(or even make sense) to implement `MonadThrow`/`MonadCatch`/`MonadMask` for `Widget`? I'm using `concur-replica`. There is some case I want to handle async exception with `bracket` pattern. For example, I...

When compiling with `--execute` flag, koka compiler doesn't seem to detect changes for inlined files. Is this intended or a bug? Is there a flag to detect changes for inlined...

bug
compiler

Currently, for struct named `user-info`, auto-generated constructor is named `User-info`, which is kind a weird. How about changing auto-generated name to `UserInfo`?

types
syntax

nonterminal `typevarid` doesn't appear on the right-hand side of any rules. ``` typevarid ::= letter { digit } ``` `tbinder` uses `varid`, not `typevarid`. ``` typeparams ::= < [ tbinders...

types
syntax
quick-fix

Vterm opened inside TRAMP buffer opens a remote shell now thanks to https://github.com/akermu/emacs-libvterm/pull/523. But the shell command history is diffirent from what you see in a normally logined ssh shell....

Comparison operators, like `(.==)`, accepts aribtrary `SqlType` value. ```haskell (.==) :: (Same s t, SqlType a) => Col s a -> Col t a -> Col s Bool ``` Since...

When the `step` function throws an exception, websocket handlers just exist causing the websocket to close. From the users point of view, the site suddenly not responding anymore. In such...

enhancement

Hi, thanks for this interesting library. Currently, we can only handle effects purely since we can't use IO inside hander. Can we have `IO`-like effect at the bottom of effect...

Thanks for working on feature/newgc! When I try to build it to test it, it fails. You may be already aware of this, but I'm creating an issue just in...

I have a question about the stance of the library against key dupclication. Currently, there is no key duplication check on construct, and the operators work even if there is...