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

Specialize the type of the k parameter.

Browse Source
This commit is contained in:
Rob Rix 2019-06-26 10:07:07 -04:00
parent 6e5d4baa5f
commit cea99d2aae
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic-core/src/Data/Core.hs
View File

@ -133,7 +133,7 @@ gfold :: forall m n b
-> (forall a . n a -> n a -> n a)
-> (forall a . n a -> n a -> n a)
-> (forall a . Loc -> n a -> n a)
-> (forall a . Incr a -> m (Incr a))
-> (forall a . Incr (n a) -> m (Incr (n a)))
-> Core (m b)
-> n b
gfold var let' seq' lam app unit bool if' string load edge frame dot assign ann k = go