Sergey Sinchuk comments

Repositories
Issues
Comments

Results 13 comments of


                                            Sergey Sinchuk

NPE in SplitAtomPatternIntention

Can't reproduce

Ctrl+P and ChangeSignatureRefactoring ignore implicit parameters.

Fixed in 6f5c1290d2cfdeb22a5e7eac87c5cafb3e8eb498

Duplicate definitions in different code files

I totally agree with the author of the issue. Do not repeat basic definitions a hundred times such as `Empty` `Unit`, `absurd`, `List`, `Bool` etc from lesson to lesson. This...