Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit ffdefb0

Browse files
committed
Fix the doctest for concrete.
1 parent 58d819f commit ffdefb0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

semantic-core/src/Analysis/Concrete.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ type Heap = IntMap.IntMap Concrete
6161

6262
-- | Concrete evaluation of a term to a value.
6363
--
64-
-- >>> snd (concrete [File (Loc "bool" emptySpan) (Core.Bool True)])
64+
-- >>> map fileBody (snd (concrete [File (Loc "bool" emptySpan) (Core.Bool True)]))
6565
-- [Right (Bool True)]
6666
concrete :: [File Core.Core] -> (Heap, [File (Either (Loc, String) Concrete)])
6767
concrete

0 commit comments

Comments
 (0)