summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVivien Kraus <vivien@planete-kraus.eu>2021-08-15 17:44:56 +0200
committerVivien Kraus <vivien@planete-kraus.eu>2021-09-13 19:37:44 +0200
commit98918bde80768ea0068e7cdac643bd93d78d4e23 (patch)
treed7cac624599c024909c646062848236dbffe1867
parent26d71aceaa0262c192b387ab0e2861c4246898b6 (diff)
Fix syntax error
-rw-r--r--po/disfluid.pot32
-rw-r--r--po/fr.po32
-rw-r--r--src/scm/webid-oidc/access-token.scm1
-rw-r--r--src/scm/webid-oidc/authorization-code.scm1
4 files changed, 34 insertions, 32 deletions
diff --git a/po/disfluid.pot b/po/disfluid.pot
index 038354b..b4be54f 100644
--- a/po/disfluid.pot
+++ b/po/disfluid.pot
@@ -8,7 +8,7 @@ msgid ""
msgstr ""
"Project-Id-Version: disfluid SNAPSHOT\n"
"Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-09-13 19:35+0200\n"
+"POT-Creation-Date: 2021-09-13 19:37+0200\n"
"PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
"Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
"Language-Team: LANGUAGE <LL@li.org>\n"
@@ -198,51 +198,51 @@ msgstr ""
msgid "the \"client_id\" field should be an URI, ~s is given"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:238
+#: src/scm/webid-oidc/access-token.scm:239
#, scheme-format
msgid "the access token is invalid: ~a"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:240
+#: src/scm/webid-oidc/access-token.scm:241
msgid "the access token is invalid"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:256
+#: src/scm/webid-oidc/access-token.scm:257
#: src/scm/webid-oidc/oidc-id-token.scm:236
#, scheme-format
msgid "I cannot query the identity provider configuration: ~a"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:258
+#: src/scm/webid-oidc/access-token.scm:259
#: src/scm/webid-oidc/oidc-id-token.scm:238
msgid "I cannot query the identity provider configuratioon"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:275
+#: src/scm/webid-oidc/access-token.scm:276
#, scheme-format
msgid "I cannot query the identity provider public keys: ~a"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:277
+#: src/scm/webid-oidc/access-token.scm:278
msgid "I cannot query the identity provider public keys"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:293
+#: src/scm/webid-oidc/access-token.scm:294
#, scheme-format
msgid "the access token is signed in the future, ~a, relative to current ~a"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:302
+#: src/scm/webid-oidc/access-token.scm:303
#, scheme-format
msgid "the access token expired ~a, which is in the past (from ~a)"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:316
+#: src/scm/webid-oidc/access-token.scm:317
#, scheme-format
msgid "cannot encode the access token: ~a"
msgstr ""
-#: src/scm/webid-oidc/access-token.scm:318
+#: src/scm/webid-oidc/access-token.scm:319
msgid "cannot encode the access token"
msgstr ""
@@ -269,26 +269,26 @@ msgstr ""
msgid "the \"jti\" field should be a string, ~s is given"
msgstr ""
-#: src/scm/webid-oidc/authorization-code.scm:169
+#: src/scm/webid-oidc/authorization-code.scm:170
#, scheme-format
msgid "the authorization code is invalid: ~a"
msgstr ""
-#: src/scm/webid-oidc/authorization-code.scm:171
+#: src/scm/webid-oidc/authorization-code.scm:172
msgid "the authorization code is invalid"
msgstr ""
-#: src/scm/webid-oidc/authorization-code.scm:185
+#: src/scm/webid-oidc/authorization-code.scm:186
#, scheme-format
msgid "the authorization expired ~a, which is in the past (from ~a)"
msgstr ""
-#: src/scm/webid-oidc/authorization-code.scm:201
+#: src/scm/webid-oidc/authorization-code.scm:202
#, scheme-format
msgid "cannot encode the authorization code: ~a"
msgstr ""
-#: src/scm/webid-oidc/authorization-code.scm:203
+#: src/scm/webid-oidc/authorization-code.scm:204
msgid "cannot encode the authorization code"
msgstr ""
diff --git a/po/fr.po b/po/fr.po
index 40244d3..315005c 100644
--- a/po/fr.po
+++ b/po/fr.po
@@ -2,7 +2,7 @@ msgid ""
msgstr ""
"Project-Id-Version: webid-oidc 0.0.0\n"
"Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-09-13 19:35+0200\n"
+"POT-Creation-Date: 2021-09-13 19:37+0200\n"
"PO-Revision-Date: 2021-09-13 19:25+0200\n"
"Last-Translator: Vivien Kraus <vivien@planete-kraus.eu>\n"
"Language-Team: French <vivien@planete-kraus.eu>\n"
@@ -202,55 +202,55 @@ msgstr "le champ « cnf » doit être un objet JSON, pas ~s"
msgid "the \"client_id\" field should be an URI, ~s is given"
msgstr "le champ « client_id » doit être une URI, pas ~s"
-#: src/scm/webid-oidc/access-token.scm:238
+#: src/scm/webid-oidc/access-token.scm:239
#, scheme-format
msgid "the access token is invalid: ~a"
msgstr "le jeton d’accès est invalide : ~a"
-#: src/scm/webid-oidc/access-token.scm:240
+#: src/scm/webid-oidc/access-token.scm:241
msgid "the access token is invalid"
msgstr "le jeton d’accès est invalide"
-#: src/scm/webid-oidc/access-token.scm:256
+#: src/scm/webid-oidc/access-token.scm:257
#: src/scm/webid-oidc/oidc-id-token.scm:236
#, scheme-format
msgid "I cannot query the identity provider configuration: ~a"
msgstr ""
"je ne peux pas requêter la configuration du fournisseur d’identité : ~a"
-#: src/scm/webid-oidc/access-token.scm:258
+#: src/scm/webid-oidc/access-token.scm:259
#: src/scm/webid-oidc/oidc-id-token.scm:238
msgid "I cannot query the identity provider configuratioon"
msgstr "je ne peux pas requêter la configurration du fournisseur d’identité"
-#: src/scm/webid-oidc/access-token.scm:275
+#: src/scm/webid-oidc/access-token.scm:276
#, scheme-format
msgid "I cannot query the identity provider public keys: ~a"
msgstr ""
"je ne peux pas requêter les clés publiques du fournisseur d’identité : ~a"
-#: src/scm/webid-oidc/access-token.scm:277
+#: src/scm/webid-oidc/access-token.scm:278
msgid "I cannot query the identity provider public keys"
msgstr "je ne peux pas requêter les clés publiques du fournisseur d’identité"
-#: src/scm/webid-oidc/access-token.scm:293
+#: src/scm/webid-oidc/access-token.scm:294
#, scheme-format
msgid "the access token is signed in the future, ~a, relative to current ~a"
msgstr ""
"le jeton d’accès est signé dans le futur, le ~a, par rapport à la date "
"courante, le ~a"
-#: src/scm/webid-oidc/access-token.scm:302
+#: src/scm/webid-oidc/access-token.scm:303
#, scheme-format
msgid "the access token expired ~a, which is in the past (from ~a)"
msgstr "le jeton d’accès a expiré le ~a, qui est dans le passé (de ~a)"
-#: src/scm/webid-oidc/access-token.scm:316
+#: src/scm/webid-oidc/access-token.scm:317
#, scheme-format
msgid "cannot encode the access token: ~a"
msgstr "impossible d’encoder le jeton d’accès : ~a"
-#: src/scm/webid-oidc/access-token.scm:318
+#: src/scm/webid-oidc/access-token.scm:319
msgid "cannot encode the access token"
msgstr "impossible d’encoder le jeton d’accès"
@@ -279,27 +279,27 @@ msgstr "ce n’est pas un code d’autorisation"
msgid "the \"jti\" field should be a string, ~s is given"
msgstr "le champ « jti » doit être une chaîne de caractères, pas ~s"
-#: src/scm/webid-oidc/authorization-code.scm:169
+#: src/scm/webid-oidc/authorization-code.scm:170
#, scheme-format
msgid "the authorization code is invalid: ~a"
msgstr "le code d’autorisation est invalide : ~a"
-#: src/scm/webid-oidc/authorization-code.scm:171
+#: src/scm/webid-oidc/authorization-code.scm:172
msgid "the authorization code is invalid"
msgstr "le code d’autorisation est invalide"
-#: src/scm/webid-oidc/authorization-code.scm:185
+#: src/scm/webid-oidc/authorization-code.scm:186
#, scheme-format
msgid "the authorization expired ~a, which is in the past (from ~a)"
msgstr ""
"le code d’autorisation a expiré le ~a, qui est dans le passé (depuis ~a)"
-#: src/scm/webid-oidc/authorization-code.scm:201
+#: src/scm/webid-oidc/authorization-code.scm:202
#, scheme-format
msgid "cannot encode the authorization code: ~a"
msgstr "impossible d’encoder le code d’autorisation : ~a"
-#: src/scm/webid-oidc/authorization-code.scm:203
+#: src/scm/webid-oidc/authorization-code.scm:204
msgid "cannot encode the authorization code"
msgstr "impossible d’encoder le code d’autorisation"
diff --git a/src/scm/webid-oidc/access-token.scm b/src/scm/webid-oidc/access-token.scm
index 6023108..0cc8c27 100644
--- a/src/scm/webid-oidc/access-token.scm
+++ b/src/scm/webid-oidc/access-token.scm
@@ -183,6 +183,7 @@
(else
(scm-error 'wrong-type-arg "the-access-token"
"expected a pair of lists"
+ '()
(list x)))))))
(define (access-token? x)
diff --git a/src/scm/webid-oidc/authorization-code.scm b/src/scm/webid-oidc/authorization-code.scm
index 95dcc4a..ff7fe60 100644
--- a/src/scm/webid-oidc/authorization-code.scm
+++ b/src/scm/webid-oidc/authorization-code.scm
@@ -129,6 +129,7 @@
(else
(scm-error 'wrong-type-arg "the-authorization-code"
"expected a pair of lists"
+ '()
(list x)))))))
(define (authorization-code? x)