History log of /hets/HasCASL/test/ContraVariance.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
a39175891082dc8a598e5630e5558cb08b84ac0a 09-Dec-2009 Christian Maeder <Christian.Maeder@dfki.de>

print alias types without lambdas for reparsability git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12900 cec4b9c1-7d33-0410-9eda-942365e851bb
a9ac4d0904b5547e612f9a394b24666c1ea02ccb 03-Jul-2009 Christian Maeder <Christian.Maeder@dfki.de>

disallowed explicit pseudo type notation following := (assign) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11877 cec4b9c1-7d33-0410-9eda-942365e851bb
034f5450bcde2bfe9c94fa52f03c9592f872af5a 21-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

compute minimal variances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9230 cec4b9c1-7d33-0410-9eda-942365e851bb
fe021e3e6c51b77d25c48a4c246f73571de1c04d 20-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

do not print empty type items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9221 cec4b9c1-7d33-0410-9eda-942365e851bb
4429cf54ee507da0c692b55f534b02b4dfff526c 20-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

compute the raw kind when adding a type identifier git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9220 cec4b9c1-7d33-0410-9eda-942365e851bb
93b7bcd9dcf6b2dc4549b5ef261c688d1c4a7dd7 04-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

really only adjust null ranges git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8992 cec4b9c1-7d33-0410-9eda-942365e851bb
bf0a12ff587940621f70ef590176d498ff4c7847 18-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

considered newlines in text docs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8863 cec4b9c1-7d33-0410-9eda-942365e851bb
98b443335df9c77328edb9dbf3ed565535317249 18-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

inserted line breaks in result messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8862 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 Alias.hascasl.output BasicSpec.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output Chain.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output EmptyLambda.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Lazy.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
946f62de1b188898dde0c472f2a8a6fb86f4d2f5 20-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

make printed sign more reparsable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8658 cec4b9c1-7d33-0410-9eda-942365e851bb
e13ee09381f136f5eadaabdb9699773c0052cf3d 20-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

fully quantified formulas and improved printing of theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8647 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
7c35990c03276d1e675ea6f4ba38f47081620d77 21-Jun-2007 Christian Maeder <Christian.Maeder@dfki.de>

ignore variance when none is expected git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8098 cec4b9c1-7d33-0410-9eda-942365e851bb
f905b9891657dd3eb454d98df87bb0d0cc3796d6 14-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

changes due to last check in of PrintAs and AsToLe git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7439 cec4b9c1-7d33-0410-9eda-942365e851bb
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
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
5dca8f36562463e6f691d4d50efe5716d5299801 21-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

replaced __* by ### git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5554 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
975642b989852fc24119c59cf40bc1af653608ff 11-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

redesigned subtypes and their defns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4902 cec4b9c1-7d33-0410-9eda-942365e851bb
38adeef4f032b43c6abf7d8a548aa377b13ed2a3 12-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed coment git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4633 cec4b9c1-7d33-0410-9eda-942365e851bb
14a1af9d9909dc47dc7fee6b0170b7ac0aef85da 12-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

separated mkTypeConstrAppl and cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4632 cec4b9c1-7d33-0410-9eda-942365e851bb
163524ad00619e364fbe2fc19eb96b17d75652e5 11-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

restore local type variables git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4621 cec4b9c1-7d33-0410-9eda-942365e851bb
b2f6ba7cc0d6dea61e9f07f94e621bc4a08bb04e 11-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

exchanged hint git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4612 cec4b9c1-7d33-0410-9eda-942365e851bb
ce7653c9c71e23bf04a5ec0ca5cb600c3738a909 11-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

improved kind inference git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4608 cec4b9c1-7d33-0410-9eda-942365e851bb
09c434a9e1590a40f8711547d107ff3a2717eb6d 08-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

improved by redesign git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4578 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
f4d2adb22998bc523bfecc5295460d8b9fa6ea16 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

kind inference is wrong git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4542 cec4b9c1-7d33-0410-9eda-942365e851bb