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

Copyright(c) Fontaine 2011
LicenseBSD3
MaintainerFontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellSafe
LanguageHaskell2010

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.