purescript-0.7.2.0: examples/failing/TopLevelCaseNoArgs.purs

-- @shouldFailWith DuplicateValueDeclaration
module Main where

import Prelude

foo :: Number
foo = 1
foo = 2