Skip to content

Instantly share code, notes, and snippets.

@khabinov
khabinov / shBrushFSharp.js
Created February 26, 2012 12:56
F# brush
// WTFPL licensed
// scratching the surface of research microsoft com/fsharp/manual/spec2.aspx#_Toc207785562
// omits reserved-ident-formats, reserved-symbolic-sequence, quote-op-*, symbolic-op, ...
SyntaxHighlighter.brushes.FSharp = function()
{
var keywords = 'abstract and as assert base begin class default delegate do done ' +
'downcast downto elif else end exception extern false finally for '+
'fun function if in inherit inline interface internal lazy let ' +
'match member module mutable namespace new null of open or '+
'override private public rec return static struct then to '+
@khabinov
khabinov / detached_zraft_leader.log
Created December 10, 2015 03:23
Failed unit test for detached zraft leader
==> zraft_lib (eunit)
======================== EUnit ========================
module 'zraft_detach_the_leader_tests'
zraft_detach_the_leader_tests: detach_the_leader_test_...src/zraft_consensus.erl:285:<0.119.0>: [INFO] {test_peer_2,nonode@nohost}: Init state
src/zraft_consensus.erl:285:<0.116.0>: [INFO] {test_peer_1,nonode@nohost}: Init state
src/zraft_consensus.erl:1033:<0.116.0>: [INFO] {test_peer_1,nonode@nohost}: Now is leader in term 2
test/zraft_detach_the_leader_tests.erl:74:<0.114.0>: Wait leadership attempt - 1
test/zraft_detach_the_leader_tests.erl:74:<0.114.0>: Wait leadership attempt - 2
src/zraft_consensus.erl:356:<0.119.0>: [INFO] {test_peer_2,nonode@nohost}: Peer {test_peer_1,nonode@nohost} has restarted
src/zraft_peer_proxy.erl:242:<0.125.0>: [WARNING] {{test_peer_1,nonode@nohost},'->',{test_peer_2,nonode@nohost}}: Peer out of date