Pavel Strakhov

Passing exceptions and panics through FFI boundary is forbidden. It's probably best to wrap all C++ calls to try/catch and all Rust lambda calls to catch_unwind, and terminate the process...

"The published version is too low" - why is that an error?

2

This error prevents publishing new patches for previous minor versions of the crate. For example, if `0.1.0` and `0.2.0` are published, alexandrie refuses to publish `0.1.1`. This is a very...

Compiler accepts DivBy with impossible

1

[div_by_crash.idr.zip](https://github.com/idris-lang/Idris-dev/files/4718812/div_by_crash.idr.zip) # Steps to Reproduce ``` import Data.Primitives.Views total bad: Int -> Int bad x with (divides x 2) bad (_ + _) | (DivBy _) impossible ``` # Expected...

# Steps to Reproduce In REPL: ``` :module Data.String the (Maybe Int) (parseInteger "1111111111111111111111111") ``` # Expected Behavior `parseInteger` should return `Nothing` if the input can't be represented as an...

First class byte array support

3

For example, if I want to prove that a function returns a well-typed output on any file. What should the input type be? `Data.Buffer` has IO interface and can't be...

Add IME support, extended actions, customize appearance

5

I was trying to implement a text input that works the same way as a native text input on desktop platforms. I would like to contribute the changes I had...

Hotkeys and tabbed layout

6

I've added hotkeys for run, save, switching between editors. Also I've added tabbed layout. In this layout only one editor is visible. User can switch between editors using buttons above...

Add select flag for motion and click actions

1

Added `select` flag to `Action::Motion` and `Action::Click` to implement hotkeys with `Shift` modifier (e.g. `Shift + ArrowRight` to create or extend the selection) and fix hotkeys without `Shift` (e.g. `ArrowRight`...