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

Pointful definition of diffTerms.

Browse Source
This commit is contained in:
Rob Rix 2017-05-11 09:40:46 -04:00
parent e543a192ef
commit 054876fa7f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Interpreter.hs
View File

@ -21,7 +21,7 @@ diffTerms :: (Eq leaf, HasField fields Category, HasField fields (Maybe FeatureV
=> SyntaxTerm leaf fields -- ^ A term representing the old state. => SyntaxTerm leaf fields -- ^ A term representing the old state.
-> SyntaxTerm leaf fields -- ^ A term representing the new state. -> SyntaxTerm leaf fields -- ^ A term representing the new state.
-> SyntaxDiff leaf fields -> SyntaxDiff leaf fields
diffTerms = (runAlgorithm (decomposeWith algorithmWithTerms) .) . diff diffTerms a b = runAlgorithm (decomposeWith algorithmWithTerms) (diff a b)
-- | Run an Algorithm to completion by repeated application of a stepping operation and return its result. -- | Run an Algorithm to completion by repeated application of a stepping operation and return its result.
runAlgorithm :: forall f result runAlgorithm :: forall f result