module ShouldCompile where

f :: Double
f = 42e42  -- this should be a float