github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity

Stub in a module for a precise heap carrier.

Browse Source
This commit is contained in:
Rob Rix 2019-11-04 12:29:21 -05:00
parent e99299811d
commit 05de03e2e6
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantic-analysis/semantic-analysis.cabal
View File

@ -43,6 +43,7 @@ library
Analysis.Analysis
Analysis.Carrier.Env.Monovariant
Analysis.Carrier.Env.Precise
Analysis.Carrier.Heap.Precise
Analysis.Concrete
Analysis.Effect.Env
Analysis.Effect.Heap

2
semantic-analysis/src/Analysis/Carrier/Heap/Precise.hs Normal file
View File

@ -0,0 +1,2 @@
module Analysis.Carrier.Heap.Precise
() where