Eric Seidel gridaphobe
gridaphobe
/ bound.idr
Last active
May 11, 2017 01:51
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| %default total | |
| interface Bifunctor (f : Type -> Type -> Type) where | |
| bimap : (a -> b) -> (c -> d) -> f a c -> f b d | |
| first : (a -> b) -> f a c -> f b c | |
| first f = bimap f id | |
| second : (a -> b) -> f c a -> f c b |
gridaphobe
/ wired-in error
Created
August 6, 2015 18:14
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| gridaphobe@mimir ~/S/g/t/t/p/compiler> "/Users/gridaphobe/Source/ghc/inplace/bin/ghc-stage2" -c T5321Fun.hs -fforce-recomp -dno-debug-output -no-user-package-db -rtsopts -fno-warn-tabs -fno-ghci-history -dshow-passes +RTS -t | |
| Glasgow Haskell Compiler, Version 7.11.20150802, stage 2 booted by GHC version 7.10.1 | |
| Using binary package database: /Users/gridaphobe/Source/ghc/inplace/lib/package.conf.d/package.cache | |
| wired-in package ghc-prim mapped to ghc-prim-0.4.0.0-inplace | |
| wired-in package integer-gmp mapped to integer-gmp-1.0.0.0-inplace | |
| wired-in package base mapped to base-4.8.2.0-inplace | |
| wired-in package rts mapped to builtin_rts | |
| wired-in package template-haskell mapped to template-haskell-2.10.0.0-inplace | |
| wired-in package ghc mapped to ghc-7.11.20150802-inplace | |
| wired-in package dph-seq not found. |
gridaphobe
/ gist:ecf5c16cd99735c1ba73
Created
July 11, 2014 04:43
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (flycheck-define-checker haskell-hdevtools | |
| "A Haskell syntax and type checker using hdevtools. | |
| See URL `https://github.com/bitc/hdevtools'." | |
| :command | |
| ("hdevtools" "check" "-g" "-Wall" | |
| (eval (when flycheck-ghc-no-user-package-database | |
| (list "-g" "-no-user-package-db"))) | |
| (eval (apply #'append (mapcar (lambda (db) (list "-g" "-package-db" "-g" db)) | |
| flycheck-ghc-package-databases))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (evil-define-state god | |
| "God state." | |
| :tag " <G> " | |
| :message "-- GOD MODE --" | |
| :entry-hook (evil-god-start-hook) | |
| :exit-hook (evil-god-stop-hook) | |
| :input-method t | |
| :intercept-esc nil) | |
| (defun evil-god-start-hook () |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| gridaphobe@mimir ~> netflix-desktop | |
| fixme:heap:HeapSetInformation (nil) 1 (nil) 0 | |
| err:module:load_builtin_dll failed to load .so lib for builtin L"winemp3.acm": libmpg123.so.0: cannot open shared object file: No such file or directory | |
| fixme:system:SetProcessDPIAware stub! | |
| fixme:process:SetProcessDEPPolicy (1): stub | |
| fixme:iphlpapi:NotifyAddrChange (Handle 0x2afe924, overlapped 0x2afe908): stub | |
| fixme:winsock:WSCGetProviderPath ({e70f1aa0-ab8b-11cf-8ca3-00805f48a192} 0x2efe71c 0x2efe6dc 0x2efe708) Stub! | |
| fixme:winsock:WSCGetProviderPath ({e70f1aa0-ab8b-11cf-8ca3-00805f48a192} 0x2efe71c 0x2efe6dc 0x2efe708) Stub! | |
| fixme:winsock:WSCGetProviderPath ({11058240-be47-11cf-95c8-00805f48a192} 0x2efe71c 0x2efe6dc 0x2efe708) Stub! | |
| fixme:winsock:WSCGetProviderPath ({11058241-be47-11cf-95c8-00805f48a192} 0x2efe71c 0x2efe6dc 0x2efe708) Stub! |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [144/147] cshlib: build/external/fsotest/assert.c.16.o build/external/fsotest/asynchelpers.c.16.o build/external/fsotest/glib-vapi-fix.c.16.o build/external/fsotest/signalwaiter.c.16.o build/external/fsotest/testcase.c.16.o -> build/libfsotest.so | |
| src/nuvola/gui/preferences.c: In function 'nuvola_preferences_window_construct': | |
| src/nuvola/gui/preferences.c:1161:10: warning: assignment from incompatible pointer type [enabled by default] | |
| src/nuvola/gui/preferences.c:1164:2: warning: 'gtk_vbox_new' is deprecated (declared at /usr/include/gtk-3.0/gtk/deprecated/gtkvbox.h:60): Use 'gtk_box_new' instead [-Wdeprecated-declarations] | |
| src/nuvola/gui/preferences.c:1281:2: warning: 'gtk_vbox_new' is deprecated (declared at /usr/include/gtk-3.0/gtk/deprecated/gtkvbox.h:60): Use 'gtk_box_new' instead [-Wdeprecated-declarations] | |
| src/nuvola/gui/preferences.c:1296:2: warning: 'gtk_vbox_new' is deprecated (declared at /usr/include/gtk-3.0/gtk/deprecated/gtkvbox.h:60): Use 'gtk_box_new' instead [-Wdeprecated-declarations] | |
| src/nuv |