From 6ff4872ec8223d26cc58f4b2a9852383b6e3df78 Mon Sep 17 00:00:00 2001
From: Sofia Rodrigues <sofia@algebraic.dev>
Date: Tue, 22 Aug 2023 16:21:32 -0300
Subject: [PATCH] fix: problems with build and json

---
 Dockerfile                 | 2 +-
 Rinha/Entities/Person.lean | 2 +-
 lake-manifest.json         | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index fded5fb..56c89ce 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -20,6 +20,6 @@ ENV LEAN_CC "clang++"
 RUN lake update
 RUN lake build rinha
 
-COPY build/bin/rinha /app/rinha
+RUN cp build/bin/rinha /app/rinha
 
 ENTRYPOINT ["/app/entrypoint.sh"]
diff --git a/Rinha/Entities/Person.lean b/Rinha/Entities/Person.lean
index 90a3085..2f68f56 100644
--- a/Rinha/Entities/Person.lean
+++ b/Rinha/Entities/Person.lean
@@ -87,7 +87,7 @@ instance : Ash.ToJSON Person where
 instance : FromJSON Person where
   fromJSON json := do
     let username  ← json.find? "apelido" >>= String.toUsername?
-    let name      ← json.find? "name"     >>= String.toName?
+    let name      ← json.find? "nome"    >>= String.toName?
     let birthdate ← json.find? "nascimento"
     let stack     ← json.find? "stack"
     return {id := "", username, name, birthdate, stack }
diff --git a/lake-manifest.json b/lake-manifest.json
index 6c305d2..e0030c5 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"git":
    {"url": "https://github.com/aripiprazole/pgsql.git",
     "subDir?": null,
-    "rev": "c41f494eb99f3e93017a7e2e590436b57938c638",
+    "rev": "ec5dd41b4db120d2339480fef2849c1a8321489d",
     "name": "pgsql",
     "inputRev?": null}},
   {"git":
@@ -34,6 +34,6 @@
   {"git":
    {"url": "https://github.com/algebraic-sofia/ash.git",
     "subDir?": null,
-    "rev": "96f116c4bf09a2994d7f5efaa45acec7ab9b687b",
+    "rev": "c8b6157f63721bf45ab80d3dd61f9f5300f6f02d",
     "name": "ash",
     "inputRev?": null}}]}