git.iko.soy/rowtype-yoga/purescript-native
on 354e793 help sign in
rowtype-yoga/purescript-native/examples/failing/ProgrammableTypeErrorsTypeString.purs
18 lines 404 B history raw
1-- @shouldFailWith NoInstanceFound
3module Main where
5import Prelude
6import Control.Monad.Eff (Eff)
7import Control.Monad.Eff.Console (log)
9newtype MyType a = MyType a
11instance cannotShowFunctions :: Fail ("Don't want to show " <> TypeString (MyType a) <> " because.") => Show (MyType a) where
12 show _ = "unreachable"
14infixl 6 type TypeConcat as <>
16main :: Eff _ _
17main = do
18 log $ show (MyType 2)