purescript-0.7.2.0: examples/failing/TypeError.purs

-- @shouldFailWith ExprDoesNotHaveType
module Main where

import Prelude

test = 1 ++ "A"