ZFS-0.0.1: ZFS.cabal

name:                ZFS
version:             0.0.1

license:             PublicDomain
author:              Amr Sabry, R. Kent Dybvig, Simon L. Peyton Jones, Oleg Kiselyov

stability:           Experimental
category:            Monads
synopsis:            Oleg's Zipper FS
description:         A implementation of a zipper filesystem using delimited continuations.
                     .
                     Zipper-based File/Operating system
                     with threading and exceptions all realized via delimited continuations.
                     There are no unsafe operations, no GHC (let alone) Unix threads,
                     no concurrency problems. Our threads can't even do IO and can't
                     mutate any global state - and the type system sees to it.

data-files:          zfs.pdf, README
Cabal-Version:       >= 1.2
Tested-With:         GHC==6.8.2
build-type:          Simple

Library
        build-depends:       base>3, mtl, unix, network, containers, CC-delcont <= 0.2

        hs-source-dirs:      src
        exposed-modules:     ZFS, ZipperM

        ghc-options:         -Wall
        ghc-prof-options:    -prof -auto-all