Noam Lewis

-i fails with 'openFile: resource busy (file is locked)'

1

Example run: ``` # hlint Foo.hs --serialise | refactor Foo.hs -i Applying 1 hints refactor: Foo.hs: openFile: resource busy (file is locked) ``` My machine is Linux Mint / Ubuntu...

Can't type date in the text input box using keyboard

1

Unlike the original jquery-ui datepicker, it's not possible to type in a date using the keyboard in the text input box. See working typing in this jquery-ui datepicker demo: http://jqueryui.com/datepicker/...

``` $ git log -p origin/master..origin/my_branch | fancydiff stdin fancydiff: Could not open repository "." CallStack (from HasCallStack): error, called at ./Git/Libgit2.hs:1545:21 in gitlib-libgit2-3.1.1.1-DHYqEGvvMZp3g1dyPQ2lvH:Git.Libgit2 ```

Currently, some statements that include possible `var` declarations are treated as locally / block scoped. This is nice but wrong - JS doesn't have block scopes. We can to find...

Find a way to represent monotyped functions with optional 'this'

1

Functions such as: ``` function f(x) { return x; } ``` Don't require 'this' and so are generalized over it, to get type `forall a. a(b -> b)` Sometimes such...

There are a few cases that are unsolvable without type annotations. For example, polymorphic row fields - always generalizing EPropAssign (row field assignment) means inferring overly polymorphic types that may...

Currently it isn't possible to specify recursive types in the builtins.

tests/valid/new-func.js fails, because this function: ``` function mkn(f, a) { return new f(a); } ``` Can't really be used due to automatic row-closing (f is inferred to have `this` of...