EduardoRFS

#! /bin/sh

set -e
set -u

OCAMLC_PATH=$(dirname $0)
BSC="$OCAMLC_PATH/bsc"
NEW_ARGS=""

for ARG in "$@"

EduardoRFS

Linux + iOS

• https://github.com/michaeleisel/zld
• https://github.com/facebook/xcbuild
• https://github.com/yonaskolb/XcodeGen

CSS

• missing | at https://github.com/w3c/csswg-drafts/blob/master/css-color-4/Overview.bs#L260

EduardoRFS

make: Entering directory '/bin/ocaml/testsuite'
Running tests from 'tests/afl-instrumentation' ...
 ... testing 'afltest.ml' with 1 (native-compiler) => passed
 ... testing 'afltest.ml' with 1.1 (script) => skipped (afl-showmap not available)
 ... testing 'afltest.ml' with 1.1.1 (setup-ocamlopt.byte-build-env) => n/a
 ... testing 'afltest.ml' with 1.1.1.1 (ocamlopt.byte) => n/a
 ... testing 'afltest.ml' with 1.1.1.1.1 (ocamlopt.byte) => n/a
 ... testing 'afltest.ml' with 1.1.1.1.1.1 (run) => n/a
Running tests from 'tests/arch-power' ...
 ... testing 'exn_raise.ml' with 1 (arch_power) => skipped (Target is not POWER architecture)

EduardoRFS

TODO

• are you enjoying the time of EL ?

EduardoRFS

Variants

type user_status =
  | Authorized
  | Unauthorized;
let someone_status = Authorized

EduardoRFS

%{

open! Location
open! New_css_types
open! Helpers

%}

%token EOF
%token <string> IDENT

EduardoRFS

{
  // Use IntelliSense to learn about possible attributes.
  // Hover to view descriptions of existing attributes.
  // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
  "version": "0.2.0",
  "configurations": [
    {
      "name": "OCaml Debug",
      "type": "ocaml-debugger",
      "request": "launch",

EduardoRFS

(*****************************************************************************)
(*                                                                           *)
(* Open Source License                                                       *)
(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. <contact@tezos.com>     *)
(* Copyright (c) 2020 Metastate AG <hello@metastate.dev>                     *)
(*                                                                           *)
(* Permission is hereby granted, free of charge, to any person obtaining a   *)
(* copy of this software and associated documentation files (the "Software"),*)
(* to deal in the Software without restriction, including without limitation *)
(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)

EduardoRFS

type 'a input =
  | Input of 'a 
open Tezos_protocol_environment_alpha.Environment
open Pervasives
open Tezos_raw_protocol_alpha.Script_typed_ir
open Tezos_raw_protocol_alpha.Alpha_context
module Script_ir_translator = Tezos_raw_protocol_alpha.Script_ir_translator
module Interp_costs =
  Tezos_raw_protocol_alpha.Michelson_v1_gas.Cost_of.Interpreter
module Script_interpreter = Tezos_raw_protocol_alpha.Script_interpreter

EduardoRFS

type 'a input =
  | Input of 'a 
open Tezos_protocol_environment_alpha.Environment
open Pervasives
open Tezos_raw_protocol_alpha.Script_typed_ir
open Tezos_raw_protocol_alpha.Alpha_context
module Script_ir_translator = Tezos_raw_protocol_alpha.Script_ir_translator
let tz_compiled_0 (Input (stack, v_0)) =
  let stack = (v_0, stack) in
  let stack = let (vi, (vo, rest)) = stack in (vo, (vi, rest)) in