Thomas Tuegel ttuegel

Keybase proof

I hereby claim:

I am ttuegel on github.
I am ttuegel (https://keybase.io/ttuegel) on keybase.
I have a public key ASASqOcv7gWaWVi7ZqerjxQEI_mRVcIUpDSWmyvineWJjgo

To claim this, I am signing this object:

Electric indentation for parentheses, brackets, braces, commas, semicolons...

This isn't an issue of what I want, but rather when I want it. haskell-mode knows how to indent these things correctly, but I had to turn off electric indentation in haskell-mode because it does stupid things the rest of the time.

Concretely, I want a haskell-mode that knows how to be electric when there's only one "right" choice and that doesn't do stupid things when there are multiple possibilities.

	{-# LANGUAGE Strict #-}
	{-# LANGUAGE DeriveFunctor #-}

	module StrictDeriving where

	newtype Id1 a = Id1 a
	deriving (Functor, Show)

	-- >>> fmap (const 2 . const undefined) (Id1 1)
	-- Id1 2

	test_binaryTrees :: TestTree
	test_binaryTrees =
	testGroup "Combinations with operators that produce top or bottom"
	[ mkEquals_ internalTrue internalFalse `becomes` bottom
	, mkEquals_ internalFalse internalTrue `becomes` bottom
	, mkEquals_ internalTrue internalTrue `becomes` (pure internalTrue)
	, mkEquals_ internalFalse internalFalse `becomes` (pure internalFalse)

	, mkAnd internalTrue internalFalse `becomes` bottom
	, mkAnd internalFalse internalTrue `becomes` bottom

	% Or Simplification

	== Header

	\begin{code}
	{-\|
	Module : Kore.Step.Simplification.Or
	Description : Tools for Or pattern simplification.
	Copyright : (c) Runtime Verification, 2018
	License : NCSA

	{-# LANGUAGE BangPatterns #-}
	{-# LANGUAGE ViewPatterns #-}

	module LazyPattern where

	import Debug.Trace (trace)

	data Foo a = Foo a
	deriving (Show)

	with (import <nixpkgs> {}).pkgs;

	stdenv.mkDerivation rec {
	name = "patchelf-0.9-pre";

	src = fetchgit {
	url = https://github.com/NixOS/patchelf.git;
	rev = "63296c4e18381216f740670916608f9ef159672e";
	sha256 = "b6b2b4891773ea9d36f1891082812a157b7a6097827594419fe4a4343aa403a1";
	};

	{ stdenv, fetchFromGitHub, cmake
	, wayland, pixman, libxkbcommon, udev, libinput
	, libX11, libxcb, x11
	, mesa #nvidia_x11
	, dbus, systemd
	}:

	let srcs = {
	wlc = fetchFromGitHub {
	owner = "Cloudef";

	ghci> import Control.Monad (liftM)
	ghci> :t liftM
	liftM :: Monad m => (a1 -> r) -> m a1 -> m r
	ghci> import Debug.Trace (trace)
	ghci> liftM (\x -> trace "function applied" (x + 3)) [1 :: Int, 2, 3]
	[function applied
	4,function applied
	5,function applied
	6]
	ghci> liftM (trace "function evaluated" (+ 3)) [1 :: Int, 2, 3]

	Xft.dpi: 96
	Xft.antialias: 1
	Xft.rgba: rgb
	Xft.hinting: 1
	Xft.hintstyle: hintslight
	Xft.lcdfilter: lcddefault
	Xft.autohint: 0