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
/ try-ghc-alpha-or-rc.sh
Last active
July 28, 2022 18:07
This file contains 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='9.4.1-rc1' | |
| # Note: this ghc version requires stack 2.7.3 or newer to install correctly | |
| 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 |
DanBurton
/ try-ghc-8.10.1-alpha1.sh
Created
November 25, 2019 01:03
This file contains 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.10.1-alpha1 | |
| 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 | |
| ### debian/ubuntu users, depending on your version, may need to modify stack.yaml as follows, sorry | |
| ### sed -i 's/20191121/20191123/g' stack.yaml | |
| ### Alternatively, just don't use match-exact? (Untested) | |
| stack setup | |
| stack repl |
DanBurton
/ try-ghc-8.8.1-rc1.sh
Created
July 24, 2019 15:50
This file contains 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-rc1 | |
| 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 |
DanBurton
/ try-ghc-8.8.1-alpha2.sh
Created
June 16, 2019 03:19
This file contains 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 |
DanBurton
/ keybase.md
Created
June 9, 2019 18:48
DanBurton
/ try-ghc-8.8.1-alpha1.sh
Created
April 26, 2019 03:09
This file contains 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
/ haskell-packages-extendo.nix
Last active
March 9, 2019 18:18
Convenience of "extend", implemented with "override"
This file contains 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
/ FromIntegralMay.hs
Created
February 27, 2019 04:22
Safe integral coercions via bounds checking
This file contains 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
/ serve.rkt
Created
October 1, 2018 02:42
A typed version of https://docs.racket-lang.org/more/index.html
This file contains 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
/ 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 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: |
NewerOlder