Update for names in new prelude - #1963

Closed

garyb wants to merge 2 commits into

1953-new-prelude-names

Commits on Apr 3, 2016

Update for names in new prelude
garyb
committed
0bbd70a
Disable psci tests that rely on re-exports
garyb
committed
27c99c6