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

Generalize importGraphAnalysis over the term type.

This commit is contained in:
Rob Rix 2019-07-29 12:15:22 -04:00
parent e022b47eef
commit 7e7f33c6d1
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -78,10 +78,12 @@ runFile file = traverse run file
importGraphAnalysis :: ( Alternative m
, Carrier sig m
, Member (Reader Loc) sig
, Member (State (Heap User (Value (Term (Core.Ann :+: Core.Core) User)))) sig
, Member (State (Heap User (Value (term User)))) sig
, MonadFail m
, Ord (term User)
, Show (term User)
)
=> Analysis (Term (Core.Ann :+: Core.Core)) User (Value (Term (Core.Ann :+: Core.Core) User)) m
=> Analysis term User (Value (term User)) m
importGraphAnalysis = Analysis{..}
where alloc = pure
bind _ _ m = m