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
set nocompatible | |
filetype off | |
" Vundle and its packages | |
set rtp+=~/.vim/bundle/Vundle.vim | |
call vundle#begin() | |
Plugin 'VundleVim/Vundle.vim' |
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
#!/bin/bash | |
# Use as: find . -name "*.re" -exec ./convert_re.sh {} \; | |
set -euf -o pipefail | |
src="$1" | |
dst="${src%.re}.ml" | |
echo Converting "$src" to "$dst" |
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
version = 0.12 | |
profile = default | |
break-cases = toplevel | |
break-fun-decl = fit-or-vertical | |
break-infix = fit-or-vertical | |
cases-exp-indent = 2 | |
doc-comments-padding = 1 | |
if-then-else = k-r | |
indicate-multiline-delimiters = closing-on-separate-line | |
leading-nested-match-parens = true |
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
type ('a, 'b) pipeline = | |
| [] : ('a, 'a) pipeline | |
| ( :: ) : ('a, 'b) Pipeline.step * ('b, 'c) pipeline -> ('a, 'c) pipeline | |
let pointless_pipeline = [Pipeline.sync sin; Pipeline.sync cos; Pipeline.sync Float.to_string] |
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
$ esy | |
info esy 0.6.0 (using esy.json) | |
info checking https://github.com/ocaml/opam-repository for updates... | |
info checking https://github.com/esy-ocaml/esy-opam-override for updates... | |
info resolving esy packages: done | |
esy: internal error, uncaught exception: | |
(Failure | |
"inconsistent state: found a package not in the cudf version map @opam/mysql@link:../upstream/ocaml-mysql") | |
Raised at file "pervasives.ml", line 32, characters 17-33 | |
Called from file "esy-solve/Universe.re", line 638, characters 22-189 |
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
"gmp": { | |
"source": "archive:https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz#9dc6981197a7d92f339192eea974f5eca48fcffe", | |
"override": { | |
"buildsInSource": true, | |
"build": [ | |
"find ./ -exec touch -t 200905010101 {} +", | |
"./configure --prefix=#{self.install} --host x86_64-w64-mingw32 CFLAGS=-fPIC", | |
"make" | |
], | |
"install": [ |
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
{ | |
"name": "yarn-pkg-config", | |
"source": "archive:https://pkgconfig.freedesktop.org/releases/pkg-config-0.29.2.tar.gz#76e501663b29cb7580245720edfb6106164fad2b", | |
"override": { | |
"buildsInSource": true, | |
"build": [ | |
[ | |
"find", | |
"./", | |
"-exec", |
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 make_headers content_length = | |
Httpaf.Headers.of_list | |
[("content-length", string_of_int content_length); ("connection", "close")] | |
let request_handler _client_address (reqd : Lwt_unix.file_descr Httpaf.Reqd.t) | |
= | |
let request = Httpaf.Reqd.request reqd in | |
let uri = Uri.of_string request.target in | |
let meth = request.meth in | |
match (meth, Uri.path uri) with |
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
(* This requires ezgzip and tar, probably installed via opam. The simplest way to test this code is: | |
$ utop tar_gz_example.ml | |
with a test.tar.gz file existing in the current directory. If test.tar.gz contains a lot of data | |
then your computer may have a bad time as this extracts everything from the tar file into | |
memory. *) | |
#require "ezgzip";; | |
#require "tar";; | |
(* Convenience - used for sanity checks to make sure the tar content |
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
.PHONY: all test benchmark doc repl clean gh-pages | |
all: | |
jbuilder build --dev | |
test: | |
jbuilder runtest --dev | |
benchmark: | |
jbuilder build benchmark/bench.exe |