roboguy13

Davids-MacBook-Pro% cabal install -v2
Reading available packages...
Warning: lens.cabal: Unknown fields: build-tools (line 14)
Fields allowed in this section:
name, version, cabal-version, build-type, license, license-file,
copyright, maintainer, build-depends, stability, homepage,
package-url, bug-reports, synopsis, description, category, author,
tested-with, data-files, data-dir, extra-source-files,
extra-tmp-files, extra-doc-files
Choosing modular solver.

roboguy13

Davids-MacBook-Pro% cabal build -v2
Package has never been configured. Configuring with default flags. If this
fails, please run configure manually.
'/usr/local/bin/ghc' '--numeric-version'
looking for tool ghc-pkg near compiler in /usr/local/bin
found ghc-pkg in /usr/local/bin/ghc-pkg
'/usr/local/bin/ghc-pkg' '--version'
'/usr/local/bin/ghc' '--supported-languages'
'/usr/local/bin/ghc' '--info'
Reading available packages...

roboguy13

% dist/build/accelerate-nofib/accelerate-nofib 
accelerate-nofib (c) [2013] The Accelerate Team

Usage: accelerate-nofib [OPTIONS]

Available backends:
     interpreter  reference implementation (sequential)
  *  cuda         implementation for NVIDIA GPUs (parallel)

prelude:

roboguy13

$ cabal install hask
Warning: cannot determine version of /usr/local/bin/jhc :
""
Resolving dependencies...
Configuring hask-0...
Building hask-0...
Preprocessing library hask-0...
[1 of 9] Compiling Hask.Category    ( src/Hask/Category.hs, dist/build/Hask/Category.o )
[2 of 9] Compiling Hask.Iso         ( src/Hask/Iso.hs, dist/build/Hask/Iso.o )
[3 of 9] Compiling Hask.Functor.Faithful ( src/Hask/Functor/Faithful.hs, dist/build/Hask/Functor/Faithful.o )

roboguy13

{-# LANGUAGE GADTs              #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE FlexibleInstances  #-}
module Client where
import           Prelude hiding (read)
import qualified Prelude
import           Data.List
import           Control.Monad

import           Server

roboguy13

{-# LANGUAGE GADTs, ExistentialQuantification         #-}
{-# LANGUAGE DataKinds, KindSignatures, TypeOperators #-}
{-# LANGUAGE PolyKinds                                #-}
{-# LANGUAGE StandaloneDeriving                       #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ConstraintKinds #-}

-- Inspired by the dependent-sum package

import           Data.Proxy

roboguy13

execute pathogen#infect()

augroup HighlightTODO
    autocmd!
    autocmd WinEnter,VimEnter * :silent! call matchadd('Todo', '\(TODO\)\|\(FIXME\)\|\(XXX\)\|\(NOTE\)', -1)
augroup END

" No beeps
set noerrorbells
set visualbell

roboguy13

{-# LANGUAGE MagicHash #-}
{-# LANGUAGE CPP #-}

module Main where

import Prelude hiding ((*),(-))
import GHC.Exts

------------------------------------

roboguy13

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}

import           Control.Transformation
import           Data.Functor.Yoneda
import           Data.Functor.Coyoneda

instance Transformation ((->) a) g (Yoneda g a) where
  Yoneda y # a = y a

roboguy13

import           Data.Word

import           Control.Applicative
import           Data.Vector (Vector)

type EmuWord = Word32

data Emu a -- ...

instance Functor Emu