about summary refs log tree commit diff
path: root/third_party/bazel/rules_haskell/tutorial/main
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/bazel/rules_haskell/tutorial/main')
-rw-r--r--third_party/bazel/rules_haskell/tutorial/main/BUILD.bazel17
-rw-r--r--third_party/bazel/rules_haskell/tutorial/main/Main.hs16
2 files changed, 0 insertions, 33 deletions
diff --git a/third_party/bazel/rules_haskell/tutorial/main/BUILD.bazel b/third_party/bazel/rules_haskell/tutorial/main/BUILD.bazel
deleted file mode 100644
index e2e7d3f422..0000000000
--- a/third_party/bazel/rules_haskell/tutorial/main/BUILD.bazel
+++ /dev/null
@@ -1,17 +0,0 @@
-load(
-    "@io_tweag_rules_haskell//haskell:haskell.bzl",
-    "haskell_test",
-    "haskell_toolchain_library",
-)
-
-haskell_toolchain_library(name = "base")
-
-haskell_test(
-    name = "demorgan",
-    srcs = ["Main.hs"],
-    compiler_flags = ["-threaded"],
-    deps = [
-        ":base",
-        "//lib:booleans",
-    ],
-)
diff --git a/third_party/bazel/rules_haskell/tutorial/main/Main.hs b/third_party/bazel/rules_haskell/tutorial/main/Main.hs
deleted file mode 100644
index 325fd61d0a..0000000000
--- a/third_party/bazel/rules_haskell/tutorial/main/Main.hs
+++ /dev/null
@@ -1,16 +0,0 @@
-{-# LANGUAGE StandaloneDeriving #-}
-
-module Main where
-
-import Bool
-import qualified Prelude
-import Prelude ((++), (==), ($))
-
-deriving instance Prelude.Eq Bool
-
-bools :: [Bool]
-bools = [False, True]
-
-main =
-    Prelude.print $ Prelude.and $
-      [ not (x `and` y) == not x `or` not y | x <- bools, y <- bools]