Junyoung/"Clare" Jang

icon indicating a website link http://Ailrun.github.io/ icon indicating an email [email protected]

icon company CompLogic @ McGill University icon location Montreal, QC, Canada icon location A passionate programmer equipped with functional arms. Haskell IDE team member of @haskell, affilated with @haskellfoundation. AWS Scientist Intern 2022

Results 80 comments of Junyoung/"Clare" Jang

Interface with readonly property is assignable to interface with mutable property

@RyanCavanaugh Is there any progress?

Added VS Code syntax highlighting for Beluga

Thanks for the issue! Any contribution is welcomed. One concern is that, none of the maintainers use VScode so I'm not sure we have resource to maintain the extension.

Harpoon removes a substitution variable from the scope when splitting on a variable using the substitution

Workaround: convert constructors of `SNRed'` type to use only explicit meta-variables.

Harpoon removes a substitution variable from the scope when splitting on a variable using the substitution

FYI: This is an intended behavior but I think it would be great if it is possible to ameliorate this restriction.

Can't build on WSL and Request for Docker

> I think @Ailrun used Beluga with WSL; maybe he has some advice on getting it to build? I used to do so, but now I moved to a Linux...

Unification can produce circular solutions

Following is a beluga reproduction for this issue. ``` LF term : type = | true : term | false : term | if_then_else : term -> term -> term...

Unification can produce circular solutions

Following is a minimal beluga reproduction for this issue. ``` LF term : type = | true : term | if_then : term -> term -> term ; LF step...

Dune environment variables suppressing compiler warnings

There's really a lot of non-exhaustive pattern matches, so it's hard to enable the warning. An affordable solution would be handling them one-by-one (though it will still take long time)

Introduce an automatic code style formatter

I tried `ocamlformat` and `ocp-indent`, and no one work really well... 1. `ocamlformat` There are too few options to control code style reasonably. It introduces a lot of conflict between...

Cannot use overshadowed LF type in proofs declared prior to the overshadowing

Does it work without the latter definitions? I think it doesn't, and it's not a problem of overshadowing.