Mercurial > vim
view src/testdir/test_channel_pipe.py @ 33517:921673b465a6 v9.0.2007
patch 9.0.2007: Vim9: covariant parameter types allowed
Commit: https://github.com/vim/vim/commit/e4671890220ef3f2bca43fde6ffe5d3ef3ed0e42
Author: Yegappan Lakshmanan <yegappan@yahoo.com>
Date: Mon Oct 9 18:01:06 2023 +0200
patch 9.0.2007: Vim9: covariant parameter types allowed
Problem: Vim9: covariant parameter types allowed when assigning
functions
Solution: Enforce invariant type check for arguments and return value
when assigning a funcref
closes: #13299
closes: #13305
Signed-off-by: Christian Brabandt <cb@256bit.org>
Co-authored-by: Yegappan Lakshmanan <yegappan@yahoo.com>
author | Christian Brabandt <cb@256bit.org> |
---|---|
date | Mon, 09 Oct 2023 18:15:03 +0200 |
parents | 06e3c6bac36d |
children |
line wrap: on
line source
#!/usr/bin/python # # Server that will communicate over stdin/stderr # # This requires Python 2.6 or later. from __future__ import print_function import os import sys import time if __name__ == "__main__": if len(sys.argv) > 1: if sys.argv[1].startswith("err"): print(sys.argv[1], file=sys.stderr) sys.stderr.flush() elif sys.argv[1].startswith("incomplete"): print(sys.argv[1], end='') sys.stdout.flush() sys.exit(0) elif sys.argv[1].startswith("busy"): time.sleep(100) sys.exit(0) else: print(sys.argv[1]) sys.stdout.flush() if sys.argv[1].startswith("quit"): sys.exit(0) if os.getenv('CI'): try: import thread_util thread_util.set_high_priority() except Exception: pass while True: typed = sys.stdin.readline() if typed == "": # EOF -- stop break if typed.startswith("quit"): print("Goodbye!") sys.stdout.flush() break if typed.startswith("echo "): print(typed[5:-1]) sys.stdout.flush() if typed.startswith("echosplit "): for part in typed[10:-1].split('|'): sys.stdout.write(part) sys.stdout.flush() time.sleep(0.05) if typed.startswith("double "): print(typed[7:-1] + "\nAND " + typed[7:-1]) sys.stdout.flush() if typed.startswith("split "): print(typed[6:-1], end='') sys.stdout.flush() time.sleep(0.05) print(typed[6:-1], end='') sys.stdout.flush() time.sleep(0.05) print(typed[6:-1]) sys.stdout.flush() if typed.startswith("echoerr "): print(typed[8:-1], file=sys.stderr) sys.stderr.flush() if typed.startswith("doubleerr "): print(typed[10:-1] + "\nAND " + typed[10:-1], file=sys.stderr) sys.stderr.flush() if typed.startswith("XXX"): print(typed, end='') sys.stderr.flush() break