ktvoelker

module Bar where

ktvoelker

Steps taken while installing fltkhs on OSX 10.10.1:

1. "brew update" and "brew install fltk" (version: 1.3.3)

2. "git clone" (got rev 0466b69f5b3a144c6fc07f43259a20e8d3f90199)

3. "cabal sandbox init" (using GHC 7.10.0.20141222 and Cabal-1.22)

4. First build attempt: failed because c2hs wasn't available (see 1.err)

ktvoelker

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
module FS where

type Date = String

data FileKind = FILE | FOLDER

data Entry (k :: FileKind) where

ktvoelker

{-# LANGUAGE TypeFamilies #-}
module Set where

class Set a where
  type E a
  empty  :: a
  insert :: E a -> a -> a
  member :: E a -> a -> Bool

data Tree a = Empty | MkTree (Tree a) a (Tree a)

ktvoelker

Run in the shell: vim -u NONE
Run in vim:
  :edit one
  :edit three
  :source bug.vim
  :3
  :source bug.vim

ktvoelker

Keybase proof

I hereby claim:

• I am ktvoelker on github.
• I am ktvoelker (https://keybase.io/ktvoelker) on keybase.
• I have a public key whose fingerprint is 6D78 435F D99B A3C4 9B74 536A 8B50 7EDB 876F CAB6

To claim this, I am signing this object:

ktvoelker

data Foo = Foo { a :: Int, b :: Int }
data Bar = Bar { x :: Foo, y :: Foo }

ktvoelker

git clone git://github.com/ktvoelker/state-record.git
cd state-record
cabal install

ktvoelker

data IdField a b = IdField { getField :: a -> b, putField :: b -> a -> a }

ktvoelker

record "" [d| data Foo = Foo { x :: Int, y :: Int } |]