CSPM-Frontend-0.4.1.0: A CSP-M parser compatible with FDR-2.83

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de

Language.CSPM.PatternCompiler

Description

replace nested patterns with a set of linear Selectors todo : benchmark if it pays off to introduce helperbindings and only atomic bindings (unlikely) todo : add testcases

Synopsis

Documentation

compilePattern :: LModule -> LModuleSource

replace all pattern in the module with list of linear Selectors