Unsound.jp#1577

Open

jprider63 wants to merge 9 commits intoucsd-progsys:developfrom

jprider63:unsound.jp

Commits on Dec 16, 2019

identifying `undefined` not working
James Parker
committed

Commits on Dec 18, 2019

Detect lazy and assumed refinements. Temporarily detect `undefined` with string hack
James Parker
committed
Werror flag
James Parker
committed
tests not working
James Parker
committed
maybe fixed tests
James Parker
committed
move warnings to separate type. Display hint for -Werror
James Parker
committed

Commits on Dec 19, 2019