I hereby claim:
- I am danburton on github.
- I am danburton (https://keybase.io/danburton) on keybase.
- I have a public key ASDWfyHJVknV_V0NtnjEH6bguSeVgQl9e7cEZuH2YLFOWQo
To claim this, I am signing this object:
Dan Burton DanBurton
DanBurton
/ stack.yaml
Created
February 26, 2018 00:28
stack.yaml with "setup-info" for ghc-8.2-rc1 (ghc-8.4.0.20180224)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| setup-info: | |
| ghc: | |
| windows64: | |
| 8.4.0.20180224: | |
| url: https://downloads.haskell.org/~ghc/8.4.1-rc1/ghc-8.4.0.20180224-x86_64-unknown-mingw32.tar.xz | |
| sha256: 7d125b3bbaa2ec4022215787a259a41bf944ec02736c9555f2a19432eef21cad | |
| linux64: | |
| 8.4.0.20180224: | |
| url: https://downloads.haskell.org/~ghc/8.4.1-rc1/ghc-8.4.0.20180224-x86_64-unknown-linux.tar.xz | |
| sha256: 34240b8055e81f78a58becd1351ce03235e1bb3fd14c419a7e97631514a780ad |
DanBurton
/ curator-removalizer.hs
Created
March 17, 2018 17:51
Parses stackage-curator output (on stderr, saved in "scheck.txt") and transforms this into package removals for build-constraints.yaml (printed to "removalizer.txt")
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env stack | |
| {- stack | |
| script | |
| --resolver lts-10.2 | |
| -} | |
| module Main where | |
| import qualified Data.Char as Char | |
| import Data.Semigroup ((<>)) |
DanBurton
/ setup-info-gen.hs
Last active
August 21, 2018 00:14
Generate a stack.yaml that can install ghc-8.6.1-beta1 (aka ghc-8.6.0.20180810)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env stack | |
| {- stack | |
| script | |
| --resolver lts-11.16 | |
| --package bytestring | |
| --package http-conduit | |
| -} | |
| -- usage: ./Main.hs | |
| -- modify the baseUrl and ghcDateVersion to taste |
DanBurton
/ stack.yaml
Last active
September 24, 2018 01:51
stack.yaml with "setup-info" for ghc-8.6.1-beta1 (aka ghc-8.6.0.20180810)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Generated from https://gist.github.com/DanBurton/5b7fc5fae1ebfdc5bcaecfbac15d2903 | |
| setup-info: | |
| ghc: | |
| windows32: | |
| 8.6.0.20180810: | |
| url: https://downloads.haskell.org/~ghc/8.6.1-beta1/ghc-8.6.0.20180810-i386-unknown-mingw32.tar.xz | |
| sha256: 9be35662d510d3489ddd583e7d9d38ee6b6ba40b852f6e90e0dfd97a0d7bbfd3 | |
| linux32-nopie: | |
| 8.6.0.20180810: |
DanBurton
/ serve.rkt
Created
October 1, 2018 02:42
A typed version of https://docs.racket-lang.org/more/index.html
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #lang typed/racket | |
| (require (for-syntax syntax/parse)) | |
| (require typed/net/url) | |
| (require racket/control) | |
| (require/typed xml | |
| [xexpr->string (Xexpr -> String)]) | |
DanBurton
/ FromIntegralMay.hs
Created
February 27, 2019 04:22
Safe integral coercions via bounds checking
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE ScopedTypeVariables, TypeApplications #-} | |
| import Data.Int (Int32, Int64) | |
| fromIntegralMay :: forall b a. (Bounded b, Integral a, Integral b) => a -> Maybe b | |
| fromIntegralMay a | a > fromIntegral (maxBound @b) || a < fromIntegral (minBound @b) = Nothing | |
| fromIntegralMay a = Just (fromIntegral a) | |
| justMin = fromIntegralMay @Int32 (-2147483648 :: Int64) | |
| justMax = fromIntegralMay @Int32 (2147483647 :: Int64) |
DanBurton
/ haskell-packages-extendo.nix
Last active
March 9, 2019 18:18
Convenience of "extend", implemented with "override"
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| self: super: | |
| let | |
| r = rec { | |
| # addExtendo : haskellPackages -> extension | |
| addExtendo = newHp: _: _: { | |
| extendo = hpExtendo newHp; | |
| }; | |
| # hpExtendo : haskellPackages -> extension -> haskellPackages | |
| # performs the extension, and also performs the addExtendo extension afterwards. | |
| hpExtendo = hp: extension: |
DanBurton
/ try-ghc-8.8.1-alpha1.sh
Created
April 26, 2019 03:09
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| cd /tmp | |
| mkdir ghc-test && cd ghc-test | |
| wget https://raw.githubusercontent.com/DanBurton/stack-setup-info-gen/master/output/stack-ghc-8.8.1-alpha1.yaml | |
| mv stack-ghc-8.8.1-alpha1.yaml stack.yaml | |
| stack setup | |
| stack repl |
DanBurton
/ keybase.md
Created
June 9, 2019 18:48
DanBurton
/ try-ghc-8.8.1-alpha2.sh
Created
June 16, 2019 03:19
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| VERSION=8.8.1-alpha2 | |
| cd /tmp | |
| mkdir ghc-test && cd ghc-test | |
| wget https://raw.githubusercontent.com/DanBurton/stack-setup-info-gen/master/output/stack-ghc-$VERSION.yaml | |
| mv stack-ghc-$VERSION.yaml stack.yaml | |
| stack setup | |
| stack repl |