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
{-# OPTIONS_GHC -ddump-simpl -ddump-asm -ddump-to-file -ddump-hi #-} | |
{-# LANGUAGE BangPatterns, CPP, MagicHash, Rank2Types, UnboxedTuples, ScopedTypeVariables #-} | |
module Main (main, firstFuuzetsu, firstTreeOwl) where | |
import GHC.Exts (SmallArray#, newSmallArray#, readSmallArray#, writeSmallArray#, | |
indexSmallArray#, unsafeFreezeSmallArray#, unsafeThawSmallArray#, | |
SmallMutableArray#, sizeofSmallArray#, copySmallArray#, thawSmallArray#, | |
sizeofSmallMutableArray#, copySmallMutableArray#, cloneSmallMutableArray#) | |
import GHC.Exts(Int(..), Int#, reallyUnsafePtrEquality#, tagToEnum#, unsafeCoerce#, State#) | |
import Gauge.Main |
This file has been truncated, but you can view the full file.
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
Thu Sep 4 23:29 2014 Time and Allocation Profiling Report (Final) | |
yi +RTS -p -RTS --as=emacs -y /tmp -fpango src/library/Yi/Keymap/Vim/NormalMap.hs | |
total time = 5.76 secs (5761 ticks @ 1000 us, 1 processor) | |
total alloc = 1,477,624,720 bytes (excludes profiling overheads) | |
COST CENTRE MODULE %time %alloc | |
render.\ Yi.UI.Pango 74.7 2.1 |
This file has been truncated, but you can view the full file.
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
Thu Sep 4 23:27 2014 Time and Allocation Profiling Report (Final) | |
yi +RTS -p -RTS --as=emacs -y /tmp -fvty src/library/Yi/Keymap/Vim/NormalMap.hs | |
total time = 8.19 secs (8191 ticks @ 1000 us, 1 processor) | |
total alloc = 12,915,401,768 bytes (excludes profiling overheads) | |
COST CENTRE MODULE %time %alloc | |
refresh Yi.UI.Vty 34.6 38.6 |
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
let | |
pkgs = import <nixpkgs> {}; | |
inherit (pkgs) stdenv fetchurl ghc perl gmp ncurses haskellPackages | |
automake autoconf git dblatex docbook2x | |
docbook_xml_xslt docbook_xml_dtd_45; | |
in | |
stdenv.mkDerivation rec { | |
name = "ghcDev-${version}"; | |
version = "7.9.20140511"; |
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
Yi concurrency, usability and hackability | |
------------------------------------------ | |
* What is the goal of the project you propose to do? | |
There are two main goals of the project: the first is to implement | |
concurrency in the Yi text editor. The second aim is to start | |
bringing Yi into the territory of usable and hackable editors. | |
* In what ways will this project benefit the wider Haskell community? |
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
{-# LANGUAGE LambdaCase #-} | |
module Main where | |
import Control.Monad ((>=>)) | |
import Data.Either (rights, lefts) | |
import Data.Tree.NTree.TypeDefs (NTree) | |
import Data.List (isPrefixOf, isInfixOf) | |
import Network.HTTP (simpleHTTP, getRequest, rspBody) | |
import Network.Stream (ConnError) | |
import Text.XML.HXT.Core hiding (mkName) |
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
#!/usr/bin/env bash | |
cabal configure && cabal build && cabal haddock --hyperlink-source \ | |
--html-location='/package/$pkg-$version/docs' \ | |
--contents-location='/package/$pkg' | |
S=$? | |
if [ "${S}" -eq "0" ]; then | |
cd "dist/doc/html" | |
DDIR="${1}-${2}-docs" | |
cp -r "${1}" "${DDIR}" && tar -c -v -z --format=ustar -f "${DDIR}.tar.gz" "${DDIR}" | |
CS=$? |
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
# -*- mode: snippet -*- | |
# name: plant | |
# key: pfile | |
# -- | |
@startuml | |
$0 | |
@enduml |
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
(defun haskell-insert-type () | |
"Insert the type of the function on the previous line. | |
You have to be be on the first line of the function. | |
Use `haskell-insert-type-infix' for infix functions. | |
It uses the Haskell inferior process in order to get the class constraints | |
as well" | |
(interactive) | |
(save-excursion | |
(beginning-of-line) | |
(zap-up-to-char 1 ?\s) |
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
module break2 where | |
open import Function using (id) | |
open import Data.Bool using (Bool; true; false) | |
open import Data.Char using (Char) | |
open import Data.List using (List; []; _∷_; span) | |
open import Data.Product as P using (_×_; _,_; map) | |
open import Relation.Binary.PropositionalEquality using (_≡_; refl; cong) | |
open import Data.Char.Classifier |