hets -- a heterogenous Specification (CASL) tool setContentsIndex
ATC.Sml_cats
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description

This module exports functions, that can convert an sml-CATS ATerm into the Haskell abstract syntax tree. So it contains all the necessary instances of ATermConvertible and a heuritic function that calculates the new lists of Pos out of Region tuples.

the templates for the instances are automatically derived by DrIFT. But there were made many hand written changes.

todo: - p_flag from pos-TERM is not considered jet!

Synopsis
from_sml_ATerm :: ATermConvertibleSML t => ATerm -> t
read_sml_ATerm :: FilePath -> IO LIB_DEFN
Produced by Haddock version 0.6