kputnam kputnam

Using dtruss on vim's `:w`

Ever wonder what happens when you save a file in vim? There's quite a lot more happening than open, write, and close. I found this out while working on some code to monitor changed files using the node.js fs.watch API, which abstracts (or obscures) Mac OS X's kqueue API.

To find out exactly what vim is doing when saving a file, we'll use a tool included with DTrace that reports on another process's system calls. We need the process ID of vim, which is already open and editing my file:

Oregon Programming Languages Summer School 2013

Coq Preparation and Boot Camp
Amal Ahmed Logical Relations
Robert Harper Type Theory Foundations
Dan Licata Dependently-Typed Programming in Agda
Simon Peyton-Jones Adventures in Haskell
Frank Pfenning Linear Logic and Session-Based Concurrency
Andrew Tolmach Software Foundations in Coq
Stephanie Weirich Designing Dependently-Typed Programming Languages
Steve Zdancewic Verifying LLVM Optimizations in Coq

	DependencyDetection.defer do
	@name = :net

	depends_on do
	defined?(HTTPI)
	end

	executes do
	NewRelic::Agent.logger.debug "Installing HTTPI instrumentation"
	end

	module L
	( L
	, empty
	, single
	, wrap
	, unwrap
	, cons
	, append
	, map
	, foldl

	{-# LANGUAGE OverloadedStrings #-}

	module Example
	( Term(..)
	, pretty
	, parse
	, testReparse
	, normalize
	) where

	brew tap homebrew/science
	brew tap homebrew/dupes
	brew install lapack openblas gsl

	cabal install hmatrix hmatrix-special hmatrix-tests \
	--extra-lib-dirs=/usr/local/opt/lapack/lib --extra-include-dirs=/usr/local/opt/lapack/include \
	--extra-lib-dirs=/usr/local/opt/gsl/lib --extra-include-dirs=/usr/local/opt/gsl/include \
	--extra-lib-dirs=/usr/local/opt/openblas/lib --extra-include-dirs=/usr/local/opt/openblas/include

	{-# LANGUAGE TemplateHaskell #-}

	import Data.Monoid
	import Data.DeriveTH

	data Venn a =
	Venn
	{ both :: a -- number of elements in both t and p
	, pNotT :: a -- number of elements in p but not t
	, tNotP :: a -- number of elements in t but not p

	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE LambdaCase #-}

	-- http://michaelxavier.net/posts/2014-04-27-Cool-Idea-Free-Monads-for-Testing-Redis-Calls.html

	import Control.Monad.State
	import Control.Monad.Free
	import Control.Monad.Free.TH

	{-# LANGUAGE MonadComprehensions #-}

	import Data.Maybe
	import Data.Monoid

	fizzBuzz :: [(Int, String)] -> Int -> String
	fizzBuzz ds n = fromMaybe (show n) $ mconcat [[s \| d `divides` n] \| (d,s) <- ds]
	where x `divides` y = y `mod` x == 0

	main :: IO ()

	package test;

	public class Test {
	public static class Generic<A, B> { }
	public static class Instance extends Generic<String, String> { }

	// OK
	Class<? extends Generic<String, String>> w = Instance.class;

	/**

kputnam kputnam

Using dtruss on vim's :w

Using dtruss on vim's `:w`