add failing List.lhs functions to tests/pos/fixme.hs
whoa, 3 modules in bs go through the termination checker.
termination on Map and Splay
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
add srcpos to termination warnings
GHC.List is safe with termination
did many termination checks in BS.0
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
removing tests from make tests
ignore tv var arguments at termination analysis
why is tests/pos/term0.hs failing
almost done with first half of BS.T. onto the no-decr-parameter-cases
almost done with first half of BS.T. onto the no-decr-parameter-cases
done foldl/foldr
done foldl/foldr
done with bs.split.0 except for the unfoldchunk business
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
split.0.T is done moving onto split.1.T
Data.Map.Base is safe with termination turned on too.

Really need to sort out the transformRecExpr issue so we can make Base
less hacky
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell