Hezekiah M. Carty hcarty
This file contains hidden or 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
| ; Add SmokeTrail as a child object, adjusting the position of the spawner as needed, to get a smoke trail | |
| ; or exhaust effect. | |
| [SmokeTrail] | |
| Spawner = SmokeSpawner | |
| [SmokeSpawner] | |
| Object = SmokeParticle | |
| Position = (-17, 0, -1) | |
| UseRelativeSpeed = true |
hcarty
/ profiles.json
Last active
June 13, 2020 16:51
Windows Terminal configuration snippet for fdopen's opam + OCaml on Windows
This file contains hidden or 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
| { | |
| // Make changes here to the bash.exe profile | |
| "guid": "{a515ab70-2da7-4310-930d-b98cb83a16a2}", | |
| "name": "OCaml Cygwin bash", | |
| "commandline": "C:/OCaml64/bin/bash.exe --login -i", | |
| "icon": "https://ocaml.org/img/favicon32x32.ico", | |
| "hidden": false | |
| } |
This file contains hidden or 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 hidden or 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 hidden or 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 |
hcarty
/ pipeline_gadt_experiment.ml
Created
August 5, 2019 19:18
GADT to wrap steps when using lwt_pipeline
This file contains hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 |