github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

This is no longer the case!

Browse Source
This commit is contained in:
Rob Rix 2018-05-11 11:21:07 -04:00
parent bdbc20dd9a
commit 5798751181
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Semantic/Util.hs
View File

@ -52,7 +52,6 @@ evaluatingWithHoles
. resumingAddressError @(Value Precise) @Precise
. constrainedToValuePrecise
-- The order is significant here: caching has to run before typeChecking, or else we’ll nondeterministically produce TypeErrors as part of the result set. While this is probably actually correct, it will require us to have an Ord instance for TypeError, which we don’t have yet.
checking
= runM @(Evaluator Monovariant Type) @IO
. fmap (first reassociateTypes)