@softwarefactory-project/re-ansi 0.7.1 → 0.7.3

package/README.md

@@ -81,6 +81,15 @@ Make sure to read about [React][reason-react] and [Reason][rescript-lang] too.
 
 ## Changes
 
+### 0.7.3
+
+- Better parse url.
+
+### 0.7.2
+
+- Use a bundle for the published JS library thanks to
+  https://github.com/rescript-lang/rescript-compiler/issues/6754#issuecomment-2153018168
+
 ### 0.7.1
 
 - Use @rescript/std instead of rescript.

package/package.json

@@ -1,14 +1,16 @@
 {
   "name": "@softwarefactory-project/re-ansi",
-  "version": "0.7.1",
+  "version": "0.7.3",
   "description": "ANSI code to HTML",
   "files": [
     "README.md",
     "LICENSE",
     "rescript.json",
-    "src"
+    "src/Ansi.res",
+    "src/Ansi.res.js"
   ],
   "main": "./src/Ansi.res.js",
+  "type": "module",
   "license": "Apache-2.0",
   "homepage": "https://github.com/softwarefactory-project/re-ansi",
   "repository": {
@@ -19,19 +21,18 @@
     "build": "rescript",
     "clean": "rescript clean",
     "dev": "rescript -w",
-    "test": "npm run build && node tests/Spec.res.js"
+    "test": "npm run build && node tests/Spec.res.mjs",
+    "bundle": "npm run clean && npm run build && nanobundle build --clean --no-sourcemap --no-legal-comments --external=react"
   },
   "keywords": [
     "ansi",
     "rescript",
     "react"
   ],
-  "dependencies": {
+  "devDependencies": {
+    "nanobundle": "^2.0.0",
     "@rescript/core": "^1.3.0",
     "@rescript/react": "^0.12.1",
-    "@rescript/std": "^11.1.0"
-  },
-  "devDependencies": {
     "rescript": "^11.1.0"
   }
 }

package/rescript.json

@@ -7,11 +7,10 @@
   "bsc-flags": ["-open RescriptCore"],
   "package-specs": [
     {
-      "module": "commonjs",
+      "module": "esmodule",
       "in-source": true
     }
   ],
-  "suffix": ".res.js",
-  "bs-dependencies": ["@rescript/react", "@rescript/core"],
-  "external-stdlib" : "@rescript/std"
+  "suffix": ".res.mjs",
+  "bs-dependencies": ["@rescript/react", "@rescript/core"]
 }

package/src/Ansi.res

@@ -153,14 +153,14 @@ module AnsiCode = {
 
   // Link management
   module HttpLink = {
-    let linkRe = RegExp.fromString("^(http(s)?:\\/\\/[^\\s]+)");
+    let linkRe = RegExp.fromString("^(http(s)?:\\/\\/[^\\)>\\s]+)");
 
     let get = (txt: string): parser<code> =>
       linkRe
       ->RegExp.exec(txt)
       ->Option.flatMap(res => res->Array.get(0)
           ->Option.flatMap(url =>
-              (url->Js.String.length, url->HRef->Some)->Some
+              (url->String.length, url->HRef->Some)->Some
             )
         )
       ->Option.getOr((1, None));
@@ -307,7 +307,7 @@ module Document = {
 // Convert a string to a document
 let parse = (txt: string): document => {
   let rec go = (txt: string, acc: list<document>) => {
-    let length = txt->Js.String.length;
+    let length = txt->String.length;
     switch (txt->Document.parse(length, 0)) {
     | (pos, Some(doc)) when pos == length => acc->List.add(doc)
     | (pos, Some(doc)) =>
@@ -315,7 +315,7 @@ let parse = (txt: string): document => {
     | _ => acc
     };
   };
-  txt->go(list{})->Belt.List.reverse->Belt.List.flatten;
+  txt->go(list{})->List.reverse->List.flat;
 };
 
 // Convert a document to a React.element

package/src/Ansi.res.js

@@ -1,919 +0,0 @@
-// Generated by ReScript, PLEASE EDIT WITH CARE
-'use strict';
-
-var Belt_List = require("rescript/lib/js/belt_List.js");
-var Js_string = require("rescript/lib/js/js_string.js");
-var Core__List = require("@rescript/core/src/Core__List.res.js");
-var Caml_option = require("rescript/lib/js/caml_option.js");
-var Core__Option = require("@rescript/core/src/Core__Option.res.js");
-var JsxRuntime = require("react/jsx-runtime");
-
-function fourBitColors(code) {
-  switch (code) {
-    case 0 :
-        return "black";
-    case 1 :
-        return "red";
-    case 2 :
-        return "green";
-    case 3 :
-        return "yellow";
-    case 4 :
-        return "blue";
-    case 5 :
-        return "magenta";
-    case 6 :
-        return "cyan";
-    case 9 :
-        return "initial";
-    case 10 :
-        return "grey";
-    case 11 :
-        return "#DA2647";
-    case 12 :
-        return "#87FF2A";
-    case 13 :
-        return "#FFF700";
-    case 14 :
-        return "#5DADEC";
-    case 15 :
-        return "#FF3399";
-    case 16 :
-        return "#8DD9CC";
-    case 7 :
-    case 17 :
-        return "white";
-    default:
-      console.log("Unknown color value:", code);
-      return ;
-  }
-}
-
-function threeBitColors(code) {
-  switch (code) {
-    case 0 :
-        return "grey";
-    case 1 :
-        return "red";
-    case 2 :
-        return "green";
-    case 3 :
-        return "yellow";
-    case 4 :
-        return "blue";
-    case 5 :
-        return "magenta";
-    case 6 :
-        return "cyan";
-    case 7 :
-        return "white";
-    default:
-      console.log("Unknown color value:", code);
-      return ;
-  }
-}
-
-function combine(css1, css2) {
-  return Object.assign({}, css1, css2);
-}
-
-function addWeight(fontWeight) {
-  return {
-          fontWeight: fontWeight
-        };
-}
-
-function addStyle(fontStyle) {
-  return {
-          fontStyle: fontStyle
-        };
-}
-
-function addDecoration(textDecoration) {
-  return {
-          textDecoration: textDecoration
-        };
-}
-
-function int_of_cp(c) {
-  return c - 48 | 0;
-}
-
-function getColorStyle(colorMode, colorValue) {
-  switch (colorMode) {
-    case 3 :
-        return {
-                TAG: "Foreground",
-                _0: colorValue
-              };
-    case 0 :
-    case 4 :
-        return {
-                TAG: "Background",
-                _0: colorValue
-              };
-    case 9 :
-        return {
-                TAG: "BrightForeground",
-                _0: colorValue
-              };
-    default:
-      
-  }
-  console.log("Unknown color code:", colorMode, colorValue);
-}
-
-function getColorStyleCss(color) {
-  switch (color.TAG) {
-    case "Foreground" :
-        return Core__Option.flatMap(fourBitColors(color._0), (function (color) {
-                      return {
-                              color: color
-                            };
-                    }));
-    case "BrightForeground" :
-        return Core__Option.flatMap(threeBitColors(color._0), (function (color) {
-                      return {
-                              color: color,
-                              fontWeight: "bold"
-                            };
-                    }));
-    case "Background" :
-        return Core__Option.flatMap(fourBitColors(color._0), (function (background) {
-                      return {
-                              background: background
-                            };
-                    }));
-    
-  }
-}
-
-function get(colorMode, colorValue) {
-  return Core__Option.flatMap(getColorStyle(colorMode - 48 | 0, colorValue - 48 | 0), getColorStyleCss);
-}
-
-var ColorCss = {
-  getColorStyle: getColorStyle,
-  getColorStyleCss: getColorStyleCss,
-  get: get
-};
-
-function getFontStyle(fontMode) {
-  switch (fontMode) {
-    case 1 :
-        return {
-                TAG: "FontStyle",
-                _0: addWeight("bold")
-              };
-    case 2 :
-        return {
-                TAG: "FontStyle",
-                _0: addWeight("lighter")
-              };
-    case 3 :
-        return {
-                TAG: "FontStyle",
-                _0: addStyle("italic")
-              };
-    case 4 :
-        return {
-                TAG: "FontStyle",
-                _0: addDecoration("underline")
-              };
-    case 0 :
-    case 7 :
-        return "Regular";
-    case 9 :
-        return {
-                TAG: "FontStyle",
-                _0: addDecoration("line-through")
-              };
-    default:
-      return ;
-  }
-}
-
-function getFontStyleCss(font) {
-  if (typeof font !== "object") {
-    return ;
-  } else {
-    return font._0;
-  }
-}
-
-function get$1(fontMode) {
-  return Core__Option.flatMap(getFontStyle(fontMode - 48 | 0), getFontStyleCss);
-}
-
-var FontCss = {
-  getFontStyle: getFontStyle,
-  getFontStyleCss: getFontStyleCss,
-  get: get$1
-};
-
-var linkRe = new RegExp("^(http(s)?:\\/\\/[^\\s]+)");
-
-function get$2(txt) {
-  return Core__Option.getOr(Core__Option.flatMap(Caml_option.nullable_to_opt(linkRe.exec(txt)), (function (res) {
-                    return Core__Option.flatMap(res[0], (function (url) {
-                                  return [
-                                          url.length,
-                                          {
-                                            TAG: "HRef",
-                                            _0: url
-                                          }
-                                        ];
-                                }));
-                  })), [
-              1,
-              undefined
-            ]);
-}
-
-var HttpLink = {
-  linkRe: linkRe,
-  get: get$2
-};
-
-function parse(txt, pos) {
-  var match = Js_string.codePointAt(pos, txt);
-  var exit = 0;
-  if (match === undefined) {
-    return [
-            0,
-            undefined
-          ];
-  }
-  if (match >= 14) {
-    if (match !== 27) {
-      if (match !== 104) {
-        return [
-                0,
-                undefined
-              ];
-      } else {
-        return get$2(Js_string.slice(pos, 512, txt));
-      }
-    }
-    exit = 1;
-  } else {
-    if (match === 10) {
-      return [
-              1,
-              "CarriageReturn"
-            ];
-    }
-    if (match < 13) {
-      return [
-              0,
-              undefined
-            ];
-    }
-    exit = 1;
-  }
-  if (exit === 1) {
-    var codePoints = [];
-    var readCodePoints = function (_idx) {
-      while(true) {
-        var idx = _idx;
-        var match = idx > 10;
-        var match$1 = Js_string.codePointAt(pos + idx | 0, txt);
-        if (match) {
-          return ;
-        }
-        if (match$1 === undefined) {
-          return ;
-        }
-        if (match$1 === 109) {
-          return ;
-        }
-        codePoints.push(match$1);
-        _idx = idx + 1 | 0;
-        continue ;
-      };
-    };
-    readCodePoints(1);
-    var length = codePoints.length + 2 | 0;
-    var exit$1 = 0;
-    var colorMode;
-    var colorValue;
-    var xs;
-    var colorMode$1;
-    var colorValue$1;
-    var style;
-    var style$1;
-    var cm1;
-    var cv1;
-    var cm2;
-    var cv2;
-    var xs$1;
-    if (codePoints[0] === 10 && codePoints[1] === 27 && codePoints[2] === 91 && codePoints[3] === 49 && codePoints[4] === 65 && codePoints[5] === 27 && codePoints[6] === 91 && codePoints[7] === 74) {
-      return [
-              9,
-              "EraseLine"
-            ];
-    }
-    if (codePoints[0] === 91 && codePoints[2] === 75) {
-      return [
-              4,
-              "EraseLine"
-            ];
-    }
-    if (codePoints[0] === 91 && codePoints[1] === 75) {
-      return [
-              3,
-              "EraseLine"
-            ];
-    }
-    var len = codePoints.length;
-    if (len >= 11) {
-      return [
-              1,
-              undefined
-            ];
-    }
-    switch (len) {
-      case 1 :
-          var match$1 = codePoints[0];
-          if (match$1 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          } else {
-            return [
-                    length,
-                    "Clear"
-                  ];
-          }
-      case 2 :
-          var match$2 = codePoints[0];
-          if (match$2 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var style$2 = codePoints[1];
-          if (style$2 !== 48) {
-            return [
-                    length,
-                    Core__Option.flatMap(get$1(style$2), (function (style) {
-                            return {
-                                    TAG: "Style",
-                                    _0: style
-                                  };
-                          }))
-                  ];
-          } else {
-            return [
-                    length,
-                    "Clear"
-                  ];
-          }
-      case 3 :
-          var match$3 = codePoints[0];
-          if (match$3 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var colorMode$2 = codePoints[1];
-          var exit$2 = 0;
-          if (colorMode$2 !== 48) {
-            exit$2 = 5;
-          } else {
-            var match$4 = codePoints[2];
-            if (match$4 === 48) {
-              return [
-                      length,
-                      "Clear"
-                    ];
-            }
-            exit$2 = 5;
-          }
-          if (exit$2 === 5) {
-            var colorValue$2 = codePoints[2];
-            colorMode = colorMode$2;
-            colorValue = colorValue$2;
-            xs = codePoints;
-            exit$1 = 2;
-          }
-          break;
-      case 4 :
-          var match$5 = codePoints[0];
-          if (match$5 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var match$6 = codePoints[1];
-          if (match$6 !== 49) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var colorMode$3 = codePoints[2];
-          var colorValue$3 = codePoints[3];
-          colorMode = colorMode$3;
-          colorValue = colorValue$3;
-          xs = codePoints;
-          exit$1 = 2;
-          break;
-      case 5 :
-          var match$7 = codePoints[0];
-          if (match$7 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var colorMode$4 = codePoints[1];
-          var colorValue$4 = codePoints[2];
-          var match$8 = codePoints[3];
-          if (match$8 !== 59) {
-            if (colorValue$4 !== 59) {
-              return [
-                      1,
-                      undefined
-                    ];
-            }
-            var colorMode$5 = codePoints[3];
-            var colorValue$5 = codePoints[4];
-            colorMode$1 = colorMode$5;
-            colorValue$1 = colorValue$5;
-            style = colorMode$4;
-            exit$1 = 3;
-          } else {
-            var style$3 = codePoints[4];
-            colorMode$1 = colorMode$4;
-            colorValue$1 = colorValue$4;
-            style = style$3;
-            exit$1 = 3;
-          }
-          break;
-      case 6 :
-          var match$9 = codePoints[0];
-          if (match$9 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var match$10 = codePoints[1];
-          if (match$10 !== 48) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var style$4 = codePoints[2];
-          var match$11 = codePoints[3];
-          if (match$11 !== 59) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var colorMode$6 = codePoints[4];
-          var colorValue$6 = codePoints[5];
-          colorMode$1 = colorMode$6;
-          colorValue$1 = colorValue$6;
-          style = style$4;
-          exit$1 = 3;
-          break;
-      case 0 :
-      case 7 :
-          return [
-                  1,
-                  undefined
-                ];
-      case 8 :
-          var match$12 = codePoints[0];
-          if (match$12 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var style$5 = codePoints[1];
-          var match$13 = codePoints[2];
-          if (match$13 !== 59) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var cm1$1 = codePoints[3];
-          var cv1$1 = codePoints[4];
-          var match$14 = codePoints[5];
-          if (match$14 !== 59) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var cm2$1 = codePoints[6];
-          var cv2$1 = codePoints[7];
-          style$1 = style$5;
-          cm1 = cm1$1;
-          cv1 = cv1$1;
-          cm2 = cm2$1;
-          cv2 = cv2$1;
-          xs$1 = codePoints;
-          exit$1 = 4;
-          break;
-      case 9 :
-          var match$15 = codePoints[0];
-          if (match$15 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var style$6 = codePoints[1];
-          var exit$3 = 0;
-          if (style$6 !== 48) {
-            exit$3 = 5;
-          } else {
-            var style$7 = codePoints[2];
-            var match$16 = codePoints[3];
-            if (match$16 !== 59) {
-              exit$3 = 5;
-            } else {
-              var cm1$2 = codePoints[4];
-              var cv1$2 = codePoints[5];
-              var match$17 = codePoints[6];
-              if (match$17 !== 59) {
-                exit$3 = 5;
-              } else {
-                var cm2$2 = codePoints[7];
-                var cv2$2 = codePoints[8];
-                style$1 = style$7;
-                cm1 = cm1$2;
-                cv1 = cv1$2;
-                cm2 = cm2$2;
-                cv2 = cv2$2;
-                xs$1 = codePoints;
-                exit$1 = 4;
-              }
-            }
-          }
-          if (exit$3 === 5) {
-            var match$18 = codePoints[2];
-            if (match$18 !== 59) {
-              return [
-                      1,
-                      undefined
-                    ];
-            }
-            var cm1$3 = codePoints[3];
-            var cv1$3 = codePoints[4];
-            var match$19 = codePoints[5];
-            if (match$19 !== 59) {
-              return [
-                      1,
-                      undefined
-                    ];
-            }
-            var match$20 = codePoints[6];
-            if (match$20 !== 49) {
-              return [
-                      1,
-                      undefined
-                    ];
-            }
-            var cm2$3 = codePoints[7];
-            var cv2$3 = codePoints[8];
-            style$1 = style$6;
-            cm1 = cm1$3;
-            cv1 = cv1$3;
-            cm2 = cm2$3;
-            cv2 = cv2$3;
-            xs$1 = codePoints;
-            exit$1 = 4;
-          }
-          break;
-      case 10 :
-          var match$21 = codePoints[0];
-          if (match$21 !== 91) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var match$22 = codePoints[1];
-          if (match$22 !== 48) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var style$8 = codePoints[2];
-          var match$23 = codePoints[3];
-          if (match$23 !== 59) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var cm1$4 = codePoints[4];
-          var cv1$4 = codePoints[5];
-          var match$24 = codePoints[6];
-          if (match$24 !== 59) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var match$25 = codePoints[7];
-          if (match$25 !== 49) {
-            return [
-                    1,
-                    undefined
-                  ];
-          }
-          var cm2$4 = codePoints[8];
-          var cv2$4 = codePoints[9];
-          style$1 = style$8;
-          cm1 = cm1$4;
-          cv1 = cv1$4;
-          cm2 = cm2$4;
-          cv2 = cv2$4;
-          xs$1 = codePoints;
-          exit$1 = 4;
-          break;
-      
-    }
-    switch (exit$1) {
-      case 2 :
-          return [
-                  length,
-                  Core__Option.flatMap(get(colorMode, colorValue + (
-                            xs.length === 4 ? 10 : 0
-                          ) | 0), (function (colorCss) {
-                          return {
-                                  TAG: "Style",
-                                  _0: colorCss
-                                };
-                        }))
-                ];
-      case 3 :
-          return [
-                  length,
-                  Core__Option.flatMap(get(colorMode$1, colorValue$1), (function (colorCss) {
-                          var fontCss = get$1(style);
-                          if (fontCss !== undefined) {
-                            return {
-                                    TAG: "Style",
-                                    _0: Object.assign({}, colorCss, fontCss)
-                                  };
-                          } else {
-                            return {
-                                    TAG: "Style",
-                                    _0: colorCss
-                                  };
-                          }
-                        }))
-                ];
-      case 4 :
-          return [
-                  length,
-                  Core__Option.flatMap(get(cm1, cv1), (function (colorCss1) {
-                          return Core__Option.flatMap(get(cm2, cv2 + (
-                                          xs$1.length === 9 ? 10 : 0
-                                        ) | 0), (function (colorCss2) {
-                                        var css = Object.assign({}, colorCss1, colorCss2);
-                                        var fontCss = get$1(style$1);
-                                        if (fontCss !== undefined) {
-                                          return {
-                                                  TAG: "Style",
-                                                  _0: Object.assign({}, css, fontCss)
-                                                };
-                                        } else {
-                                          return {
-                                                  TAG: "Style",
-                                                  _0: css
-                                                };
-                                        }
-                                      }));
-                        }))
-                ];
-      
-    }
-  }
-  
-}
-
-var AnsiCode = {
-  fourBitColors: fourBitColors,
-  threeBitColors: threeBitColors,
-  combine: combine,
-  addWeight: addWeight,
-  addStyle: addStyle,
-  addDecoration: addDecoration,
-  int_of_cp: int_of_cp,
-  ColorCss: ColorCss,
-  FontCss: FontCss,
-  HttpLink: HttpLink,
-  parse: parse
-};
-
-function text(txt, from, to_) {
-  return {
-          TAG: "Text",
-          _0: Js_string.slice(from, to_, txt)
-        };
-}
-
-function parse$1(txt, length, pos) {
-  var go = function (_pos, _prev) {
-    while(true) {
-      var prev = _prev;
-      var pos = _pos;
-      var match = pos === length;
-      var match$1 = parse(txt, pos);
-      if (match) {
-        return [
-                pos,
-                {
-                  hd: text(txt, prev, pos),
-                  tl: /* [] */0
-                }
-              ];
-      }
-      var code = match$1[1];
-      if (code !== undefined) {
-        var prevElem = text(txt, prev, pos);
-        var pos$1 = pos + match$1[0] | 0;
-        if (typeof code !== "object") {
-          switch (code) {
-            case "Clear" :
-                return [
-                        pos$1,
-                        {
-                          hd: prevElem,
-                          tl: /* [] */0
-                        }
-                      ];
-            case "EraseLine" :
-                _prev = pos$1;
-                _pos = pos$1;
-                continue ;
-            case "CarriageReturn" :
-                return [
-                        pos$1,
-                        {
-                          hd: prevElem,
-                          tl: {
-                            hd: "LineBreak",
-                            tl: /* [] */0
-                          }
-                        }
-                      ];
-            
-          }
-        } else {
-          if (code.TAG === "HRef") {
-            return [
-                    pos$1,
-                    {
-                      hd: prevElem,
-                      tl: {
-                        hd: {
-                          TAG: "Link",
-                          _0: code._0
-                        },
-                        tl: /* [] */0
-                      }
-                    }
-                  ];
-          }
-          var match$2 = go(pos$1, pos$1);
-          var styled = match$2[1];
-          if (styled !== undefined) {
-            return [
-                    match$2[0],
-                    {
-                      hd: prevElem,
-                      tl: {
-                        hd: {
-                          TAG: "DocStyle",
-                          _0: code._0,
-                          _1: styled
-                        },
-                        tl: /* [] */0
-                      }
-                    }
-                  ];
-          } else {
-            return [
-                    pos$1,
-                    undefined
-                  ];
-          }
-        }
-      } else {
-        _pos = pos + 1 | 0;
-        continue ;
-      }
-    };
-  };
-  return go(pos, pos);
-}
-
-var $$Document = {
-  text: text,
-  parse: parse$1
-};
-
-function parse$2(txt) {
-  var go = function (_txt, _acc) {
-    while(true) {
-      var acc = _acc;
-      var txt = _txt;
-      var length = txt.length;
-      var match = parse$1(txt, length, 0);
-      var doc = match[1];
-      var pos = match[0];
-      if (doc === undefined) {
-        return acc;
-      }
-      if (pos === length) {
-        return Core__List.add(acc, doc);
-      }
-      _acc = Core__List.add(acc, doc);
-      _txt = Js_string.sliceToEnd(pos, txt);
-      continue ;
-    };
-  };
-  return Belt_List.flatten(Belt_List.reverse(go(txt, /* [] */0)));
-}
-
-function render(doc) {
-  var go = function (_xs, _idx, _acc) {
-    while(true) {
-      var acc = _acc;
-      var idx = _idx;
-      var xs = _xs;
-      if (!xs) {
-        return Core__List.toArray(Core__List.reverse(acc));
-      }
-      var txt = xs.hd;
-      if (typeof txt !== "object") {
-        _acc = Core__List.add(acc, JsxRuntime.jsx("br", {}, String(idx)));
-        _idx = idx + 1 | 0;
-        _xs = xs.tl;
-        continue ;
-      }
-      switch (txt.TAG) {
-        case "Text" :
-            _acc = Core__List.add(acc, txt._0);
-            _idx = idx + 1 | 0;
-            _xs = xs.tl;
-            continue ;
-        case "Link" :
-            var href = txt._0;
-            _acc = Core__List.add(acc, JsxRuntime.jsx("a", {
-                      children: href,
-                      href: href
-                    }, String(idx)));
-            _idx = idx + 1 | 0;
-            _xs = xs.tl;
-            continue ;
-        case "DocStyle" :
-            _acc = Core__List.add(acc, JsxRuntime.jsx("span", {
-                      children: go(txt._1, 0, /* [] */0),
-                      style: txt._0
-                    }, String(idx)));
-            _idx = idx + 1 | 0;
-            _xs = xs.tl;
-            continue ;
-        
-      }
-    };
-  };
-  return go(doc, 0, /* [] */0);
-}
-
-function Ansi(props) {
-  return JsxRuntime.jsx("div", {
-              children: render(parse$2(props.log))
-            });
-}
-
-var make = Ansi;
-
-var $$default = Ansi;
-
-exports.AnsiCode = AnsiCode;
-exports.$$Document = $$Document;
-exports.parse = parse$2;
-exports.render = render;
-exports.make = make;
-exports.default = $$default;
-exports.__esModule = true;
-/* linkRe Not a pure module */