apskii

import scala.reflect.runtime.universe._
import scala.tools.reflect.Eval

object O {
  type A = {
    type B = {
      type C = O.type
    }
  }
}

apskii

{-# Language TemplateHaskell, QuasiQuotes, FlexibleContexts #-}
module Main where

import Text.Peggy hiding ( Expr, parse )
import Text.Peggy.LeftRec
import Prelude

type Id = String

data Prog = Prog Id [Decl] Stmt                                        deriving (Show)

apskii

data T = SymT Id
       | StrT String
       | IntT Integer
       | ChrT Char
       | LisT [T]
       | CloT Env Id T

-------------------------------------------------------------------------

(~|~) = (() <$) .: (<|>)

apskii

(defvar *source-storage* (make-hash-table))

(defun source-of (name)
  (gethash name *source-storage*))

(defun source-save-hook (expander form env)
  (when (eq (car form) 'defun)
    (setf (gethash (cadr form) *source-storage*)
          form))
  (funcall expander form env))