chessai chessai
chessai
/ WeakBag.hs
Created
October 10, 2018 03:34
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
| -- Copyright (c) 2014, Ryan Trinkle | |
| -- All rights reserved. | |
| -- | |
| -- Redistribution and use in source and binary forms, with or without | |
| -- modification, are permitted provided that the following conditions are met: | |
| -- | |
| -- * Redistributions of source code must retain the above copyright notice, this | |
| -- list of conditions and the following disclaimer. | |
| -- | |
| -- * Redistributions in binary form must reproduce the above copyright notice, |
chessai
/ default.nix
Created
October 5, 2018 21:39
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
| { frontend ? false # Whether or not to enable the frontend | |
| , compiler ? if frontend then "ghcjs84" else "ghc843" # compiler we are using | |
| , closure ? false # Whether or not to use the closure compiler | |
| , prepack ? false # Whether or not to use prepack | |
| , gzipJS ? false # Whether or not to compress the JS | |
| , gzipCSS ? false # Whether or not to compress the CSS | |
| }: | |
| with rec { | |
| fetchNixpkgs = import ./fetchNixpkgs.nix; |
chessai
/ default.nix
Created
October 5, 2018 21:23
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
| { frontend ? false # Whether or not to enable the frontend | |
| , compiler ? if frontend then "ghcjs84" else "ghc843" # compiler we are using | |
| , closure ? false # Whether or not to use the closure compiler | |
| , prepack ? false # Whether or not to use prepack | |
| , gzipJS ? false # Whether or not to compress the JS | |
| , gzipCSS ? false # Whether or not to compress the CSS | |
| }: | |
| with rec { | |
| fetchNixpkgs = import ./fetchNixpkgs.nix; |
chessai
/ Category.hs
Created
October 2, 2018 20:37
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 TypeFamilies #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE TypeInType #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE QuantifiedConstraints #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE ExistentialQuantification #-} | |
| {-# LANGUAGE NoImplicitPrelude #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} |
chessai
/ gist:3713ce376bce77ea3dd7448644de11f4
Created
September 30, 2018 19: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
| diff --git a/compiler/typecheck/TcRnExports.hs b/compiler/typecheck/TcRnExports.hs | |
| index dbe2b4b22b..1b57608a41 100644 | |
| --- a/compiler/typecheck/TcRnExports.hs | |
| +++ b/compiler/typecheck/TcRnExports.hs | |
| @@ -33,7 +33,7 @@ import DataCon | |
| import PatSyn | |
| import Maybes | |
| import Util (capitalise) | |
| - | |
| +import FastString (fsLit) |
chessai
/ problems_with_hw-kafka-client.txt
Last active
August 31, 2018 14:42
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
| uses String instead of Text | |
| lawless AND useless typeclasses | |
| uses things like [(String,String)] instead of Map Text Text | |
| has hand-written typeclass instances that are strictly worse than their derived versions | |
| no explicit import lists | |
| no explicit export lists | |
| Some places should use Set instead of List (e.g. Subscription) |
chessai
/ gist:aeb2ce03ae8f96fa150ee813328cab0f
Created
August 9, 2018 15:42
This file has been truncated, but you can view the full file.
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
| /nix/store/ks30q9pvvwwz9qnfv1jny85fgh6kmhxl-interface-0.2.drv | |
| +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh | |
| +---/nix/store/2ff99ggdn452nrz8fylk2r80783ap2px-gnugrep-3.1.drv | |
| | +---/nix/store/136pix4jkygp9vz7h33gqlaghsydwvhy-grep-3.1.tar.xz.drv | |
| | +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh [...] | |
| | +---/nix/store/w3xksy5k5rywl4z27v7gi8yafb7ci2sw-bootstrap-tools.drv | |
| | | +---/nix/store/b7irlwi2wjlx5aj1dghx4c8k3ax6m56q-busybox.drv | |
| | | +---/nix/store/drsdq2ca1q1dj1hd0r1w2hl4s0fak1vh-bootstrap-tools.tar.xz.drv | |
| | | +---/nix/store/pvn8nrg8aziwsc7yy8wkgxf4s9amnl3d-unpack-bootstrap-tools.sh | |
| | +---/nix/store/w4s5n5za125y8hyqyqzi57v6hajvrwp2-bootstrap-stage4-stdenv-linux.drv |
chessai
/ gist:6e432a5eff38c1b2c5f68d68a32216ae
Created
August 9, 2018 15:26
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
| { | |
| "/nix/store/x5byfq70l9lmvwshg0b5qa4ikc8yhdvf-jsaddle-0.9.5.0.drv": { | |
| "outputs": { | |
| "out": { | |
| "path": "/nix/store/ym3x6vmfhzq675flr8qw7q2pgz1y39g9-jsaddle-0.9.5.0" | |
| } | |
| }, | |
| "inputSrcs": [ | |
| "/nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs", | |
| "/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh" |
chessai
/ gist:551e6f8ea8c59d0d5b406ab2aa2fc607
Created
August 9, 2018 15:10
This file has been truncated, but you can view the full file.
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
| /nix/store/1fz32rhf62znsg60np1a3qdnpnpzsw4n-interface-0.2.drv | |
| +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh | |
| +---/nix/store/2ff99ggdn452nrz8fylk2r80783ap2px-gnugrep-3.1.drv | |
| | +---/nix/store/136pix4jkygp9vz7h33gqlaghsydwvhy-grep-3.1.tar.xz.drv | |
| | +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh [...] | |
| | +---/nix/store/w3xksy5k5rywl4z27v7gi8yafb7ci2sw-bootstrap-tools.drv | |
| | | +---/nix/store/b7irlwi2wjlx5aj1dghx4c8k3ax6m56q-busybox.drv | |
| | | +---/nix/store/drsdq2ca1q1dj1hd0r1w2hl4s0fak1vh-bootstrap-tools.tar.xz.drv | |
| | | +---/nix/store/pvn8nrg8aziwsc7yy8wkgxf4s9amnl3d-unpack-bootstrap-tools.sh | |
| | +---/nix/store/w4s5n5za125y8hyqyqzi57v6hajvrwp2-bootstrap-stage4-stdenv-linux.drv |
chessai
/ gist:e4ad506583b010cdbc07e4aac57a84e0
Created
August 9, 2018 15:01
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
| /nix/store/jb0yfmwxcavk62rmb5f26xgh9cwjhmnx-cabal2nix-interface.drv | |
| +---/nix/store/60101705hbqwba38kp28sqa9bykmvq68-interface | |
| +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh | |
| +---/nix/store/z7pkrfk5fmggdzyhpjzxv0bfx6mxvh75-bash-4.4-p23.drv | |
| | +---/nix/store/20sqhza7ab7ah73bxj1ydzx7b4y0fs8f-bash44-021.drv | |
| | +---/nix/store/29w58xpj3jhbv2bppxiyid5icfhfayp1-bash44-012.drv | |
| | +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh [...] | |
| | +---/nix/store/w3xksy5k5rywl4z27v7gi8yafb7ci2sw-bootstrap-tools.drv | |
| | | +---/nix/store/b7irlwi2wjlx5aj1dghx4c8k3ax6m56q-busybox.drv | |
| | | +---/nix/store/drsdq2ca1q1dj1hd0r1w2hl4s0fak1vh-bootstrap-tools.tar.xz.drv |