Hlinting#27

Open

jrp2014 wants to merge 8 commits intosimonmar:masterfrom

Commits on Feb 24, 2019

add to .gitignore, .hlint.yaml, parinfer hlinting
jrp2014
committed
more hlinting
jrp2014
committed
More hlinting
jrp2014
committed

Commits on Feb 25, 2019

Commits on Feb 26, 2019

remove -Wextra
jrp2014
committed

Commits on Feb 27, 2019

First pass at resolving Simon's comments
jrp2014
committed

Commits on Mar 3, 2019

Revert fmap changes
jrp2014
committed