git.iko.soy/typeable/gitrev
on master help sign in
update Example with NoImplicitPrelude

This adds a check for the issue in #1

commitc5496f324080cb1f19b7b473ab21fb9a3914185c authorAdam C. Foltzer <acfoltzer@galois.com> dateMon 11 Jan 2016, 12:12 (11 years ago) parent783f8c2
1 file changed+2
Example.hs+2
Example.hs+2
@@ -1,5 +1,7 @@
1+{-# LANGUAGE NoImplicitPrelude #-}
12{-# LANGUAGE TemplateHaskell #-}
23module Example where
4+import Prelude (String, concat, error, otherwise)
35import Development.GitRev
46
57panic :: String -> a