Author
anonymous
almost 7 years ago
Language
Haskell
Compiler
ghc 8.4.2
Options
Warnings
Author
anonymous
almost 7 years ago
$ ghc prog.hs -o prog.exe -Wall [1 of 1] Compiling Main ( prog.hs, prog.o )
prog.hs:13:5: warning: [-Wunused-top-binds]
Defined but not used: ‘fstIs’
|
13 | fstIs :: Fst t :~: a
| ^^^^^^^^^^^^^^^^^^^^
prog.hs:22:5: warning: [-Wunused-top-binds]
Defined but not used: ‘sndIs’
|
22 | sndIs :: Snd t :~: b
| ^^^^^^^^^^^^^^^^^^^^
prog.hs:29:1: warning: [-Wunused-top-binds]
Defined but not used: ‘extractedTuple'’
|
29 | extractedTuple' = apply (apply Refl (fstIs @a @t)) (sndIs @b @t)
| ^^^^^^^^^^^^^^^
prog.hs:36:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: main :: IO ()
|
36 | main = putStrLn "Hello, World!"
| ^^^^
Linking prog.exe ...
Hello, World!
Exit Code:
0