[discus-lang/ddc] 0e868d: More massaging of Core Transform, Analysis, and An...

0 views
Skip to first unread message

GitHub

unread,
Nov 3, 2018, 9:17:12 PM11/3/18
to discu...@googlegroups.com
Branch: refs/heads/async-primitive
Home: https://github.com/discus-lang/ddc
Commit: 0e868d20844fd62e97ccdb1370061029fe5c6e91
https://github.com/discus-lang/ddc/commit/0e868d20844fd62e97ccdb1370061029fe5c6e91
Author: Chris Hall <followin...@gmail.com>
Date: 2018-11-04 (Sun, 04 Nov 2018)

Changed paths:
M src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Annotate.hs
M src/s1/ddc-core-flow/DDC/Core/Flow/Transform/Deannotate.hs
M src/s1/ddc-core/DDC/Core/Analysis/Usage.hs
M src/s1/ddc-core/DDC/Core/Check/Post.hs
M src/s1/ddc-core/DDC/Core/Fragment/Compliance.hs
M src/s1/ddc-core/DDC/Core/Transform/AnonymizeX.hs
M src/s1/ddc-core/DDC/Core/Transform/Boxing.hs
M src/s1/ddc-core/DDC/Core/Transform/Bubble.hs
M src/s1/ddc-core/DDC/Core/Transform/Elaborate.hs
M src/s1/ddc-core/DDC/Core/Transform/Expliciate.hs
M src/s1/ddc-core/DDC/Core/Transform/Inline.hs
M src/s1/ddc-core/DDC/Core/Transform/Namify.hs
M src/s1/ddc-core/DDC/Core/Transform/Reannotate.hs
M src/s1/ddc-core/DDC/Core/Transform/Snip.hs
M src/s1/ddc-core/DDC/Core/Transform/SubstituteTX.hs
M src/s1/ddc-core/DDC/Core/Transform/SubstituteWX.hs
M src/s1/ddc-core/DDC/Core/Transform/SubstituteXX.hs
M src/s1/ddc-core/DDC/Core/Transform/Unshare.hs

Log Message:
-----------
More massaging of Core Transform, Analysis, and Analysis cases.


Commit: 2bf640ae4b4e3324f5c5b959161a7a0c8fc8bb9d
https://github.com/discus-lang/ddc/commit/2bf640ae4b4e3324f5c5b959161a7a0c8fc8bb9d
Author: Chris Hall <followin...@gmail.com>
Date: 2018-11-04 (Sun, 04 Nov 2018)

Changed paths:
M src/s1/ddc-core/DDC/Core/Check/Exp.hs
A src/s1/ddc-core/DDC/Core/Check/Judge/Type/Async.hs
M src/s1/ddc-core/DDC/Core/Check/Judge/Type/Base.hs

Log Message:
-----------
WIP: starting work on Async Check


Compare: https://github.com/discus-lang/ddc/compare/51a0ba6576e3...2bf640ae4b4e
**NOTE:** This service has 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.
Reply all
Reply to author
Forward
0 new messages