Merge pull request #59 from unisoncomputing/cp/bump-trunk-2025-04-30

Bump unison trunk

Author: ChrisPenner

src/Share/Backend.hs

@@ -192,11 +192,11 @@ getTermTag r termType = do
     V2Referent.Con ref _ -> Just <$> Codebase.expectDeclKind ref
   pure $
     if
-      | isDoc -> Doc
-      | isTest -> Test
-      | Just CT.Effect <- constructorType -> Constructor Ability
-      | Just CT.Data <- constructorType -> Constructor Data
-      | otherwise -> Plain
+        | isDoc -> Doc
+        | isTest -> Test
+        | Just CT.Effect <- constructorType -> Constructor Ability
+        | Just CT.Data <- constructorType -> Constructor Data
+        | otherwise -> Plain
 
 getTypeTag ::
   (PG.QueryM m) =>
@@ -314,7 +314,7 @@ typeDeclHeader ppe r = case Reference.toId r of
       Just decl ->
         DisplayObject.UserObject $
           Syntax.convertElement
-            <$> Pretty.render defaultWidth (DeclPrinter.prettyDeclHeader name decl)
+            <$> Pretty.render defaultWidth (DeclPrinter.prettyDeclHeader DeclPrinter.RenderUniqueTypeGuids'No name decl)
   Nothing ->
     pure (DisplayObject.BuiltinObject (Backend.formatTypeName ppe r))
   where

transcripts/share-apis/user-creation/run.zsh

@@ -10,7 +10,7 @@ new_user_cookie_jar=$(cookie_jar_for_user_id "new_user")
 # Should be able to create a new user via the login flow by following redirects.
 # Note that the end of the redirect chain ends up on the Share UI (localhost:1234) which may or may not be running, so
 # we just ignore bad status codes from that server.
-curl -v -L -I -o /dev/null -w '{"result_url": "%{url_effective}"}' --request "GET" --cookie "$new_user_cookie_jar" --cookie-jar "$new_user_cookie_jar" "http://localhost:5424/login" || true
+curl -s -L -I -o /dev/null -w '{"result_url": "%{url_effective}"}' --request "GET" --cookie "$new_user_cookie_jar" --cookie-jar "$new_user_cookie_jar" "http://localhost:5424/login" || true
 
 # user should now be logged in as the local github user.
 fetch "new_user" GET new-user-profile /account