liquidhaskell-0.8.10.7: tests/classes/neg/RealProps0.hs

-- Issue overload-div-int-real #579

module RealProps0 where

divId :: Double -> Double 
divId x = x / 0.0