github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity

Define an elaborating analysis.

Browse Source
This commit is contained in:
Rob Rix 2018-03-14 16:39:58 -04:00
parent 95c5a63b48
commit 3ac59ce623
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantic.cabal
View File

@ -18,6 +18,7 @@ library
Analysis.Abstract.Caching
, Analysis.Abstract.Collecting
, Analysis.Abstract.Dead
, Analysis.Abstract.Elaborating
, Analysis.Abstract.Evaluating
, Analysis.Abstract.Tracing
, Analysis.ConstructorName

5
src/Analysis/Abstract/Elaborating.hs Normal file
View File

@ -0,0 +1,5 @@
module Analysis.Abstract.Elaborating
( Elaborating
) where
newtype Elaborating m term value effects a = Elaborating (m term value effects a)