Cross Reference:
xref
: /
hets
/
CASL
/
capa.lhs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
capa.lhs revision 9a648682ccaa8ef63583548c3edb01c6542d7885
#!/
home
/
maeder
/
bin
/
runhugs
HetCATS
/
CASL
/
capa.lhs
$Id
$
Authors
:
Christian
Maeder
Year
:
2002
test
some
parsers
(
and
printers
)
\
begin
{
code
}
module
Main
where
import
Common.Token
import
CASL.Formula
import
CASL.Print
_AS_Basic
import
CASL.Parse
_AS_Basic
import
CASL.SortItem
import
CASL.OpItem
import
Common.RunParsers
import
CASL.RunMixfixParser
import
CASL.RunStaticAna
import
ToHaskell.TranslateAna
main
::
IO
()
main
=
exec
lineParser
fileParser
where
_just_avoid_unused_import_warning
=
pluralS_symb_list
lineParser
,
fileParser
:: [
(
String
,
StringParser
)
]
lineParser
= [
(
"MixIds"
,
fromAParser
parseId
)
,
(
"TranslateIds"
,
fromAParser
idToHaskell
)
,
(
"Terms"
,
fromAParser
term
)
,
(
"Formula"
,
fromAParser
formula
)
,
(
"SortItem"
,
fromAParser
sortItems
)
,
(
"OpItem"
,
fromAParser
opItems
)
,
(
"PredItem"
,
fromAParser
predItems
)
,
(
"MixfixTerms"
,
toStringParser
resolveTerm
)
,
(
"MixfixFormula"
,
toStringParser
resolveForm
)
,
(
"VarIds"
,
fromAParser
varId
)
,
(
"ShowTerms"
,
fromAParser
testTerm
)
,
(
"ShowTermsMix"
,
toStringParser
testTermMix
)
,
(
"ShowForm"
,
fromAParser
testFormula
)
,
(
"ShowFormMix"
,
toStringParser
testFormulaMix
)
]
fileParser
= [
(
"BasicSpec"
,
fromAParser
basicSpec
)
,
(
"analysis"
,
fromAParser
runAna
)
]
\
end
{
code
}