github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
Code Issues Projects Releases Wiki Activity

redundant constraints

Browse Source
This commit is contained in:
joshvera 2018-04-06 11:10:00 -04:00
parent b02361eddd
commit 0f96c4892a
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Semantic/Util.hs
View File

@ -85,9 +85,7 @@ typecheckTypeScriptFile path = runAnalysis @(Caching (Evaluating Monovariant Typ
runEvaluating :: forall term effects a.
( Effects Precise term (Value Precise) (Evaluating Precise term (Value Precise) effects) ~ effects
, Corecursive term
, Recursive term
, Evaluatable (Base term)
, FreeVariables term)
, Recursive term )
=> Evaluating Precise term (Value Precise) effects a
-> Final effects a
runEvaluating = runAnalysis @(Evaluating Precise term (Value Precise))