From 128875b501bc2989617ae553317b80faa556d752 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Thu, 15 Aug 2019 16:11:30 +0100 Subject: chore: Remove remaining Bazel-related files --- .../bazel/rules_haskell/tutorial/main/BUILD.bazel | 17 ----------------- third_party/bazel/rules_haskell/tutorial/main/Main.hs | 16 ---------------- 2 files changed, 33 deletions(-) delete mode 100644 third_party/bazel/rules_haskell/tutorial/main/BUILD.bazel delete mode 100644 third_party/bazel/rules_haskell/tutorial/main/Main.hs (limited to 'third_party/bazel/rules_haskell/tutorial/main') 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 e2e7d3f42218..000000000000 --- 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 325fd61d0a1e..000000000000 --- 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] -- cgit 1.4.1