Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 6 additions & 6 deletions src/Share/Backend.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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) =>
Expand Down Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion transcripts/share-apis/user-creation/run.zsh
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion unison
Submodule unison updated 119 files