keleshev

let printf = Format.printf
let fprintf = Format.fprintf
let dprintf = Format.dprintf

let pp_list ~sep pp =
  Format.pp_print_list ~pp_sep:(fun ppf () -> Format.fprintf ppf sep) pp

let pp_string ppf string = fprintf ppf "%S" string

let many = [

keleshev

ast.exe: ast.c
	gcc -Werror -Wswitch -Wimplicit-fallthrough ast.c -o ast.exe

clean:
	rm -f *.o *.exe *.s a.out

test.s: ast.exe
	./ast.exe > test.s

keleshev

(* https://keleshev.com/advanced-error-handling-in-ocaml *)

let failwithf f = Printf.ksprintf failwith f

(*

  t -> bool | int

  e -> true | false
     | 0 | 1 | 2 | …

keleshev

(* https://keleshev.com/composable-error-handling-in-ocaml *)

open Printf

let (>>=) = Result.bind
let (let*) = Result.bind


module Exceptions_example (X: sig
  type tree

keleshev

open Printf

module CLI = struct
  type t = {
    verbose: bool;
    max_files: int;
    dir_to_list: string;
    sort_order: [`alpha | `chrono | `owner] option;
    args: string list;
  }

keleshev

module Make (X: sig
  val block_size: int
  val hash: string -> string (* binary, not digest *)
end) = struct
  let o_pad = String.make X.block_size '\x5C'
  let i_pad = String.make X.block_size '\x36'

  let block_xor left right =
    let result = Bytes.create X.block_size in

keleshev

%{
  #include <stdio.h>
  #include "parser.h"
%}

%%

[ \r\n\t]*   { continue; /* Skip blanks. */ }
[0-9]+       { sscanf(yytext, "%d", &yylval->value); 
               return TOKEN_NUMBER; }

keleshev

function verboseRegExp(input) {
  if (input.raw.length !== 1) {
    throw Error('verboseRegExp: interpolation is not supported');
  }

  let source = input.raw[0];
  let regexp = /(?<!\\)\s|[/][/].*|[/][*][\s\S]*[*][/]/g;
  let result = source.replace(regexp, '');

keleshev

.PHONY: build install

ifeq ($(PREFIX),)
INSTALL_FLAGS=
else
INSTALL_FLAGS=--prefix=$(PREFIX)
endif

build:
	dune build

keleshev

.PHONY: always_run

%.exe: %.s always_run
        @arm-linux-gnueabihf-gcc -static -o $@ $<
        @-qemu-arm-static $@; echo $$?
        @rm -f $@