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

Generalizee typecheckingAnalysis over the name type.

Browse Source
This commit is contained in:
Rob Rix 2019-10-11 11:45:57 -04:00
parent 45dfc6ead1
commit 6efc7c7301
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
semantic-core/src/Analysis/Typecheck.hs
View File

@ -151,10 +151,11 @@ typecheckingAnalysis
:: ( Alternative m
, Carrier sig m
, Member Fresh sig
, Member (State (Set.Set (Constraint Name))) sig
, Member (State (Heap Name (Type Name))) sig
, Member (State (Set.Set (Constraint name))) sig
, Member (State (Heap name (Type name))) sig
, Ord name
)
=> Analysis term Name Name (Type Name) m
=> Analysis term name name (Type name) m
typecheckingAnalysis = Analysis{..}
where alloc = pure
bind _ _ m = m