ulidtko

Mini-repro for SO question about weird TypeScript error message involving contravariance.

Steps

• git clone [email protected]:408b45c4e7b126fb7c28c69140604546.git test && cd test
• npm ci
• npm run build

ulidtko

module LibModule where

greeting = "=== Hello, Cabal! === Module Main speaking ~~~"

ulidtko

module Foo where

test_Foo = undefined

ulidtko

import dataclasses
import datetime
import re
import socket
import socketserver
import time


class config:
    SOCKET_TIMEOUT = 10

ulidtko

#!/usr/bin/env python3

"""
Quote stdin line containing the Nth character, in absolute offset,
counting each newline as a character too.

Inspired by https://stackoverflow.com/a/79399803/531179

In the name José João in this file, accents are on offsets +210 and on +214.
"""

ulidtko

#!/usr/bin/env python

"""
License file (de)cryptor for AntennaHouse Formatter https://www.antennahouse.com/formatter-v7
"""

import argparse
import itertools
import struct
import sys

ulidtko

#!/usr/bin/env python

"""
To get installed plugins list, open Script Console on /script, and run:

    def pluginList = new ArrayList(Jenkins.instance.pluginManager.plugins)
    pluginList.sort { it.getShortName() }.each{
      plugin ->
        println ("${plugin.getShortName()}:${plugin.getVersion()}  --  ${plugin.getDisplayName()}")
    }