1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00

Fix the doctests of the concrete analysis.

This commit is contained in:
Rob Rix 2019-07-29 13:04:15 -04:00
parent 0b86f913ee
commit bd5aea62b3
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -65,7 +65,7 @@ data Edge = Lexical | Import
-- | Concrete evaluation of a term to a value.
--
-- >>> map fileBody (snd (concrete [File (Loc "bool" emptySpan) (Core.bool True)]))
-- >>> map fileBody (snd (concrete eval [File (Loc "bool" emptySpan) (Core.bool True)]))
-- [Right (Bool True)]
concrete
:: (Foldable term, Show (term User))
@ -217,3 +217,4 @@ data EdgeType term
-- $setup
-- >>> :seti -XOverloadedStrings
-- >>> import qualified Data.Core as Core