Skip to content

Instantly share code, notes, and snippets.

@psteckler
Created December 21, 2018 00:20
Show Gist options
  • Save psteckler/79ed4012448c31f8e4cfffe9ed061bbd to your computer and use it in GitHub Desktop.
Save psteckler/79ed4012448c31f8e4cfffe9ed061bbd to your computer and use it in GitHub Desktop.
printfs in Coda
src/app/cli/src/client.ml: let fail err = eprintf "%s\n" err ; exit 1 in
src/app/cli/src/client.ml: | Ok res -> printf "%s\n" res ; Deferred.unit
src/app/cli/src/client.ml: | Ok () -> printf "Daemon stopping\n"
src/app/cli/src/client.ml: printf "Daemon likely stopped: %s\n" (Error.to_string_hum e) ))
src/app/cli/src/client.ml: | Ok (Some b) -> printf "%s\n" (Currency.Balance.to_string b)
src/app/cli/src/client.ml: printf "No account found at that public_key (zero balance)\n"
src/app/cli/src/client.ml: printf "Failed to get balance %s\n" (Error.to_string_hum e) ))
src/app/cli/src/client.ml: | Ok (Ok ()) -> printf "Payment is valid on the existing blockchain!"
src/app/cli/src/client.ml: | Error e | Ok (Error e) -> eprintf "%s" (Error.to_string_hum e) ))
src/app/cli/src/client.ml: eprintf "Failed to get nonce: %s\n" e ;
src/app/cli/src/client.ml: printf "%s\n" (Account.Nonce.to_string nonce) ;
src/app/cli/src/client.ml: eprintf "Failed to get nonce %s\n" e ;
src/app/cli/src/client.ml: eprintf "Error: %s" (Error.to_string_hum e) ;
src/app/cli/src/client.ml: eprintf "Could not read payments from %s.\n" payments_path ;
src/app/cli/src/client.ml: eprintf
src/app/cli/src/client.ml: printf "Public key: %s\nPrivate key: %s\n"
src/app/cli/src/client.ml: printf "Public key: %s\n"
src/app/cli/src/client.ml: | Error e -> eprintf !"Error: %{sexp:Error.t}\n" e
src/app/cli/src/client.ml: | Ok (Error e) -> printf !"Ledger not found: %{sexp:Error.t}\n" e
src/app/cli/src/client.ml: | Ok (Ok accounts) -> printf !"%{sexp:Account.t list}\n" accounts ))
src/app/cli/src/client.ml: List.iter all ~f:(fun (k, v) -> printf "%s\t%s\n" k (Md5.to_hex v)) ;
src/app/cli/src/coda.ml: Core.printf "Starting background coda daemon. (Log Dir: %s)\n%!"
src/app/cli/src/coda.ml: eprintf "Error: failed to connect to any peers\n" ;
src/app/cli/src/coda.ml: eprintf
src/app/cli/src/transaction_snark_profiler.ml: Core.printf !"%s\n%!" message ;
src/app/lite/main.ml: printf "most recent protocol state age: %s\n" (Time.Span.to_string age) ;
src/app/lite/main.ml: printf "Could not retrieve verifier code: %s" (Error.to_string_hum e) )
src/app/logproc/src/logproc.ml: printf
src/app/logproc/src/logproc.ml: printf " %s\n"
src/app/logproc/src/logproc.ml: with _ -> printf !"%s\n" l )
src/app/reformat/reformat.ml: printf !"%s %{sexp: string List.t}\n" prog args ;
src/app/reformat/reformat.ml: eprintf "File: %s has needs to be ocamlformat-ed\n" file ;
src/lib/cached/cached.ml: Core.printf "Loaded %s from manual installation path %s\n" name
src/lib/cached/cached.ml: Core.printf
src/lib/cached/cached.ml: Core.printf "Loaded %s from autogen path %s\n" name autogen_path ;
src/lib/cached/cached.ml: Core.printf
src/lib/cli_lib/background_daemon.ml: Print.printf !"Error: daemon not running. See `coda daemon`\n" ;
src/lib/cli_lib/keypair.ml: eprintf "Error: passwords don't match, try again\n" ;
src/lib/cli_lib/render.ml: printf "%s\n" (Print.to_yojson t |> Yojson.Safe.pretty_to_string)
src/lib/cli_lib/render.ml: else printf "%s\n" (Print.to_text t)
src/lib/cli_lib/render.ml: | Error e -> eprintf "%s" (Error.to_string_hum e)
src/lib/coda_debug/call_logger.ml: Printf.printf !"$$$ %s@%d: [%s]\n%!" name !epoch
src/lib/consensus/mechanism.ml: Core.Printf.eprintf "%s\n" msg ;
src/lib/distributed_dsl/distributed_dsl.ml: (*printf "There's a transition at peer %d\n%!" (MyNode.ident n);*)
src/lib/distributed_dsl/distributed_dsl.ml: (*printf "There's an event since no stuff for peers\n%!";*)
src/lib/ledger_builder/ledger_builder.ml: eprintf !"Unexpected error: %s %{sexp:Error.t}\n%!" __LOC__ e ) ;
src/lib/logger/logger.ml: if t.null then ifprintf stdout ""
src/lib/logger/logger.ml: printf "%s\n" output )
src/lib/snarky/examples/merkle_update/merkle_update.ml:let () = printf "Verified: %b\n" verified
src/lib/snarky/examples/tutorial/tutorial.ml: printf !"is %{sexp:Field.t} a cube root of 1? %b\n%!" cube_root_of_1 is_valid
src/lib/snarky/examples/tutorial/tutorial.ml: printf
src/lib/snarky/examples/tutorial/tutorial.ml: let () = printf !"Result %{sexp: Mat.t}\n%!" (Mat.mul a b)
src/lib/snarky/examples/tutorial/tutorial.ml: printf "Is mat_1245 the sqrt of our 9;12 24;33 matrix: %b?" is_valid
src/lib/snarky/src/gm_verifier_gadget.ml: Core.printf !"t1 = %{sexp:t}\nt2 = %{sexp:t}\n%!" t1 t2)
src/lib/snarky/src/verifier_gadget.ml: printf "Converting vk_bits\n%!" ;
src/lib/snarky/src/verifier_gadget.ml: printf "next converting input bits\n%!" ;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment