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

Freeze the call stack in the smart constructors.

Browse Source
This commit is contained in:
Rob Rix 2017-05-16 11:23:21 -04:00
parent f002ce8080
commit 5a54516b9f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Syntax/Assignment.hs
View File

@ -117,15 +117,15 @@ location = Location `Then` return
--
-- Since this is zero-width, care must be taken not to repeat it without chaining on other rules. I.e. 'many (symbol A *> b)' is fine, but 'many (symbol A)' is not.
symbol :: (Enum symbol, Eq symbol, HasCallStack) => symbol -> Assignment (Node symbol) Location
symbol s = Choose (IntMap.singleton (fromEnum s) ()) `Then` (const location)
symbol s = let ?callStack = freezeCallStack callStack in Choose (IntMap.singleton (fromEnum s) ()) `Then` (const location)
-- | A rule to produce a node’s source as a ByteString.
source :: HasCallStack => Assignment symbol ByteString
source = Source `Then` return
source = let ?callStack = freezeCallStack callStack in Source `Then` return
-- | Match a node by applying an assignment to its children.
children :: HasCallStack => Assignment symbol a -> Assignment symbol a
children forEach = Children forEach `Then` return
children forEach = let ?callStack = freezeCallStack callStack in Children forEach `Then` return
-- | A rose tree.