WORKSPACE

workspace(name = "subtyping")

http_archive(
  name = "io_tweag_rules_haskell",
  strip_prefix = "rules_haskell-d867758114020f7eeaa83ffbda6393e131ed1462",
  urls = ["https://github.com/tweag/rules_haskell/archive/d867758114020f7eeaa83ffbda6393e131ed1462.tar.gz"]
)

load("@io_tweag_rules_haskell//haskell:repositories.bzl", "haskell_repositories")
haskell_repositories()

http_archive(
  name = "io_tweag_rules_nixpkgs",
  strip_prefix = "rules_nixpkgs-0.2",
  urls = ["https://github.com/tweag/rules_nixpkgs/archive/v0.2.tar.gz"],
)

load("@io_tweag_rules_nixpkgs//nixpkgs:nixpkgs.bzl", "nixpkgs_package")

nixpkgs_package(
  name = "ghc",
  nix_file_content = """
  let pkgs = import <nixpkgs> {}; in
  pkgs.haskell.packages.ghc822.ghcWithPackages (p: with p;
    [containers parsec mtl haskeline]
  )
""",
)

register_toolchains("//:ghc")