Branch: refs/heads/check-resolve
Home:
https://github.com/discus-lang/ddc
Commit: f8d16861918e4cec55ea904e54901a8d9a40449f
https://github.com/discus-lang/ddc/commit/f8d16861918e4cec55ea904e54901a8d9a40449f
Author: Ben Lippmeier <
be...@ouroborus.net>
Date: 2018-07-11 (Wed, 11 Jul 2018)
Changed paths:
M src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Boxing.hs
M src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Layout.hs
M src/s1/ddc-core-discus/DDC/Core/Discus/Convert/Type/Data.hs
M src/s1/ddc-core-discus/DDC/Core/Discus/Prim/TyConDiscus.hs
M src/s1/ddc-core-discus/DDC/Core/Discus/Prim/TyConPrim.hs
M src/s1/ddc-core-flow/DDC/Core/Flow/Convert/Type.hs
M src/s1/ddc-core-flow/DDC/Core/Flow/Prim/KiConFlow.hs
M src/s1/ddc-core-flow/DDC/Core/Flow/Prim/TyConFlow.hs
M src/s1/ddc-core-flow/DDC/Core/Flow/Prim/TyConPrim.hs
M src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Thread.hs
M src/s1/ddc-core-llvm/DDC/Core/Llvm/Convert/Type.hs
M src/s1/ddc-core-machine/DDC/Core/Machine/Prim.hs
M src/s1/ddc-core-salt/DDC/Core/Salt/Compounds/PrimTyCon.hs
M src/s1/ddc-core-salt/DDC/Core/Salt/Env.hs
M src/s1/ddc-core/DDC/Core/Check/Context/Effect.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/EqT.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Kind.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Kind/TyCon.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Sub.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Type/AppX.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Type/Case.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Type/DaCon.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Type/LetPrivate.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Type/Sub.hs
M src/s1/ddc-core/DDC/Core/Codec/Shimmer/Decode.hs
M src/s1/ddc-core/DDC/Core/Codec/Shimmer/Encode.hs
M src/s1/ddc-core/DDC/Core/Codec/Text/Parser/Type.hs
M src/s1/ddc-core/DDC/Core/Codec/Text/Pretty/Type.hs
M src/s1/ddc-core/DDC/Core/Collect/FreeT.hs
M src/s1/ddc-core/DDC/Core/Transform/Expliciate.hs
M src/s1/ddc-core/DDC/Core/Transform/Rewrite/Disjoint.hs
M src/s1/ddc-core/DDC/Type/DataDef.hs
M src/s1/ddc-core/DDC/Type/Exp/Simple.hs
M src/s1/ddc-core/DDC/Type/Exp/Simple/Compounds.hs
M src/s1/ddc-core/DDC/Type/Exp/Simple/Equiv.hs
M src/s1/ddc-core/DDC/Type/Exp/Simple/Exp.hs
M src/s1/ddc-core/DDC/Type/Exp/Simple/NFData.hs
M src/s1/ddc-core/DDC/Type/Exp/Simple/Predicates.hs
M src/s1/ddc-core/DDC/Type/Sum.hs
M src/s1/ddc-core/DDC/Type/Transform/Alpha.hs
M src/s1/ddc-core/DDC/Type/Transform/Unify.hs
M src/s1/ddc-core/DDC/Type/Universe.hs
M src/s1/ddc-source-discus/DDC/Source/Discus/Convert/Type.hs
Log Message:
-----------
core: removed rotted/unused kind annot from TyConBound
**NOTE:** This service been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.