I hereby claim:
- I am nuttycom on github.
- I am nuttycom (https://keybase.io/nuttycom) on keybase.
- I have a public key ASCTSxIwGt5VqJHLESpSmjCI6j1rMq2Ywi5ZnSi8h0Vkggo
To claim this, I am signing this object:
| {-# LANGUAGE RankNTypes #-} | |
| import Control.Monad (join) | |
| sendBoth | |
| :: (Monad m, Applicative n) | |
| => (forall a. a -> m ()) | |
| -> (forall a. m a -> n a) | |
| -> (forall a. n a -> m a) | |
| -> m a |
| error[E0515]: cannot return value referencing local variable `stmt_blocks` | |
| --> zcash_client_sqlite/src/chain.rs:200:9 | |
| | | |
| 194 | let iter = stmt_blocks.query_map(&[from_height.0], |row| { | |
| | ----------- `stmt_blocks` is borrowed here | |
| ... | |
| 200 | / Ok(Box::new({ | |
| 201 | | iter.map(|cbr_result| { | |
| 202 | | let cbr = cbr_result.map_err(Error::from)?; | |
| 203 | | let block: CompactBlock = parse_from_bytes(&cbr.data).map_err(Error::from)?; |
| let | |
| rev = "d5291756487d70bc336e33512a9baf9fa1788faf"; | |
| #nvimrev = "9842c4b1076a2f54de5e9a81fd91b2b91b1d051e"; | |
| pkgs = import (builtins.fetchTarball { url = "https://github.com/NixOS/nixpkgs/archive/${rev}.tar.gz"; }) {}; | |
| #nvimpkgs = import (builtins.fetchTarball { url = "https://github.com/NixOS/nixpkgs/archive/${nvimrev}.tar.gz"; }) {}; | |
| custom-hasktags = pkgs.fetchFromGitHub { | |
| owner = "MarcWeber"; | |
| repo = "hasktags"; |
| nuttycom@summer:~/ λ sh <(curl https://nixos.org/nix/install) --no-daemon | |
| % Total % Received % Xferd Average Speed Time Time Time Current | |
| Dload Upload Total Spent Left Speed | |
| 100 2472 100 2472 0 0 3994 0 --:--:-- --:--:-- --:--:-- 3993 | |
| downloading Nix 2.1.3 binary tarball for x86_64-darwin from 'https://nixos.org/releases/nix/nix-2.1.3/nix-2.1.3-x86_64-darwin.tar.bz2' to '/var/folders/vx/n5_b_39s6qj6tgvh2m82r8v00000gn/T/nix-binary-tarball-unpack.XXXXXXXXXX.3tz9bT1l'... | |
| % Total % Received % Xferd Average Speed Time Time Time Current | |
| Dload Upload Total Spent Left Speed | |
| 100 28.8M 100 28.8M 0 0 803k 0 0:00:36 0:00:36 --:--:-- 1615k | |
| Note: a multi-user installation is possible. See https://nixos.org/nix/manual/#sect-multi-user-installation | |
| performing a single-user installation of Nix... |
I hereby claim:
To claim this, I am signing this object:
| {-# LANGUAGE TemplateHaskell #-} | |
| {-# LANGUAGE DeriveFoldable #-} | |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE DeriveTraversable #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| module Dagny.Task where |
| [error] /Users/nuttycom/personal/scala_world-2017/sample_code/xenomorph/src/main/scala/xenomorph/Schema.scala:263: type mismatch; | |
| [error] found : [γ$13$]xenomorph.PropSchema[O,[γ$40$]xenomorph.HCofree[[β$0$[_$1], γ$1$]xenomorph.SchemaF[P,β$0$,γ$1$],A,γ$40$],γ$13$] ~> [γ$14$]xenomorph.PropSchema[N,[γ$40$]xenomorph.HCofree[[β$0$[_$1], γ$1$]xenomorph.SchemaF[P,β$0$,γ$1$],A,γ$40$],γ$14$] | |
| [error] (which expands to) scalaz.NaturalTransformation[[γ$13$]xenomorph.PropSchema[O,[γ$40$]xenomorph.HCofree[[β$0$[_$1], γ$1$]xenomorph.SchemaF[P,β$0$,γ$1$],A,γ$40$],γ$13$],[γ$14$]xenomorph.PropSchema[N,[γ$40$]xenomorph.HCofree[[β$0$[_$1], γ$1$]xenomorph.SchemaF[P,β$0$,γ$1$],A,γ$40$],γ$14$]] | |
| [error] required: [γ$3$]xenomorph.PropSchema[O,[γ$2$]xenomorph.HCofree[[β$0$[_$1], γ$1$]xenomorph.SchemaF[P,β$0$,γ$1$],A,γ$2$],γ$3$] ~> G | |
| [error] (which expands to) scalaz.NaturalTransformation[[γ$3$]xenomorph.PropSchema[O,[γ$2$]xenomorph.HCofree[[β$0$[_$1], γ$1$]xenomorph.SchemaF[P,β$0$,γ$1$],A,γ$2$],γ$3$],G] | |
| [error] Pr |
| def foo(): | |
| done = [False]; | |
| def handle_sigint(signal, frame): | |
| done[0] = True; | |
| print("SIGINT received; stopping...") | |
| signal.signal(signal.SIGINT, handle_sigint) | |
| while not done[0]: |
| interface ShapeVisitor<A> | |
| { | |
| // The implementation of ApplyRect defines handling for the | |
| // operation defined by this visitor in the case that the | |
| // shape is a rectangle. | |
| public A ApplyRect(IRectangle rect); | |
| // The implementation of ApplyCircle defines handling for the | |
| // operation defined by this visitor in the case that the | |
| // shape is a circle. |
| Python 3.5.2 |Anaconda custom (64-bit)| (default, Jul 2 2016, 17:53:06) | |
| [GCC 4.4.7 20120313 (Red Hat 4.4.7-1)] on linux | |
| Type "help", "copyright", "credits" or "license" for more information. | |
| >>> import cata | |
| >>> p = cata.DurationPeriod('a', 1) | |
| >>> str(p) | |
| 'end_date: a, duration: 1' | |
| >>> q = cata.DatePeriod('a', 'b') | |
| >>> str(q) | |
| 'end_date: a, start_date: b' |