unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-04 13:47:26 +03:00
Code Issues Projects Releases Wiki Activity

clear old comment

Browse Source
This commit is contained in:
Arya Irani 2021-09-24 14:42:25 -04:00
parent 61495a76b3
commit 79b2d90f21
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
parser-typechecker/src/Unison/UnisonFile.hs
View File

@ -92,9 +92,6 @@ effectDeclarations' = fmap (first Reference.DerivedId) . effectDeclarationsId'
hashTerms :: TypecheckedUnisonFile v a -> Map v (Reference, Maybe WatchKind, Term v a, Type v a)
hashTerms = fmap (over _1 Reference.DerivedId) . hashTermsId
-- todo: this is confusing, right?
-- currently: create a degenerate TypecheckedUnisonFile
-- multiple definitions of "top-level components" non-watch vs w/ watch
typecheckedUnisonFile :: forall v a. Var v
=> Map v (Reference.Id, DataDeclaration v a)
-> Map v (Reference.Id, EffectDeclaration v a)