geofft

#include <linux/seccomp.h>
#include <linux/filter.h>
#include <linux/audit.h>
#include <sys/prctl.h>
#include <asm/unistd.h>
#include <stddef.h>

#include <unistd.h>

int main(int argc, char *argv[]) {

atavener

(* Database provides key-generation and table-instantiation,
 * so that a key can be associated to various properties.
 *)

(* This is for a fully-controlled specification...
 *
 * module Db = Database.Make (Database.IntKey)
 * module Prop = Db.MultiInherit
 * module PropHash = Prop.Table(Database.Hash)
 * module Size = (val PropHash.create ~default:0 () : Db.Sig with type t = int)

beastaugh

Installing GHC 7.2 on Mac OS X

This is a brief and bare-bones guide to getting GHC 7.2 and the cabal-install tool (the two basic things you'll need to do Haskell development) up and running on a new Mac OS X 10.7 install.

The instructions given here worked for me, but YMMV.