liquidhaskell-0.4.0.0: tests/neg/qsloop.hs

module NonTermQuickSort where

quickSort []       = []
quickSort xs@(x:_) = lts ++  gts 
  where 
    lts          = quickSort [y | y <- xs, y < x]
    gts          = quickSort [z | z <- xs, z >= x]