github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-13 03:15:45 +03:00
Code Issues Projects Releases Wiki Activity

type apply in builtInPrint

Browse Source
This commit is contained in:
joshvera 2018-09-26 13:58:01 -05:00
parent be44a501e0
commit c6d1626ad1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Control/Abstract/Primitive.hs
View File

@ -123,7 +123,7 @@ instance (Member (Reader ModuleInfo) effects, Member (Resumable (BaseError (Scop
function name vars lowerBound action
{-# INLINE lambda' #-}
builtInPrint :: ( AbstractValue address value effects
builtInPrint :: forall address value effects. ( AbstractValue address value effects
, HasCallStack
, Member (Allocator address) effects
, Member (Deref value) effects
@ -144,4 +144,4 @@ builtInPrint :: ( AbstractValue address value effects
=> Evaluator address value effects value
-- TODO: This Declaration usage might be wrong. How do we know name exists.
builtInPrint =
lambda (\ v -> variable v >>= deref >>= asString >>= trace . unpack >> currentFrame) -- box unit)
lambda @address @value @effects @(Name -> Evaluator address value effects value) (\ v -> variable v >>= deref >>= asString >>= trace . unpack >> pure unit) -- box unit)