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

Pair down to only what we are using

Browse Source
This commit is contained in:
Timothy Clem 2018-02-16 14:08:35 -08:00
parent f85e89872c
commit 9bc0668ff1
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Analysis/Abstract/Evaluating2.hs
View File

@ -27,14 +27,14 @@ import System.FilePath.Posix
type Evaluating v
= '[ Fail -- For 'MonadFail'.
, State (Store (LocationFor v) v) -- For 'MonadStore'.
, Reader (Environment (LocationFor v) v) -- For 'MonadEnv'.
, Reader (Live (LocationFor v) v) -- For 'MonadGC'.
-- , Reader (Environment (LocationFor v) v) -- For 'MonadEnv'.
-- , Reader (Live (LocationFor v) v) -- For 'MonadGC'.
]
-- | Evaluate a term to a value.
evaluate :: forall v term
. ( Ord v
, Ord (LocationFor v)
, Ord (LocationFor v) -- For 'MonadStore'
-- , Ord (Cell (LocationFor v) v)
-- , Semigroup (Cell (LocationFor v) v)
-- , Functor (Base term)