| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Agda.Converter.FuncDecl
Description
This module contains functions for generating Agda function declarations from our intermediate representation.
Synopsis
- convertFuncDecls :: DependencyComponent FuncDecl -> Converter [Declaration]
Documentation
convertFuncDecls :: DependencyComponent FuncDecl -> Converter [Declaration] Source #
Converts a strongly connected component of the function dependency graph. TODO: Handle mutually recursive functions.