diff options
Diffstat (limited to 'third_party/bazel/rules_haskell/tutorial')
10 files changed, 0 insertions, 148 deletions
diff --git a/third_party/bazel/rules_haskell/tutorial/.bazelrc b/third_party/bazel/rules_haskell/tutorial/.bazelrc deleted file mode 120000 index adb61980d232..000000000000 --- a/third_party/bazel/rules_haskell/tutorial/.bazelrc +++ /dev/null @@ -1 +0,0 @@ -../.bazelrc \ No newline at end of file diff --git a/third_party/bazel/rules_haskell/tutorial/.gitignore b/third_party/bazel/rules_haskell/tutorial/.gitignore deleted file mode 100644 index a6ef824c1f83..000000000000 --- a/third_party/bazel/rules_haskell/tutorial/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/bazel-* diff --git a/third_party/bazel/rules_haskell/tutorial/README.md b/third_party/bazel/rules_haskell/tutorial/README.md deleted file mode 100644 index 34a5bb27f4b2..000000000000 --- a/third_party/bazel/rules_haskell/tutorial/README.md +++ /dev/null @@ -1,30 +0,0 @@ -# Tutorial code - -Code for the [Bazel Haskell tutorial][bazel-haskell-tutorial]. - -[bazel-haskell-tutorial]: https://rules-haskell.readthedocs.io/en/latest/haskell.html - -## Tutorial Workspace - -Build everything in the tutorial workspace with; - -``` -$ bazel build @io_tweag_rules_haskell_tutorial//... -``` - -Show everything in the tutorial; - -``` -$ bazel query @io_tweag_rules_haskell_tutorial//... -@io_tweag_rules_haskell_tutorial//main:demorgan -@io_tweag_rules_haskell_tutorial//main:base -@io_tweag_rules_haskell_tutorial//lib:booleans -``` - -Build and run the tutorial example; - -``` -$ bazel build @io_tweag_rules_haskell_tutorial//lib:booleans -$ bazel build @io_tweag_rules_haskell_tutorial//main:demorgan -$ bazel run @io_tweag_rules_haskell_tutorial//main:demorgan -``` diff --git a/third_party/bazel/rules_haskell/tutorial/WORKSPACE b/third_party/bazel/rules_haskell/tutorial/WORKSPACE deleted file mode 100644 index 21d25c247207..000000000000 --- a/third_party/bazel/rules_haskell/tutorial/WORKSPACE +++ /dev/null @@ -1,49 +0,0 @@ -workspace(name = "io_tweag_rules_haskell_tutorial") - -local_repository( - name = "io_tweag_rules_haskell", - path = "..", -) - -load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive") -load("@io_tweag_rules_haskell//haskell:repositories.bzl", "haskell_repositories") - -haskell_repositories() - -rules_nixpkgs_version = "0.5.2" - -http_archive( - name = "io_tweag_rules_nixpkgs", - sha256 = "5a384daa57b49abf9f0b672852f1a66a3c52aecf9d4d2ac64f6de0fd307690c8", - strip_prefix = "rules_nixpkgs-%s" % rules_nixpkgs_version, - urls = ["https://github.com/tweag/rules_nixpkgs/archive/v%s.tar.gz" % rules_nixpkgs_version], -) - -load( - "@io_tweag_rules_nixpkgs//nixpkgs:nixpkgs.bzl", - "nixpkgs_cc_configure", -) - -nixpkgs_cc_configure( - nix_file = "@io_tweag_rules_haskell//nixpkgs:cc-toolchain.nix", - repository = "@io_tweag_rules_haskell//nixpkgs:default.nix", -) - -load( - "@io_tweag_rules_haskell//haskell:nixpkgs.bzl", - "haskell_register_ghc_nixpkgs", -) - -haskell_register_ghc_nixpkgs( - repositories = { - "nixpkgs": "@io_tweag_rules_haskell//nixpkgs:default.nix", - }, - version = "8.6.4", -) - -load( - "@io_tweag_rules_haskell//haskell:haskell.bzl", - "haskell_register_ghc_bindists", -) - -haskell_register_ghc_bindists(version = "8.6.4") diff --git a/third_party/bazel/rules_haskell/tutorial/lib/BUILD.bazel b/third_party/bazel/rules_haskell/tutorial/lib/BUILD.bazel deleted file mode 100644 index 1afb9822419c..000000000000 --- a/third_party/bazel/rules_haskell/tutorial/lib/BUILD.bazel +++ /dev/null @@ -1,10 +0,0 @@ -load( - "@io_tweag_rules_haskell//haskell:haskell.bzl", - "haskell_library", -) - -haskell_library( - name = "booleans", - srcs = ["Bool.hs"], - visibility = ["//main:__pkg__"], -) diff --git a/third_party/bazel/rules_haskell/tutorial/lib/Bool.hs b/third_party/bazel/rules_haskell/tutorial/lib/Bool.hs deleted file mode 100644 index 7390fcc0b838..000000000000 --- a/third_party/bazel/rules_haskell/tutorial/lib/Bool.hs +++ /dev/null @@ -1,19 +0,0 @@ --- base is not available when no dependencies, so we have to define everything --- from scratch. -{-# LANGUAGE NoImplicitPrelude #-} - -module Bool where - -data Bool = False | True - -not :: Bool -> Bool -not False = True -not True = False - -and :: Bool -> Bool -> Bool -and True True = True -and _ _ = False - -or :: Bool -> Bool -> Bool -or False False = False -or _ _ = True 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] diff --git a/third_party/bazel/rules_haskell/tutorial/tools/build_rules/BUILD.bazel b/third_party/bazel/rules_haskell/tutorial/tools/build_rules/BUILD.bazel deleted file mode 100644 index e69de29bb2d1..000000000000 --- a/third_party/bazel/rules_haskell/tutorial/tools/build_rules/BUILD.bazel +++ /dev/null diff --git a/third_party/bazel/rules_haskell/tutorial/tools/build_rules/prelude_bazel b/third_party/bazel/rules_haskell/tutorial/tools/build_rules/prelude_bazel deleted file mode 100644 index 7d275159b5b3..000000000000 --- a/third_party/bazel/rules_haskell/tutorial/tools/build_rules/prelude_bazel +++ /dev/null @@ -1,5 +0,0 @@ -load("@io_tweag_rules_haskell//haskell:haskell.bzl", - "haskell_binary", - "haskell_toolchain_library", - "haskell_library", -) |