nicuveo

{-# LANGUAGE UndecidableInstances #-}

import Control.Applicative (liftA2)
import Data.Dependent.Map  qualified as D
import Data.Foldable       (foldlM)
import Data.List           (permutations)
import GHC.Generics
import Text.Parsec
import Text.Parsec.Char
import Text.Parsec.String

nicuveo

{-# LANGUAGE TemplateHaskell #-}

import Control.Lens
import Control.Lens.TH


--------------------------------------------------------------------------------
-- Characters
--
-- Some of the fields are only relevant to some characters, but are

nicuveo

{-# LANGUAGE BlockArguments      #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE LambdaCase          #-}
{-# LANGUAGE OverloadedStrings   #-}

module Main where

import Data.Char
import Data.List       (intercalate)
import Data.Map.Strict qualified as M

nicuveo

-- {-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes  #-}

a :: m i
a = x y

x :: (i -> forall p. p f i) -> m i
x l = undefined

y :: i -> (forall p f. p f i)

nicuveo

#! /usr/bin/env runhaskell

{-# LANGUAGE Haskell2010           #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RankNTypes            #-}

import Control.Applicative
import Control.Lens
import Control.Monad
import Data.Tree

nicuveo

[alias]
	st = status
	ci = commit
	co = checkout
	br = branch
	ff = merge --ff-only
	fa = fetch --all
	rh = reset --hard
	cp = cherry-pick
	d = diff --color

nicuveo

{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE InstanceSigs        #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications    #-}
{-# LANGUAGE TypeFamilies        #-}

module Foo where

import           Control.Monad.Reader
import           Data.Kind            (Type)

nicuveo

{-# LANGUAGE CPP                 #-}
{-# LANGUAGE DataKinds           #-}
{-# LANGUAGE DeriveDataTypeable  #-}
{-# LANGUAGE FlexibleContexts    #-}
{-# LANGUAGE GADTs               #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving  #-}
{-# LANGUAGE TypeApplications    #-}
{-# LANGUAGE TypeFamilies        #-}

nicuveo

all:
	ghc --version
	ghc -Wredundant-constraints -Werror -O0 Main.hs
	ghc -Wredundant-constraints -Werror -O2 Main.hs

nicuveo

{-# LANGUAGE AllowAmbiguousTypes  #-}
{-# LANGUAGE DataKinds            #-}
{-# LANGUAGE PolyKinds            #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE TypeOperators        #-}
{-# LANGUAGE UndecidableInstances #-}

import           Data.Kind      (Type)
import           Data.Type.Bool