github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-15 01:51:39 +03:00
Code Issues Projects Releases Wiki Activity

Add a resolve method to Evaluatable with a (bad) default definition.

Browse Source
This commit is contained in:
Rob Rix 2018-12-07 10:34:40 -05:00
parent adffd6b9c4
commit f59cdd394b
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Abstract/Evaluatable.hs
View File

@ -77,6 +77,12 @@ class (Show1 constr, Foldable constr) => Evaluatable constr where
v <- throwUnspecializedError $ UnspecializedError ("Eval unspecialized for " <> liftShowsPrec (const (const id)) (const id) 0 expr "") v <- throwUnspecializedError $ UnspecializedError ("Eval unspecialized for " <> liftShowsPrec (const (const id)) (const id) 0 expr "")
rvalBox v rvalBox v
resolve :: ( Carrier sig m
)
=> (term -> Evaluator term address value m value)
-> (constr term -> Evaluator term address value m address)
resolve _ = undefined
traceResolve :: (Show a, Show b, Member Trace sig, Carrier sig m) => a -> b -> Evaluator term address value m () traceResolve :: (Show a, Show b, Member Trace sig, Carrier sig m) => a -> b -> Evaluator term address value m ()
traceResolve name path = trace ("resolved " <> show name <> " -> " <> show path) traceResolve name path = trace ("resolved " <> show name <> " -> " <> show path)