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

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de, me@dobrikov.biz

Language.CSPM.Parser

Description

This modules defines a Parser for CSP-M

Synopsis

Documentation

parse :: SourceName -> [Token] -> Either ParseError ModuleFromParserSource

The parse function parses a List of Token. It returns a ParseError or a Labled Module. The SourceName argument is currently not used.

data ParseError Source

ParseError data type. This is an instance of Excpetion