free-compiler-0.3.0.0: A Haskell to Coq compiler.

Safe HaskellSafe
LanguageHaskell2010

FreeC.Frontend.IR.PragmaParser

Description

This module contains the parser for custom pragmas.

All custom pragmas have the format {-# FreeC ... #-} (see customPragmaPattern).

The following custom pragmas are supported:

  • {-# FreeC function DECREASES ON argument #-} annotates the decreasing argument of a function declared in the current module.
Synopsis

Documentation

parseCustomPragmas :: [Comment] -> Reporter [Pragma] Source #

Parses custom pragmas (i.e., DecArgPragma) from the comments of a module.