changeset 8ebab2dbf97b in joypy/Joypy details: http://hg.osdn.jp/view/joypy/Joypy?cmd=changeset;node=8ebab2dbf97b user: Simon Forman <sform****@hushm*****> date: Tue May 19 18:05:57 2020 -0700 description: Push out v0.4.1 right quick to fix Ticket #40430 diffstat: .hgignore | 2 +- MANIFEST | 41 - Makefile | 3 - README | 4 +- docs/VUI-docs/Makefile | 19 - docs/VUI-docs/build/doctrees/core.doctree | Bin docs/VUI-docs/build/doctrees/display.doctree | Bin docs/VUI-docs/build/doctrees/environment.pickle | Bin docs/VUI-docs/build/doctrees/index.doctree | Bin docs/VUI-docs/build/doctrees/main.doctree | Bin docs/VUI-docs/build/doctrees/persist_task.doctree | Bin docs/VUI-docs/build/doctrees/stack_viewer.doctree | Bin docs/VUI-docs/build/doctrees/text_viewer.doctree | Bin docs/VUI-docs/build/doctrees/viewer.doctree | Bin docs/VUI-docs/build/html/.buildinfo | 4 - docs/VUI-docs/build/html/_images/Joy-VUI-screenshot.PNG | Bin docs/VUI-docs/build/html/_images/packages_Vui.png | Bin docs/VUI-docs/build/html/_modules/index.html | 105 - docs/VUI-docs/build/html/_modules/joy/vui/core.html | 380 - docs/VUI-docs/build/html/_modules/joy/vui/display.html | 604 - docs/VUI-docs/build/html/_modules/joy/vui/main.html | 274 - docs/VUI-docs/build/html/_modules/joy/vui/persist_task.html | 372 - docs/VUI-docs/build/html/_modules/joy/vui/stack_viewer.html | 175 - docs/VUI-docs/build/html/_modules/joy/vui/text_viewer.html | 799 - docs/VUI-docs/build/html/_modules/joy/vui/viewer.html | 345 - docs/VUI-docs/build/html/_sources/core.rst.txt | 3 - docs/VUI-docs/build/html/_sources/display.rst.txt | 3 - docs/VUI-docs/build/html/_sources/index.rst.txt | 175 - docs/VUI-docs/build/html/_sources/main.rst.txt | 3 - docs/VUI-docs/build/html/_sources/persist_task.rst.txt | 3 - docs/VUI-docs/build/html/_sources/stack_viewer.rst.txt | 3 - docs/VUI-docs/build/html/_sources/text_viewer.rst.txt | 3 - docs/VUI-docs/build/html/_sources/viewer.rst.txt | 3 - docs/VUI-docs/build/html/_static/Joy-VUI-screenshot.PNG | Bin docs/VUI-docs/build/html/_static/ajax-loader.gif | Bin docs/VUI-docs/build/html/_static/alabaster.css | 693 - docs/VUI-docs/build/html/_static/basic.css | 676 - docs/VUI-docs/build/html/_static/comment-bright.png | Bin docs/VUI-docs/build/html/_static/comment-close.png | Bin docs/VUI-docs/build/html/_static/comment.png | Bin docs/VUI-docs/build/html/_static/custom.css | 1 - docs/VUI-docs/build/html/_static/doctools.js | 315 - docs/VUI-docs/build/html/_static/documentation_options.js | 10 - docs/VUI-docs/build/html/_static/down-pressed.png | Bin docs/VUI-docs/build/html/_static/down.png | Bin docs/VUI-docs/build/html/_static/file.png | Bin docs/VUI-docs/build/html/_static/jquery-3.2.1.js | 10253 ---------- docs/VUI-docs/build/html/_static/jquery.js | 4 - docs/VUI-docs/build/html/_static/language_data.js | 297 - docs/VUI-docs/build/html/_static/minus.png | Bin docs/VUI-docs/build/html/_static/packages_Vui.png | Bin docs/VUI-docs/build/html/_static/plus.png | Bin docs/VUI-docs/build/html/_static/pygments.css | 65 - docs/VUI-docs/build/html/_static/searchtools.js | 481 - docs/VUI-docs/build/html/_static/underscore-1.3.1.js | 999 - docs/VUI-docs/build/html/_static/underscore.js | 31 - docs/VUI-docs/build/html/_static/up-pressed.png | Bin docs/VUI-docs/build/html/_static/up.png | Bin docs/VUI-docs/build/html/_static/websupport.js | 808 - docs/VUI-docs/build/html/core.html | 234 - docs/VUI-docs/build/html/display.html | 286 - docs/VUI-docs/build/html/genindex.html | 463 - docs/VUI-docs/build/html/index.html | 242 - docs/VUI-docs/build/html/main.html | 180 - docs/VUI-docs/build/html/objects.inv | Bin docs/VUI-docs/build/html/persist_task.html | 222 - docs/VUI-docs/build/html/py-modindex.html | 153 - docs/VUI-docs/build/html/search.html | 116 - docs/VUI-docs/build/html/searchindex.js | 1 - docs/VUI-docs/build/html/stack_viewer.html | 114 - docs/VUI-docs/build/html/text_viewer.html | 124 - docs/VUI-docs/build/html/viewer.html | 150 - docs/VUI-docs/make.bat | 35 - docs/VUI-docs/source/_static/Joy-VUI-screenshot.PNG | Bin docs/VUI-docs/source/_static/packages_Vui.png | Bin docs/VUI-docs/source/conf.py | 179 - docs/VUI-docs/source/core.rst | 3 - docs/VUI-docs/source/display.rst | 3 - docs/VUI-docs/source/index.rst | 175 - docs/VUI-docs/source/main.rst | 3 - docs/VUI-docs/source/persist_task.rst | 3 - docs/VUI-docs/source/stack_viewer.rst | 3 - docs/VUI-docs/source/text_viewer.rst | 3 - docs/VUI-docs/source/viewer.rst | 3 - docs/sphinx_docs/_build/html/_modules/joy/library.html | 394 +- docs/sphinx_docs/_build/html/_modules/joy/parser.html | 2 +- docs/sphinx_docs/_build/html/genindex.html | 107 +- docs/sphinx_docs/_build/html/library.html | 78 +- docs/sphinx_docs/_build/html/objects.inv | Bin docs/sphinx_docs/_build/html/py-modindex.html | 5 - docs/sphinx_docs/_build/html/searchindex.js | 2 +- docs/sphinx_docs/_build/html/types.html | 208 - docs/sphinx_docs/types.rst | 10 +- i3.json | 88 - joy/gui/__main__.py | 24 - joy/gui/controllerlistbox.py | 156 - joy/gui/default_joy_home/definitions.txt | 49 - joy/gui/default_joy_home/log.txt | 4 - joy/gui/default_joy_home/scratch.txt | 59 - joy/gui/default_joy_home/stack.pickle | 1 - joy/gui/default_joy_home/thun.config | 15 - joy/gui/init_joy_home.py | 106 - joy/gui/main.py | 198 - joy/gui/mousebindings.py | 211 - joy/gui/textwidget.py | 474 - joy/gui/utils.py | 98 - joy/gui/world.py | 173 - joy/library.py | 394 +- joy/parser.py | 2 +- joy/utils/brutal_hackery.py | 96 - joy/utils/compiler.py | 241 - joy/utils/generated_library.py | 2 + joy/utils/infinite_stack.py | 31 - joy/utils/types.py | 756 - joy/vui/Iosevka12.BMP | Bin joy/vui/README.txt | 163 - joy/vui/__main__.py | 24 - joy/vui/core.py | 282 - joy/vui/debug_main.py | 19 - joy/vui/default_joy_home/definitions.txt | 17 - joy/vui/default_joy_home/library.py | 206 - joy/vui/default_joy_home/log.txt | 1 - joy/vui/default_joy_home/menu.txt | 51 - joy/vui/default_joy_home/scratch.txt | 85 - joy/vui/default_joy_home/stack.pickle | 1 - joy/vui/display.py | 510 - joy/vui/font_data.py | 189 - joy/vui/init_joy_home.py | 278 - joy/vui/main.py | 179 - joy/vui/persist_task.py | 274 - joy/vui/stack_viewer.py | 75 - joy/vui/text_viewer.py | 704 - joy/vui/viewer.py | 249 - setup.py | 19 +- start-with-i3.sh | 1 - start.bat | 1 - startVUI.bat | 1 - test/test_type_inference.py | 207 - thun/TLA.pl | 194 - thun/asm-dump.txt | 279 - thun/compiler.markII.pl | 649 - thun/compiler.pl | 633 - thun/crap-n-stuff.txt | 93 - thun/defs.pl | 76 - thun/defs.txt | 77 - thun/dump-asm.py | 2 - thun/gnu-prolog/DCG_basics.pl | 57 - thun/gnu-prolog/Makefile | 23 - thun/gnu-prolog/defs.pl | 69 - thun/gnu-prolog/defs.txt | 73 - thun/gnu-prolog/fork.pl | 63 - thun/gnu-prolog/junk/gthun.pl | 120 - thun/gnu-prolog/junk/meta.pl | 10 - thun/gnu-prolog/junk/partev.pl | 167 - thun/gnu-prolog/junk/swi-thun.pl | 350 - thun/gnu-prolog/main.pl | 52 - thun/gnu-prolog/math.pl | 46 - thun/gnu-prolog/meta-defs.pl | 68 - thun/gnu-prolog/meta-math.pl | 89 - thun/gnu-prolog/parser.pl | 80 - thun/gnu-prolog/thun.pl | 198 - thun/joy_asm.bin | Bin thun/joy_asmii.bin | Bin thun/markII.rst | 972 - thun/metalogical.pl | 84 - thun/symbols.txt | 32 - thun/thun.pl | 1208 - 167 files changed, 171 insertions(+), 33764 deletions(-) diffs (truncated from 35633 to 300 lines): diff -r 186f2bc040f6 -r 8ebab2dbf97b .hgignore --- a/.hgignore Sun May 17 17:28:52 2020 -0700 +++ b/.hgignore Tue May 19 18:05:57 2020 -0700 @@ -1,11 +1,11 @@ .*\.pyc$ .*\.swp$ +.eggs .hypothesis .pytest_cache .vscode docs/.ipynb_checkpoints test/* -gnu-prolog/thun venv build Thun.egg-info diff -r 186f2bc040f6 -r 8ebab2dbf97b MANIFEST --- a/MANIFEST Sun May 17 17:28:52 2020 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,41 +0,0 @@ -# file GENERATED by distutils, do NOT edit -COPYING -README -setup.py -archive\Joy-Programming.zip -archive\README -joy\__init__.py -joy\__main__.py -joy\joy.py -joy\library.py -joy\parser.py -joy\gui\__init__.py -joy\gui\__main__.py -joy\gui\init_joy_home.py -joy\gui\main.py -joy\gui\mousebindings.py -joy\gui\textwidget.py -joy\gui\utils.py -joy\gui\world.py -joy\utils\__init__.py -joy\utils\brutal_hackery.py -joy\utils\compiler.py -joy\utils\generated_library.py -joy\utils\infinite_stack.py -joy\utils\pretty_print.py -joy\utils\stack.py -joy\utils\types.py -joy\vui\__init__.py -joy\vui\__main__.py -joy\vui\core.py -joy\vui\debug_main.py -joy\vui\display.py -joy\vui\font_data.py -joy\vui\init_joy_home.py -joy\vui\main.py -joy\vui\persist_task.py -joy\vui\stack_viewer.py -joy\vui\text_viewer.py -joy\vui\viewer.py -joy\vui\default_joy_home\library.py -test\test_type_inference.py diff -r 186f2bc040f6 -r 8ebab2dbf97b Makefile --- a/Makefile Sun May 17 17:28:52 2020 -0700 +++ b/Makefile Tue May 19 18:05:57 2020 -0700 @@ -14,9 +14,6 @@ sdist: python ./setup.py sdist bdist_wheel -joy/utils/generated_library.py: joy/utils/types.py - python -c 'import joy.utils.types ; joy.utils.types.generate_library_code()' > $@ - # In order to support testing the code as installed # create a virtualenv and install the source dist zip there. diff -r 186f2bc040f6 -r 8ebab2dbf97b README --- a/README Sun May 17 17:28:52 2020 -0700 +++ b/README Tue May 19 18:05:57 2020 -0700 @@ -2,9 +2,9 @@ Thun - Dialects of Joy in Python and Prolog. + Dialects of Joy in Python. - v0.3.0 + v0.4.0 -------------------------------------------------- diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/Makefile --- a/docs/VUI-docs/Makefile Sun May 17 17:28:52 2020 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,19 +0,0 @@ -# Minimal makefile for Sphinx documentation -# - -# You can set these variables from the command line. -SPHINXOPTS = -SPHINXBUILD = sphinx-build -SOURCEDIR = source -BUILDDIR = build - -# Put it first so that "make" without argument is like "make help". -help: - @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) - -.PHONY: help Makefile - -# Catch-all target: route all unknown targets to Sphinx using the new -# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). -%: Makefile - @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) \ No newline at end of file diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/core.doctree Binary file docs/VUI-docs/build/doctrees/core.doctree has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/display.doctree Binary file docs/VUI-docs/build/doctrees/display.doctree has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/environment.pickle Binary file docs/VUI-docs/build/doctrees/environment.pickle has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/index.doctree Binary file docs/VUI-docs/build/doctrees/index.doctree has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/main.doctree Binary file docs/VUI-docs/build/doctrees/main.doctree has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/persist_task.doctree Binary file docs/VUI-docs/build/doctrees/persist_task.doctree has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/stack_viewer.doctree Binary file docs/VUI-docs/build/doctrees/stack_viewer.doctree has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/text_viewer.doctree Binary file docs/VUI-docs/build/doctrees/text_viewer.doctree has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/doctrees/viewer.doctree Binary file docs/VUI-docs/build/doctrees/viewer.doctree has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/html/.buildinfo --- a/docs/VUI-docs/build/html/.buildinfo Sun May 17 17:28:52 2020 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,4 +0,0 @@ -# Sphinx build info version 1 -# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done. -config: 045f1325f6d2a1aed4dff11fe7e98c72 -tags: 645f666f9bcd5a90fca523b33c5a78b7 diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/html/_images/Joy-VUI-screenshot.PNG Binary file docs/VUI-docs/build/html/_images/Joy-VUI-screenshot.PNG has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/html/_images/packages_Vui.png Binary file docs/VUI-docs/build/html/_images/packages_Vui.png has changed diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/html/_modules/index.html --- a/docs/VUI-docs/build/html/_modules/index.html Sun May 17 17:28:52 2020 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,105 +0,0 @@ - -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> - -<html xmlns="http://www.w3.org/1999/xhtml"> - <head> - <meta http-equiv="X-UA-Compatible" content="IE=Edge" /> - <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> - <title>Overview: module code — Joy VUI 0.1 documentation</title> - <link rel="stylesheet" href="../_static/alabaster.css" type="text/css" /> - <link rel="stylesheet" href="../_static/pygments.css" type="text/css" /> - <script type="text/javascript" id="documentation_options" data-url_root="../" src="../_static/documentation_options.js"></script> - <script type="text/javascript" src="../_static/jquery.js"></script> - <script type="text/javascript" src="../_static/underscore.js"></script> - <script type="text/javascript" src="../_static/doctools.js"></script> - <script type="text/javascript" src="../_static/language_data.js"></script> - <link rel="index" title="Index" href="../genindex.html" /> - <link rel="search" title="Search" href="../search.html" /> - - <link rel="stylesheet" href="../_static/custom.css" type="text/css" /> - - - <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" /> - - </head><body> - - - <div class="document"> - <div class="documentwrapper"> - <div class="bodywrapper"> - <div class="body" role="main"> - - <h1>All modules for which code is available</h1> -<ul><li><a href="joy/vui/core.html">joy.vui.core</a></li> -<li><a href="joy/vui/display.html">joy.vui.display</a></li> -<li><a href="joy/vui/main.html">joy.vui.main</a></li> -<li><a href="joy/vui/persist_task.html">joy.vui.persist_task</a></li> -<li><a href="joy/vui/stack_viewer.html">joy.vui.stack_viewer</a></li> -<li><a href="joy/vui/text_viewer.html">joy.vui.text_viewer</a></li> -<li><a href="joy/vui/viewer.html">joy.vui.viewer</a></li> -</ul> - - </div> - </div> - </div> - <div class="sphinxsidebar" role="navigation" aria-label="main navigation"> - <div class="sphinxsidebarwrapper"> -<h1 class="logo"><a href="../index.html">Joy VUI</a></h1> - - - - - - - - -<h3>Navigation</h3> -<p class="caption"><span class="caption-text">Contents:</span></p> -<ul> -<li class="toctree-l1"><a class="reference internal" href="../core.html">Core</a></li> -<li class="toctree-l1"><a class="reference internal" href="../main.html">Main Module</a></li> -<li class="toctree-l1"><a class="reference internal" href="../display.html">Display</a></li> -<li class="toctree-l1"><a class="reference internal" href="../viewer.html">Viewer</a></li> -<li class="toctree-l1"><a class="reference internal" href="../text_viewer.html">Text Viewer</a></li> -<li class="toctree-l1"><a class="reference internal" href="../stack_viewer.html">Stack Viewer</a></li> -<li class="toctree-l1"><a class="reference internal" href="../persist_task.html">Persist Task</a></li> -</ul> - -<div class="relations"> -<h3>Related Topics</h3> -<ul> - <li><a href="../index.html">Documentation overview</a><ul> - </ul></li> -</ul> -</div> -<div id="searchbox" style="display: none" role="search"> - <h3>Quick search</h3> - <div class="searchformwrapper"> - <form class="search" action="../search.html" method="get"> - <input type="text" name="q" /> - <input type="submit" value="Go" /> - <input type="hidden" name="check_keywords" value="yes" /> - <input type="hidden" name="area" value="default" /> - </form> - </div> -</div> -<script type="text/javascript">$('#searchbox').show(0);</script> - </div> - </div> - <div class="clearer"></div> - </div> - <div class="footer"> - ©2019, Simon Forman. - - | - Powered by <a href="http://sphinx-doc.org/">Sphinx 1.8.5</a> - & <a href="https://github.com/bitprophet/alabaster">Alabaster 0.7.9</a> - - </div> - - - - - </body> -</html> \ No newline at end of file diff -r 186f2bc040f6 -r 8ebab2dbf97b docs/VUI-docs/build/html/_modules/joy/vui/core.html --- a/docs/VUI-docs/build/html/_modules/joy/vui/core.html Sun May 17 17:28:52 2020 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,380 +0,0 @@ - -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> - -<html xmlns="http://www.w3.org/1999/xhtml"> - <head> - <meta http-equiv="X-UA-Compatible" content="IE=Edge" /> - <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> - <title>joy.vui.core — Joy VUI 0.1 documentation</title> - <link rel="stylesheet" href="../../../_static/alabaster.css" type="text/css" /> - <link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" /> - <script type="text/javascript" id="documentation_options" data-url_root="../../../" src="../../../_static/documentation_options.js"></script> - <script type="text/javascript" src="../../../_static/jquery.js"></script> - <script type="text/javascript" src="../../../_static/underscore.js"></script> - <script type="text/javascript" src="../../../_static/doctools.js"></script> - <script type="text/javascript" src="../../../_static/language_data.js"></script> - <link rel="index" title="Index" href="../../../genindex.html" /> - <link rel="search" title="Search" href="../../../search.html" /> - - <link rel="stylesheet" href="../../../_static/custom.css" type="text/css" /> - - - <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" /> - - </head><body> - - - <div class="document"> - <div class="documentwrapper"> - <div class="bodywrapper"> - <div class="body" role="main"> - - <h1>Source code for joy.vui.core</h1><div class="highlight"><pre> -<span></span><span class="c1"># -*- coding: utf-8 -*-</span> -<span class="c1">#</span> -<span class="c1"># Copyright © 2019 Simon Forman</span> -<span class="c1">#</span> -<span class="c1"># This file is part of Thun</span> -<span class="c1">#</span> -<span class="c1"># Thun is free software: you can redistribute it and/or modify</span> -<span class="c1"># it under the terms of the GNU General Public License as published by</span> -<span class="c1"># the Free Software Foundation, either version 3 of the License, or</span> -<span class="c1"># (at your option) any later version.</span>
Fork