Todo revision c81507d35d11b2eedf7425a3bb52bceec3224532
15c12a3ac049a4528da05b1017b78145f308aeb0Christian MaederpToken, oBraceT, etc. do not allow to be followed by (a line-comment)
15c12a3ac049a4528da05b1017b78145f308aeb0Christian Maederannotations. Call wrapAnnos if needed.
adf0cd9e940150b6e835cc0ad1266cfbf9e011b3Christian Maederreport other uninspected annotations
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maederhaddockify code
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maederchecking legality of internal and external terms is missing
ec12df24146f3c81c7cf49c0ef1dcd82afe3b561Christian Maederproper type terms as supertypes are treated like type
34bb32bddb823b1b7ec26e2ba30785edc4e1602aChristian Maedersynonyms. Function and product types are builtin. Subtype relations
ec12df24146f3c81c7cf49c0ef1dcd82afe3b561Christian Maederof these builtin types and user defined types are problematic. The
ec12df24146f3c81c7cf49c0ef1dcd82afe3b561Christian Maederunit type is a separat type!
111c54f59f3ecc9c19dbe84565dff8839a4c7b43Christian Maederclass names are not considered for mapping (Morphism.hs)
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian MaederData types result in special data type sentences that imply the usual
715ffaf874309df081d1e1cd8e05073fc1227729Christian Maederequations, only selector equations are generated (so
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maederthat they may become program equations)
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian MaederOperations (constructors) in DatatypeDefns are not renamed (selectors
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maederare also not renamed in DatatypeSens, because they are not used)
9c5b1136299d9052e4e995614a3a36a051a2682fChristian MaederMake sure that no supertypes are
6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederdeclared for type synonyms. Cyclic atomic supertypes are not supported
6cca02cb6a5ae882d887a879f8b7a71941c3715cChristian Maederyet. In MinType the equality of terms and the overload relation of
17448f712ed5116e6e6d2df84205cfdaae210620Christian Maedertheir types is not properly computed!
17448f712ed5116e6e6d2df84205cfdaae210620Christian MaederThe supertype relation is not checked in isSubEnv and diffEnv
c81507d35d11b2eedf7425a3bb52bceec3224532Christian Maedertest/Double.hascasl (for the function twice) fails
b5ae094776014b09c5d8b9f3fc91cbe3041211d8Christian Maederlet the example test/CastFun.hascasl go through
e902f04e075e525f2d7fc15a694e59c1b6331c60Christian Maeder(the variable v for s --> s is to early or wrongly substituted
e902f04e075e525f2d7fc15a694e59c1b6331c60Christian Maederin s ->? s < v. Maybe a variable also for the arrow must be
e902f04e075e525f2d7fc15a694e59c1b6331c60Christian Maederintroduced in shapeMgu.)
e902f04e075e525f2d7fc15a694e59c1b6331c60Christian Maederremove FunType and ProductType in favour of uniform TypeAppls
67d010c0b09f8bf06c8fabbe2543f3c4742ff53cChristian Maederpolymorphic (and constrained) let bindings are not supported
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maederchecking for a legal let-Pattern (a variable applied to arguments) for
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maederexecutable terms (ProgEq.hs).
34bb32bddb823b1b7ec26e2ba30785edc4e1602aChristian Maederredeclaration for builtin identifiers are ignored
07b72edb610ee53b4832d132e96b0a3d8423f8ebChristian Maedershorter printing of terms
715ffaf874309df081d1e1cd8e05073fc1227729Christian Maederterms in sentences (from formulas) are not quantified
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maederover global variables
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maederexhaustive and overlapping patterns are not checked for several
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maederprogram equations or case patterns. (Merge.hs?)
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian MaederSentences for attributes comm, assoc, unit are not generated yet.
fe5dbb45b6a8abf34375b4bc5f2a81cda664c0e4Christian MaederMixAna only recognises new variables and thus cannot check for shadowing
34bb32bddb823b1b7ec26e2ba30785edc4e1602aChristian MaederFirst try type checking without lazy types
9d366b8f5c7972eeab315cb317feb8be264fad23Christian Maederimplement empty lambda terms as functions from Unit
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian MaederMaybe in CASL.Morphism.compose the target(m1) only needs to be a
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maedersubsignature of the source(m2) (as for HasCASL)
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maederconversion HsSyn and AHsSyn is stupid
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian MaederAxiomBinds are not renamed
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian MaederPrintModuleInfo is entirely faked and unusable for showing a Haskell
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maedertheory that was directly read in (form a .het file and Haskell code in
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maedercurly braces.)
f504d268c5b5bd491c6c9d15cf74cf16ee3feb1fChristian Maederfor logic Hatchet static analysis is not executed because its result
ad97909f160c13effd3bc73155aaa2c29902a5a1Christian Maederis unused (also parser error messages are poor)
f504d268c5b5bd491c6c9d15cf74cf16ee3feb1fChristian Maederformulas are not translated to P-Logic Axioms
0ed1d09c7b7cd6e26b869757509b78f03e140c6aChristian Maederclass and instance stuff is filtered out in Haskell/HatAna (as
0ed1d09c7b7cd6e26b869757509b78f03e140c6aChristian Maederconflict with the prelude)
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maederfree types with subtypes components get too few constructors (and
0ed1d09c7b7cd6e26b869757509b78f03e140c6aChristian Maederbecome disjoint types, see HasCASL/Secd.het)
0ed1d09c7b7cd6e26b869757509b78f03e140c6aChristian MaederProgramatica's output of decorated modules is not legal haskell
0ed1d09c7b7cd6e26b869757509b78f03e140c6aChristian Maederwrt. inserted dictionaries
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maedercomparing symbol sets with (symbol-) equality may be a problem
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maederlegal_obj (Logic.hs) is currently unused
d34c258c4ee9eb153afab9b22728e9efc27279f7Christian Maedersignatures should be always legal by construction
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian MaederDesign a comand line interface to trigger various outputs and
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maedertranslations (without daVinci!) to allow for profiling