goldfirere

{-# LANGUAGE NoFieldSelectors, NamedFieldPuns, DuplicateRecordFields, DerivingStrategies #-}
{-# OPTIONS_GHC -Wall #-}

module UpdateSections where

import Data.List ( mapAccumL )

newtype SectionPos = MkSP Int
  deriving newtype (Show, Enum)

goldfirere

module EvalPolyRec where

import Prelude hiding (seq)

class Eval a where
  seq :: a -> b -> b

instance Eval (a,b) where
  seq (_, _) = id

goldfirere

{-# LANGUAGE TemplateHaskell, ScopedTypeVariables, TypeInType, TypeOperators,
             TypeFamilies, GADTs, UndecidableInstances, InstanceSigs #-}
{-# OPTIONS_GHC -Wincomplete-patterns #-}

import Data.Kind
import Data.Singletons.TH
import Data.Singletons.Prelude
import Prelude hiding ( take )

$(singletons [d|

goldfirere

{-# LANGUAGE TypeOperators, TypeFamilies, TypeApplications,
             ExplicitForAll, ScopedTypeVariables, GADTs, TypeFamilyDependencies,
             TypeInType, ConstraintKinds, UndecidableInstances,
             FlexibleInstances, MultiParamTypeClasses, FunctionalDependencies,
             FlexibleContexts, StandaloneDeriving, InstanceSigs  #-}

module Basics where

import Data.Type.Bool
import Data.Type.Equality

goldfirere

   **********************************************
   **      THIS IS A WARNING MESSAGE ONLY      **
   **  YOU DO NOT NEED TO RESEND YOUR MESSAGE  **
   **********************************************

The original message was received at Fri, 17 Oct 2014 12:34:35 -0400
from c-98-225-220-10.hsd1.pa.comcast.net [98.225.220.10]

  ----- Transcript of session follows -----
<austin@well-typed.com>... Deferred: 403 4.7.0 TLS handshake failed.

goldfirere

{-# LANGUAGE DataKinds, PolyKinds, GADTs, TypeFamilies, TypeOperators,
             ConstraintKinds, ScopedTypeVariables, RankNTypes #-}
 
module Shape where
 
import GHC.Exts

data a :=: b where
  Refl :: a :=: a