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

Stub in a module for abstract value semantics.

Browse Source
This commit is contained in:
Rob Rix 2018-07-04 09:21:51 -04:00
parent 5100670e72
commit de7ac163d6
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

@ -66,6 +66,7 @@ library
, Data.Abstract.Path , Data.Abstract.Path
, Data.Abstract.Ref , Data.Abstract.Ref
, Data.Abstract.Type , Data.Abstract.Type
, Data.Abstract.Value.Abstract
, Data.Abstract.Value.Concrete , Data.Abstract.Value.Concrete
-- General datatype definitions & generic algorithms -- General datatype definitions & generic algorithms
, Data.Algebra , Data.Algebra

1
src/Data/Abstract/Value/Abstract.hs Normal file
View File

@ -0,0 +1 @@
module Data.Abstract.Value.Abstract where