Devs

 

I’m at a loss for how to review GitLab changes.  Richard sent me the message below.  So I follow the link to “View on GitLab”, or I manually edit the URL to plain

https://gitlab.haskell.org/ghc/ghc/merge_requests/116

 

Either way, I can’t see any comments whatsoever!  It says 5/5 discussions resolved, but I can’t actually see them.  There is not “toggle discussion” button anywhere.

 

What should I do?  This is quite a big problem.

 

I suppose we could issue guidance NEVER to resolve a discussion, but that seems like the wrong conclusion.

 

Simon

 

From: Richard Eisenberg <gitlab@gitlab.haskell.org>
Sent: 14 January 2019 03:03
To: Simon Peyton Jones <simonpj@microsoft.com>
Subject: Re: GHC | Some refactoring in tcInferApps (!116)

 

Richard Eisenberg commented on a discussion on compiler/typecheck/TcHsType.hs:

1022

+                                 (vcat [ ppr ki_binder

1023

+                                       , ppr ki_arg

1024

+                                       , ppr (tyBinderType ki_binder)

1025

+                                       , ppr subst

1026

+                                       , ppr (isInvisibleBinder ki_binder) ])

1027

+                       ; ty_app_err ki_arg $ nakedSubstTy subst $

1028

+                                             mkPiTys all_ki_binders inner_ki }

1029

+

1030

+        -- no binder; try applying the substitution, or fail if that's not possible

1031

+      | otherwise

1032

+      = try_again_after_substing_or n subst fun inner_ki all_args $ \ substed_inner_ki ->

1033

+        ty_app_err ki_arg substed_inner_ki

1034

+

1035

+    go n subst fun all_ki_binders inner_ki all_args@(HsValArg arg : args)

1036

+      | ki_binder : ki_binders <- all_ki_binders

1037

+      = if isInvisibleBinder ki_binder

See if you like how I've done this now.


View it on GitLab.
You're receiving this email because of your account on gitlab.haskell.org. If you'd like to receive fewer emails, you can unsubscribe from this thread or adjust your notification settings.