History log of /hets/HasCASL/test/CastFun.hascasl.output
Revision Date Author Comments Expand
5de34eba726f63d1522bf17a857309a6208ce0b5 19-Apr-2013 Christian Maeder <Christian.Maeder@dfki.de>

changed ugly diagnostics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17886 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/Formula.casl.asMixfixFormula.output /hets/CASL/test/Terms.casl.asMixfixTerms.output /hets/CASL/test/WrongMixfixFormula.casl.output /hets/CASL/test/WrongMixfixTerms.casl.output /hets/CASL/test/X2.casl.output /hets/Common/Result.hs /hets/Common/test/Annotations.casl.global.output /hets/Common/test/WrongPrecedence.annos.global.output Alias.hascasl.output B1.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Double.hascasl.output Foldl.hascasl.output Freetype.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype5.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
3aa7e4492a7e28b37d1a0b23f5bfe2109f87d4d6 04-Dec-2012 Christian Maeder <Christian.Maeder@dfki.de>

changed error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17673 cec4b9c1-7d33-0410-9eda-942365e851bb

Alias.hascasl.output And.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Def.hascasl.output Double.hascasl.output Flag.hascasl.output Foldl.hascasl.output Freetype.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output NAdd.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output Product.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype2.hascasl.output Subtype3.hascasl.output Subtype4.hascasl.output Subtype5.hascasl.output SuperClass.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
678e45c045799ce271c4719123ecd9cf4f456d4b 11-Feb-2010 Christian Maeder <Christian.Maeder@dfki.de>

print predicates using pred (as parsed) to improve reparsing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13062 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/PrintLe.hs And.hascasl.output AsPattern.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output CompoundList.hascasl.output Constrain.hascasl.output Coproducts.hascasl.output Double.hascasl.output Expr.hascasl.output Flag.hascasl.output Foldl.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output Lazy.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output Prelude.hascasl.output Product.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype2.hascasl.output Subtype3.hascasl.output Subtype5.hascasl.output Supertype.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
17889a13fbcd155040fa0323ffe82393d53051fc 14-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

added Cppo class and instances (causing many more hints) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10502 cec4b9c1-7d33-0410-9eda-942365e851bb
6cb518d88084543c13aa7e56db767c14ee97ab77 17-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed printing to allow reparsing of theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8644 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs Alias.hascasl.output And.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output CompoundList.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Def.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output Lazy.hascasl.output ListEx.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output Subtype.hascasl.output SuperClassErrors.hascasl.output Supertype.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
395efaeb5bf61bc2bf355c1c029dffa09bc1d1ed 13-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

replaced sortS with typeS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7430 cec4b9c1-7d33-0410-9eda-942365e851bb
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981c 02-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

only set semicolons after a last formula git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7365 cec4b9c1-7d33-0410-9eda-942365e851bb
a59f2017dfc311ece7afcea3e8a3ceceac77ba5a 01-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

enable re-parsing of printed basic specs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7364 cec4b9c1-7d33-0410-9eda-942365e851bb
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6de 26-Jan-2007 Christian Maeder <Christian.Maeder@dfki.de>

improved printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7350 cec4b9c1-7d33-0410-9eda-942365e851bb
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6 22-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

added global annos to signature for pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6487 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/AsToLe.hs /hets/HasCASL/Le.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/hacapa.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Lazy.hascasl.output ListEx.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
8aea46773664711e0910accc5cf80ef9ee1bcfbf 29-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

suppress output of builtins git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6393 cec4b9c1-7d33-0410-9eda-942365e851bb
dcb9ff0e2c2379735acce7073196508d455e0b01 04-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed HasCASL mixfix analysis for patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5346 cec4b9c1-7d33-0410-9eda-942365e851bb
9df7943e174665a367e75714d54b352a3760dd58 28-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

corrected rmTypeRec and convTermRec git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5102 cec4b9c1-7d33-0410-9eda-942365e851bb
c7041924e85535e80c7c08699cb308071d7010be 28-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

separate conversion and removing type annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5099 cec4b9c1-7d33-0410-9eda-942365e851bb
b55cf4375478168316b212cbc7d261fb683645ff 26-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

fewer parens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5077 cec4b9c1-7d33-0410-9eda-942365e851bb
699511266869036921be9c7ae6ac83d1b66ba51d 23-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

improve (still not optimal) mixfix and literal printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5069 cec4b9c1-7d33-0410-9eda-942365e851bb
96646aed2ae087b942ae23f15bbe729a8f7c43d3 20-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed LIB_PATH and used PERL for haddock on solaris git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5030 cec4b9c1-7d33-0410-9eda-942365e851bb
af47051acb16b97b6bc0ff7295cae44eed87d63e 14-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

simplified unique vars and ops git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5015 cec4b9c1-7d33-0410-9eda-942365e851bb
2986838ec286d67e7c199e7ea81e7364ca36ad25 24-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

improved look of types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4976 cec4b9c1-7d33-0410-9eda-942365e851bb
d48085f765fca838c1d972d2123601997174583d 23-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed FunType, ProductType and LazyType in favour of TypeAppls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/doc/Todo Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl Graphs.hascasl.output Items.hascasl.output Lazy.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl.output Terms.hascasl.output WrongMixfixTerms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
c2dead95fafd7ca36d06ddf07606a1292ead6d8a 19-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

restructured unification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4712 cec4b9c1-7d33-0410-9eda-942365e851bb
9e525b5e896481de6845fb0b31bd0f9ba3c39136 08-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

only changed builtin functions (still wrong) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4579 cec4b9c1-7d33-0410-9eda-942365e851bb
bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved variance sign to front of kind git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4544 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/VarDecl.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl ContraVariance.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Kinds.hascasl Kinds.hascasl.output Lazy.hascasl.output ListEx.hascasl ListEx.hascasl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output PossibleDownsetConflict.hascasl.output Prelude.hascasl Prelude.hascasl.output SuperClassErrors.hascasl.output WrongItems.hascasl.output WrongKinds.hascasl WrongKinds.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl YCombinator.hascasl.output ZMapArgs.hascasl.output
e5b1275ae554b2025307976d9002720d534f7a7e 28-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

result with lazy types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4522 cec4b9c1-7d33-0410-9eda-942365e851bb
b5ae094776014b09c5d8b9f3fc91cbe3041211d8 24-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

error when subtyping function types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4495 cec4b9c1-7d33-0410-9eda-942365e851bb