CSPM-Frontend-0.9.0.6: A CSP-M parser compatible with FDR-2.91

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

Language.CSPM.BuiltIn

Description

The FDR supports some CSPM-built-ins that are NOT part of the CSPM-syntax.

Currently those built-ins are hard-coded in CSPM-Frontend. We use Language.CSPM.BuiltIn as a compatibility layer to migrate to FDR-style built-ins.

Synopsis

Documentation

builtIns :: [String]Source

INCOMPLETE list of built-ins that are not CSPM-syntax. | Todo: add more BuiltIns here are migrate the AST.