Todo revision deb7bff126ec547bd812d0c8683ad6e785a45abb
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederpToken, oBraceT, etc. do not allow to be followed by (a line-comment)
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowskiannotations. Call wrapAnnos if needed.
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maederreport other uninspected annotations
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maederhaddockify code
351145cfe8c03b4d47133c96b209f2bd6cfbf504Christian Maederchecking legality of internal and external terms is missing
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowskiproper type terms as supertypes are treated like type
1549f3abf73c1122acff724f718b615c82fa3648Till Mossakowskisynonyms. Function and product types are builtin. Subtypes relations
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederof these builtin types and user defined types are problematic. The
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederunit type is a separat type!
f8b715ab2993083761c0aedb78f1819bcf67b6ccChristian Maederclass names are not considered for mapping (Morphism.hs)
5e46b572ed576c0494768998b043d9d340594122Till MossakowskiData types result in special data type sentences that imply the usual
db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wangequations, only selector equations are generated (so
23a00c966f2aa8da525d7a7c51933c99964426c0Christian Maederthat they may become program equations)
575a55eadc8dcab8ee350324b417cbd9e52e69c0Christian MaederOperations (constructors) in DatatypeDefns are not renamed (selectors
db453fe9625a9dab5d108f7a5e464598814144b8Jian Chun Wangare also not renamed in DatatypeSens, because they are not used)
a001917177db7ae636853b37c0d0f9f4e90a83ffChristian MaederMake sure that no supertypes are
58b671de3fe578346fef9642ffa3c5a0a0edb3cbTill Mossakowskideclared for type synonyms. Cyclic atomic supertypes are not supported
aea143fff7a50aceb809845fbc42698b0b3f545aChristian Maederyet. In MinType the equality of terms and the overload relation of
0e2ae85e2453466d03c1fc5884a3d693235bb9d9Christian Maedertheir types is not properly computed!
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8bChristian MaederThe supertype relation is not checked in isSubEnv and diffEnv
a001917177db7ae636853b37c0d0f9f4e90a83ffChristian Maederpolymorphic (and constrained) let bindings are not supported
c7e03d0708369f944b6f235057b39142a21599f2Mihai Codescuchecking for a legal let-Pattern (a variable applied to arguments) for
9ecf13b5fd914bc7272f1fc17348d7f4a8c77061Christian Maederexecutable terms (ProgEq.hs).
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian MaederOverloading is forbidden for builtin functions
03136b84a0c70d877e227444f0875e209506b9e4Christian Maedershorter printing of terms
03136b84a0c70d877e227444f0875e209506b9e4Christian Maederterms in sentences (from formulas) are not quantified
9ecf13b5fd914bc7272f1fc17348d7f4a8c77061Christian Maederover global variables
03136b84a0c70d877e227444f0875e209506b9e4Christian Maederexhaustive and overlapping patterns are not checked for several
d0c66a832d7b556e20ea4af4852cdc27a5463d51Christian Maederprogram equations or case patterns. (Merge.hs?)
9eb39c7a0e7a1ddad1eec1d23c6d4e3a99c54023Christian MaederSentences for attributes comm, assoc, unit are not generated yet.
9eb39c7a0e7a1ddad1eec1d23c6d4e3a99c54023Christian MaederTest shadowing in MixAna with warning.
351145cfe8c03b4d47133c96b209f2bd6cfbf504Christian MaederOverload.hs should generate Applications for constants rather than
351145cfe8c03b4d47133c96b209f2bd6cfbf504Christian MaederVar_decls (partially implemented)
81101b83a042f5a1bdeeef93b1b49aff05817e44Christian MaederMaybe in CASL.Morphism.compose the target(m1) only needs to be a
81101b83a042f5a1bdeeef93b1b49aff05817e44Christian Maedersubsignature of the source(m2) (as for HasCASL)
81101b83a042f5a1bdeeef93b1b49aff05817e44Christian Maederconversion HsSyn and AHsSyn is stupid
81101b83a042f5a1bdeeef93b1b49aff05817e44Christian MaederAxiomBinds are not renamed
351145cfe8c03b4d47133c96b209f2bd6cfbf504Christian MaederPrintModuleInfo is entirely faked and unusable for showing a Haskell
81101b83a042f5a1bdeeef93b1b49aff05817e44Christian Maedertheory that was directly read in (form a .het file and Haskell code in
81101b83a042f5a1bdeeef93b1b49aff05817e44Christian Maedercurly braces.)
81101b83a042f5a1bdeeef93b1b49aff05817e44Christian Maederfor logic Hatchet static analysis is not executed because its result
9eb39c7a0e7a1ddad1eec1d23c6d4e3a99c54023Christian Maederis unused (also parser error messages are poor)
01aafb6a9520f05df5ff467b591ecb5474dcfc86Christian Maederformulas are not translated to P-Logic Axioms
4b6aa93c12e4db86ccc7694a48a73e9cf7262d06Christian Maederfree types with subtypes components get too few constructors (and
4b6aa93c12e4db86ccc7694a48a73e9cf7262d06Christian Maederbecome disjoint types)
4b6aa93c12e4db86ccc7694a48a73e9cf7262d06Christian Maedercomparing symbol sets with (symbol-) equality may be a problem
ebc51e8081f6f1fe2f3d39ceff81d8dd0169c0b0Christian Maederlegal_obj (Logic.hs) is currently unused
5e46b572ed576c0494768998b043d9d340594122Till Mossakowskisignatures should be always legal by construction
03136b84a0c70d877e227444f0875e209506b9e4Christian MaederDesign a comand line interface to trigger various outputs and
fa167e362877db231378e17ba49c66fbb84862fcChristian Maedertranslations (without daVinci!) to allow for profiling