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
open Ppxlib | |
open Asttypes | |
(** Ppx to create a type level form of a natural number | |
Usage: | |
type t = [%nat 3] | |
This will become |
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
let%test "peers can provide transitions with length between max_length to \ | |
2 * max_length" = | |
let logger = Logger.create () in | |
Thread_safe.block_on_async_exn (fun () -> | |
let%bind me = create_root_frontier ~logger Genesis_ledger.accounts in | |
let%bind peer = | |
create_root_frontier ~logger Genesis_ledger.accounts | |
in | |
let my_root = Transition_frontier.root me in | |
let peer_root = Transition_frontier.root peer in |
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
open Core | |
open Async | |
let get_directory filename = Core.Filename.dirname filename | |
let compilation_dir = "_build" ^/ "default" | |
let inline_test_runner_arg = "inline-test-runner" | |
let only_test_arg = "-only-test" |
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
open! Base | |
(* Sometimes rather than redefining the record you would like to have a field or | |
a set of fields that you can modify on the fly. | |
In OCaml if you want to have a field in a record that can be updated in place | |
you must use some additional syntax. The mutable keyword makes the field | |
modifiable. | |
Then you can use <- to set the record value to a new value. *) |
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
remove_snark_() { | |
rm -rf _build/default/src/lib/snark_params | |
} |
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
module Reader = struct | |
type 't t = {reader: 't Pipe.Reader.t; mutable has_reader: bool} | |
let wrap_reader reader = {reader; has_reader= false} | |
let set_has_reader reader = | |
if reader.has_reader then raise Multiple_reads_attempted | |
else reader.has_reader <- true | |
let map reader ~f = |
NewerOlder