History log of /hets/HasCASL/test/ContraVariance.hascasl
Revision Date Author Comments Expand
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
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
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
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