paniq

Borrow Inference

by Leonard Ritter, Duangle GbR

This document has only historical significance and does not describe the borrow checker as it is now implemented. Please see this document for a more recent description.

This is a description of borrow inference, an alternative to borrow checking that requires no declarative annotations to support proper management of unique values and borrowed references at compile time.

ezyang

module GhcSort where

import GHC
import GhcPlugins
import DriverPhases

import Control.Monad
import Data.List
import Data.Maybe
import System.FilePath