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

Stub in a module for the Hole address type.

Browse Source
This commit is contained in:
Rob Rix 2018-08-13 09:35:37 -04:00
parent 669834ad88
commit 16964350b0
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantic.cabal
View File

@ -48,6 +48,7 @@ library
, Control.Abstract.TermEvaluator
, Control.Abstract.Value
-- Datatypes for abstract interpretation
, Data.Abstract.Address.Hole
, Data.Abstract.Address.Located
, Data.Abstract.Address.Monovariant
, Data.Abstract.Address.Precise

1
src/Data/Abstract/Address/Hole.hs Normal file
View File

@ -0,0 +1 @@
module Data.Abstract.Address.Hole where