metaleap

Borrow Inference

by Leonard Ritter, Duangle GbR

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.

We are trying to infer whether a value is borrowed or has to be unique, applying this constraint going backwards through the function, as we also need to prevent

metaleap

module GhcSort where

import GHC
import GhcPlugins
import DriverPhases

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