jlouis

module Main

data MaybeINTHEBLACKHOLE : Type where
  YEAH : Nat -> MaybeVOID
  NOPE : Void -> MaybeVOID
  
data Dessert : MaybeINTHEBLACKHOLE -> Type where
  Now : Dessert (YEAH 0)
  Never : Dessert (NOPE _)
  HalfwayBetween : Dessert (YEAH 15)

jlouis

#!/bin/bash

# Sleep sort
# http://dis.4chan.org/read/prog/1295544154


function f() {
    sleep "$1"
    echo "$1"
}

jlouis

4> eqc:module({testing_budget, 300}, enacl_eqc).
prop_box_keypair: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000).......................................(x1000).......(x100).(x10)....(x1).......
Time limit reached: 10.714 seconds.

OK, passed 508247 tests
prop_box_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....(x100).....(x10)......(x1)......
Time limit reach

jlouis

2> eqc:module({testing_budget, 600}, enacl_eqc).
prop_box_keypair: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x1000)....................................................................................................(x10000)..........................................................................................................(x100).........(x10).(x1)....
Time limit reached: 21.428 seconds.

OK, passed 1172014 tests
prop_box_correct: ....................................................................................................(x10)....................................................................................................(x100)....................................................................................................(x10

jlouis

Shrinking x..xxxxxxx.x..xx.x...x...x...xxxxxxxxxx.xxxxxxxxxxxx(16 times)
{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
         146342573201743,66545743623497]],
       [],[],"19"}
[{model,maps_eqc},
 {init,{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
                146342573201743,66545743623497]],
              [],[],"19"}},
 {set,{var,1},{call,maps_eqc,put,[4.0,0]}},
 {set,{var,2},{call,maps_eqc,take,[4]}},

jlouis

.PHONY: foo

ifdef Y
  X := "Yes"
else
  X := "No"
endif

foo:
	@echo ${Y}

jlouis

-module(z).

-export([t/0, merge/3]).

merge(F, L, R) ->
    L1 = lists:sort(maps:to_list(L)),
    L2 = lists:sort(maps:to_list(R)),
    merge(F, L1, L2, []).
    
merge(_F, [], [], Acc) -> maps:from_list(Acc);

jlouis

Standard ML of New Jersey v110.80 [built: Sun Sep 25 12:16:08 2016]
- fun f n = f (n+1);
val f = fn : int -> 'a
- f 0;
stdIn:2.1-2.4 Warning: type vars not generalized because of
   value restriction are instantiated to dummy types (X1,X2,...)

uncaught exception Overflow [overflow]
  raised at: <file stdIn>

jlouis

changeset:   3479:8eb68ecb3d9b
branch:      better-x11-fontsrv
bookmark:    better-fonts
tag:         tip
user:        Jesper Louis Andersen <jesper.louis.andersen@gmail.com>
date:        Sun Jan 26 20:49:17 2014 +0100
summary:     Provide better font rendering.

diff -r 383018785704 -r 8eb68ecb3d9b src/cmd/fontsrv/x11.c
--- a/src/cmd/fontsrv/x11.c	Wed Jan 22 13:43:39 2014 -0500

jlouis

#require "core";;
#require "ppx_fields_conv";;
#use "z.ml";;
type t = { tag : bool; }
val tag : t -> bool = <fun>
module Fields :                                                                               
  sig                                                                                         
    val names : string list
    val tag : ([< `Read | `Set_and_create ], t, bool) Field.t_with_perm
    val make_creator :