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

Commit e36cc7c

Browse files
committed
Fix the doctest for concrete.
1 parent 325ec2a commit e36cc7c

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
@@ -63,7 +63,7 @@ type Heap = IntMap.IntMap Concrete
6363

6464
-- | Concrete evaluation of a term to a value.
6565
--
66-
-- >>> map fileBody (snd (concrete [File (Loc "bool" emptySpan) (Core.Bool True)]))
66+
-- >>> map fileBody (snd (concrete [File (Loc "bool" emptySpan) (Core.bool True)]))
6767
-- [Right (Bool True)]
6868
concrete :: [File (Term Core.Core Name)] -> (Heap, [File (Either (Loc, String) Concrete)])
6969
concrete

0 commit comments

Comments
 (0)