From 6e418c6772e1eddec8e57968a5ab1f8e961be5e9 Mon Sep 17 00:00:00 2001
From: ache <ache@ache.one>
Date: Sat, 28 Jul 2018 06:21:27 +0200
Subject: [PATCH] Update description of Code

---
 readme.md | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/readme.md b/readme.md
index 39e0a3f..13794e7 100644
--- a/readme.md
+++ b/readme.md
@@ -157,14 +157,17 @@ Yields:
 ### `Code`
 
 `Code` ([`Text`][text]) occurs at block level (see
-[`InlineCode`][inlinecode] for code spans).  `Code` sports a language
-tag (when using GitHub Flavoured Markdown fences with a flag, `null`
-otherwise).
+[`InlineCode`][inlinecode] for code spans).  `Code` supports an
+info string and a language tag (when the line with the opening fence
+contains some text, it is stored as the info string, the first word
+following the fence is stored as the language tag, the rest of the
+line is stored as the info string, both are null if missing)
 
 ```idl
 interface Code <: Text {
   type: "code";
   lang: string | null;
+  infoString: string | null;
 }
 ```
 
@@ -180,6 +183,7 @@ Yields:
 {
   "type": "code",
   "lang": null,
+  "infoString": null,
   "value": "foo()"
 }
 ```