eldesh eldesh

## dup_structure
(* .smi *)
_require "basis.smi"

structure S =
struct
  val id : 'a -> 'a
end

structure Top =
struct

## cygwin-fault.c
/* base/runtime/mach-dep/cygwin-fault.c */
$ diff base/runtime/mach-dep/cygwin-fault.c base/runtime/mach-dep/cygwin-fault.new.c
20,21c20
< #include <windows.h>
< #include <exceptions.h> /* Cygwin stuff */
---
> #include "cygwin-fault.h" /* Cygwin stuff */

## body.smi
_require "basis.smi"

structure B =
struct
  val g : {dir:string, name:string} -> unit
end

## dynlink.sml
(**
 * import from sample code
 * > https://raw.github.com/MLton/mlton/master/doc/examples/ffi/iimport.sml
 *)
signature DYN_LINK =
   sig
      type hndl
      type mode
      type fptr

## qcheck_sample.cm
library
    structure Sample
is
	$/basis.cm
	$/qcheck.cm
	qcheck_sample.sml

## array_unfold.sml

(***
*   Array, Vector 等の固定長データ構造を生成するために状態を持ちたい。
*   unfold すればよいが、要素を一つずつ連結するのはイヤ(重すぎる)なので 配列用unfold 作ってみた
* ***)

infixr 1 $
fun f $ a = f a

structure Array =

## sopath.c
/**
 * 動的リンクされたライブラリのパスを表示する
 *
 *  **Linux specific program**
 *
 * build:
 *   $ gcc -Wall -pedantic-errors -std=c99 -DNDEBUG -o sopath sopath.c -ldl
 */
#define _GNU_SOURCE
#include <stdio.h>

## demo.sml
(**
 * datatype replication declarations(specifications)のサンプル
 *)

(** monomorphic version *)
structure S =
struct
  datatype either = L | R
end

## gist:5714388
(*
 * (* debruijn.cm *)
 * Group
 * is
 *   $/basis.cm
 *   debrujn.sml
 *)

(**
 * De Bruijn変換

## sendmoremoney.sml
(**
 *   SEND
 * + MORE
 * ------
 *  MONEY
 *
 * S,E,N,D,M,O,R,Y
 *
 * run:
 * - Option.app (print o pp) (search ())
	(* .smi *)
	_require "basis.smi"

	structure S =
	struct
	val id : 'a -> 'a
	end

	structure Top =
	struct
	/* base/runtime/mach-dep/cygwin-fault.c */
	$ diff base/runtime/mach-dep/cygwin-fault.c base/runtime/mach-dep/cygwin-fault.new.c
	20,21c20
	< #include <windows.h>
	< #include <exceptions.h> /* Cygwin stuff */
	---
	> #include "cygwin-fault.h" /* Cygwin stuff */
	_require "basis.smi"

	structure B =
	struct
	val g : {dir:string, name:string} -> unit
	end
	(**
	* import from sample code
	* > https://raw.github.com/MLton/mlton/master/doc/examples/ffi/iimport.sml
	*)
	signature DYN_LINK =
	sig
	type hndl
	type mode
	type fptr
	library
	structure Sample
	is
	$/basis.cm
	$/qcheck.cm
	qcheck_sample.sml

	(***
	* Array, Vector 等の固定長データ構造を生成するために状態を持ちたい。
	* unfold すればよいが、要素を一つずつ連結するのはイヤ(重すぎる)なので配列用unfold 作ってみた
	* ***)

	infixr 1 $
	fun f $ a = f a

	structure Array =
	/**
	* 動的リンクされたライブラリのパスを表示する
	*
	* Linux specific program
	*
	* build:
	* $ gcc -Wall -pedantic-errors -std=c99 -DNDEBUG -o sopath sopath.c -ldl
	*/
	#define _GNU_SOURCE
	#include <stdio.h>
	(**
	* datatype replication declarations(specifications)のサンプル
	*)

	(** monomorphic version *)
	structure S =
	struct
	datatype either = L \| R
	end
	(*
	* (* debruijn.cm *)
	* Group
	* is
	* $/basis.cm
	* debrujn.sml
	*)

	(**
	* De Bruijn変換
	(**
	* SEND
	* + MORE
	* ------
	* MONEY
	*
	* S,E,N,D,M,O,R,Y
	*
	* run:
	* - Option.app (print o pp) (search ())