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

Merge branch 'abstract-a-la-carte-terms' into you-already-know-too-much

Browse Source
This commit is contained in:
Rob Rix 2019-10-22 17:04:44 -04:00
commit 245c768819
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
bench/Evaluation.hs
View File

@ -31,17 +31,16 @@ import System.Path ((</>))
-- Duplicating this stuff from Util to shut off the logging
callGraphProject' :: ( Language.SLanguage lang
, Ord1 (Syntax term)
, Declarations1 (Syntax term)
, Evaluatable (Syntax term)
, FreeVariables1 (Syntax term)
, AccessControls1 (Syntax term)
, HasPrelude lang
, IsTerm term
, Functor (Syntax term)
, VertexDeclaration1 (Syntax term)
, Ord (term Loc)
, AccessControls (term Loc)
, Declarations (term Loc)
, Evaluatable (Base (term Loc))
, FreeVariables (term Loc)
, HasSpan (term Loc)
, Ord (term Loc)
, Recursive (term Loc)
, Show (term Loc)
, VertexDeclaration term
)
=> TaskSession
-> Proxy lang