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

Evaluation to Types requires NonDetEff and Fresh Effects

Browse Source
This commit is contained in:
Timothy Clem 2017-12-01 09:21:08 -08:00
parent 404dde2cd9
commit 5862a73334
2 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Analysis/Abstract/Evaluating.hs
View File

@ -6,6 +6,8 @@ import Control.Monad.Effect hiding (run)
import Control.Monad.Effect.Address
import Control.Monad.Effect.Env
import Control.Monad.Effect.Fail
import Control.Monad.Effect.Fresh
import Control.Monad.Effect.NonDet
import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Control.Monad.Effect.Store
@ -17,9 +19,9 @@ import Data.Abstract.Value
import Data.Function (fix)
import Data.Functor.Foldable (Base, Recursive(..))
import Data.Semigroup
import Data.Set hiding (foldr)
import Data.Set
type Interpreter v = '[Fail, State (Store (LocationFor v) v), Reader (Set (Address (LocationFor v) v)), Reader (Environment (LocationFor v) v)]
type Interpreter v = '[Fail, State (Store (LocationFor v) v), Reader (Set (Address (LocationFor v) v)), NonDetEff, Fresh, Reader (Environment (LocationFor v) v)]
type MonadInterpreter v m = (MonadEnv v m, MonadStore v m, MonadFail m)
@ -31,6 +33,7 @@ type EvalResult v = Final (Interpreter v) v
-- evaluate @(Value (Data.Union.Union Language.Python.Assignment2.Syntax) (Record Location) Precise) <term>
evaluate :: forall v term
. ( Ord v
, Ord (Cell (LocationFor v) v)
, Semigroup (Cell (LocationFor v) v)
, Functor (Base term)
, Recursive term

6
test.py Normal file
View File

@ -0,0 +1,6 @@
y = 1
def f(x):
False
f(y)