nwf

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}

-- Needed only for example below
-- {-# LANGUAGE UndecidableInstances #-}

data T1 = T1A | T1B

nwf

/*
 * Bring up enough of ZFS to write an integer into a ZAP object on a
 * synthetic pool, or read said integer back.  That has to be really simple,
 * right?
 *
 * Based on ZFS cmd/ztest/ztest.c; this file is redistributable as per CDDL.
 *
 * (C) 2016 Nathaniel Wesley Filardo.
 */

nwf

#!/usr/bin/zsh

set -e -u -x

export CCACHE_DIR=/cheri/cache/ccache

C=/cheri
S=${C}/source/cherios
B=${C}/build/cherios
O=${C}/out/cherios

nwf

import re
from typing import List

from docutils import nodes
from docutils.nodes import Node
from docutils.statemachine import StringList, ViewList

import sphinx
from sphinx import addnodes
from sphinx.directives.other import TocTree

nwf

###############################
Exceptional-Sequence Text Pages
###############################

Introduction
============

Occasionally, software wants to impose interesting out-of-band
constraints on small, "exceptional" sequences of instructions. Examples
of such constraints include needing to run...