next: why does native say SAFE on tests/neg/test00.hs
next: why does native say SAFE on tests/neg/test00.hs

abakst/liquidhaskell,mightymoose/liquidhaskell,mightymoose/liquidhaskell,Kyly/liquidhaskell,mightymoose/liquidhaskell,rolph-recto/liquidhaskell,Kyly/liquidhaskell,Kyly/liquidhaskell,abakst/liquidhaskell,mightymoose/liquidhaskell,rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,Kyly/liquidhaskell,mightymoose/liquidhaskell,rolph-recto/liquidhaskell,spinda/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,Kyly/liquidhaskell,abakst/liquidhaskell,Kyly/liquidhaskell,rolph-recto/liquidhaskell,spinda/liquidhaskell,rolph-recto/liquidhaskell,abakst/liquidhaskell