Safe Haskell	None
Language	Haskell2010

FreeC.Backend.Agda.Converter.Arg

Description

This module contains functions for generating Agda function, constructor and type arguments from our intermediate representation.

Synopsis

Documentation

Utility function for introducing a new Agda type variable to the current scope.

Converts a given VarPat by defining a new Agda variable with the same name in the current scope.