timmytofu

{-# LANGUAGE FlexibleInstances                                              #-}
{-# LANGUAGE GADTs                                                          #-}
{-# LANGUAGE StandaloneDeriving                                             #-}
{-# LANGUAGE TypeFamilies                                                   #-}

module MyGeo where

import Data.Vec.Nat

import GHC.Real (Ratio(..))

timmytofu

timmytofu

--------------------------------------------------
-- setup
--------------------------------------------------

CREATE TABLE a (
  id      integer PRIMARY KEY
  -- whatever else
);

CREATE TABLE b (

timmytofu

# unregister broken GHC packages. Run this a few times to resolve dependency rot in installed packages.
# ghc-pkg-clean -f cabal/dev/packages*.conf also works.
function ghc-pkg-clean() {
  for p in `ghc-pkg check $* 2>&1  | grep problems | awk '{print $6}' | sed -e 's/:$//'`
  do
    echo unregistering $p; ghc-pkg $* unregister $p
  done
}

# remove all installed GHC/cabal packages, leaving ~/.cabal binaries and docs in place.