Deokhwan Kim dkim

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = [email protected]:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:

IntelliJ IDEA Keymap

File

Desugar Scala Expressions

Use the compiler

scala -Xprint:typer -e "class A(val i: Int)" prints the desugarred expression after the typer phase. Use scala -Xshow-phases to get a list of all phases.

Or use a macro in the REPL

Paste this into a REPL session or in a file loaded with the :load command:

Sometimes I want to put an array inside of a mathpartir inferrule.

The straightforward thing doesn't work:

\begin{equation*}
\inferrule{Conclusion}{
  Premiss 1 \and
  \begin{array}{ll}
 1 &amp; 2 \\ % note, this is where the problem happens

	/** GADTs in Scala and their limitations */

	/** Background: what is an algebraic data type (ADT) ?
	* ADT: (possibly) recursive datatype with sums and products
	* In scala - a trait with case classes (case class is product, subtyping is sum)
	*/

	/** Motivation: untyped embedded DSL doesn't prevent nonsensical expressions */
	sealed trait Expr {
	def apply(other: Expr) = Ap(this, other)

	//
	// References
	// - http://stackoverflow.com/questions/3427345/what-do-and-mean-in-scala-2-8-and-where-are-they-documented
	// - http://stackoverflow.com/questions/2603003/operator-in-scala
	// - https://gist.github.com/retronym/229163
	// - http://debasishg.blogspot.com/2010/08/using-generalized-type-constraints-how.html#sthash.GKfUGq9p.dpuf
	// - http://www.scala-lang.org/old/node/4041.html
	// - https://groups.google.com/forum/#!searchin/scala-user/generic$20type$20constraint/scala-user/mgx9-TUapQo/tiN6x818dKsJ

	//

	/**
	* Examples of writing mixed unit/property-based (ScalaCheck) tests.
	*
	* Includes tables and generators as well as 'traditional' tests.
	*
	* @see http://www.scalatest.org/user_guide/selecting_a_style
	* @see http://www.scalatest.org/user_guide/property_based_testing
	*/

	import org.scalatest._

	scala> import scala.reflect.runtime.universe._
	import scala.reflect.runtime.universe._

	scala> showCode(reify {
	\| for{
	\| x <- 1 to 5
	\| _ = print("hi")
	\| } print(x)
	\| }.tree)
	res1: String =