├── .gitignore
├── .idea
    ├── concise.iml
    ├── dictionaries
    │   └── twshe.xml
    ├── markdown-navigator.xml
    ├── markdown-navigator
    │   └── profiles_settings.xml
    ├── misc.xml
    ├── modules.xml
    ├── vcs.xml
    └── workspace.xml
├── .travis.yml
├── LICENSE
├── README.md
├── haskell_test
    ├── comment.hs
    ├── hello-world.hs
    ├── import_hs.hs
    ├── operator.hs
    ├── sum_n.hs
    └── test_prelude.hs
├── next_version
├── reley
    ├── __init__.py
    ├── __release_info__.py
    ├── impl
    │   ├── __init__.py
    │   ├── cli.py
    │   ├── compiler.py
    │   ├── expr_based_ast.py
    │   ├── grammar.py
    │   ├── grammar.rbnf
    │   ├── helper.py
    │   ├── precedence.py
    │   ├── pycompat.py
    │   └── reley_import.py
    ├── prelude.hs
    └── unification
    │   └── __init__.py
├── sample_test.py
└── setup.py


/.gitignore:
--------------------------------------------------------------------------------
  1 | # Byte-compiled / optimized / DLL files
  2 | __pycache__/
  3 | *.py[cod]
  4 | *$py.class
  5 | 
  6 | # C extensions
  7 | *.so
  8 | 
  9 | # Distribution / packaging
 10 | .Python
 11 | build/
 12 | develop-eggs/
 13 | dist/
 14 | downloads/
 15 | eggs/
 16 | .eggs/
 17 | lib/
 18 | lib64/
 19 | parts/
 20 | sdist/
 21 | var/
 22 | wheels/
 23 | *.egg-info/
 24 | .installed.cfg
 25 | *.egg
 26 | MANIFEST
 27 | 
 28 | # PyInstaller
 29 | #  Usually these files are written by a python script from a template
 30 | #  before PyInstaller builds the exe, so as to inject date/other infos into it.
 31 | *.manifest
 32 | *.spec
 33 | 
 34 | # Installer logs
 35 | pip-log.txt
 36 | pip-delete-this-directory.txt
 37 | 
 38 | # Unit test / coverage reports
 39 | htmlcov/
 40 | .tox/
 41 | .coverage
 42 | .coverage.*
 43 | .cache
 44 | nosetests.xml
 45 | coverage.xml
 46 | *.cover
 47 | .hypothesis/
 48 | .pytest_cache/
 49 | 
 50 | # Translations
 51 | *.mo
 52 | *.pot
 53 | 
 54 | # Django stuff:
 55 | *.log
 56 | local_settings.py
 57 | db.sqlite3
 58 | 
 59 | # Flask stuff:
 60 | instance/
 61 | .webassets-cache
 62 | 
 63 | # Scrapy stuff:
 64 | .scrapy
 65 | 
 66 | # Sphinx documentation
 67 | docs/_build/
 68 | 
 69 | # PyBuilder
 70 | target/
 71 | 
 72 | # Jupyter Notebook
 73 | .ipynb_checkpoints
 74 | 
 75 | # pyenv
 76 | .python-version
 77 | 
 78 | # celery beat schedule file
 79 | celerybeat-schedule
 80 | 
 81 | # SageMath parsed files
 82 | *.sage.py
 83 | 
 84 | # Environments
 85 | .env
 86 | .venv
 87 | env/
 88 | venv/
 89 | ENV/
 90 | env.bak/
 91 | venv.bak/
 92 | 
 93 | # Spyder project settings
 94 | .spyderproject
 95 | .spyproject
 96 | 
 97 | # Rope project settings
 98 | .ropeproject
 99 | 
100 | # mkdocs documentation
101 | /site
102 | 
103 | # mypy
104 | .mypy_cache/
105 | 


--------------------------------------------------------------------------------
/.idea/concise.iml:
--------------------------------------------------------------------------------
 1 | <?xml version="1.0" encoding="UTF-8"?>
 2 | <module type="PYTHON_MODULE" version="4">
 3 |   <component name="NewModuleRootManager">
 4 |     <content url="file://$MODULE_DIR$" />
 5 |     <orderEntry type="jdk" jdkName="Python 3.6 (RBNF)" jdkType="Python SDK" />
 6 |     <orderEntry type="sourceFolder" forTests="false" />
 7 |   </component>
 8 |   <component name="TestRunnerService">
 9 |     <option name="projectConfiguration" value="py.test" />
10 |     <option name="PROJECT_TEST_RUNNER" value="py.test" />
11 |   </component>
12 | </module>


--------------------------------------------------------------------------------
/.idea/dictionaries/twshe.xml:
--------------------------------------------------------------------------------
1 | <component name="ProjectDictionaryState">
2 |   <dictionary name="twshe">
3 |     <words>
4 |       <w>coroutines</w>
5 |       <w>reley</w>
6 |     </words>
7 |   </dictionary>
8 | </component>


--------------------------------------------------------------------------------
/.idea/markdown-navigator.xml:
--------------------------------------------------------------------------------
 1 | <?xml version="1.0" encoding="UTF-8"?>
 2 | <project version="4">
 3 |   <component name="MarkdownProjectSettings" wasCopied="true">
 4 |     <PreviewSettings splitEditorLayout="SPLIT" splitEditorPreview="PREVIEW" useGrayscaleRendering="false" zoomFactor="1.0" maxImageWidth="0" showGitHubPageIfSynced="false" allowBrowsingInPreview="false" synchronizePreviewPosition="true" highlightPreviewType="NONE" highlightFadeOut="5" highlightOnTyping="true" synchronizeSourcePosition="true" verticallyAlignSourceAndPreviewSyncPosition="true" showSearchHighlightsInPreview="false" showSelectionInPreview="true" openRemoteLinks="true" replaceUnicodeEmoji="false" lastLayoutSetsDefault="false">
 5 |       <PanelProvider>
 6 |         <provider providerId="com.vladsch.idea.multimarkdown.editor.swing.html.panel" providerName="Default - Swing" />
 7 |       </PanelProvider>
 8 |     </PreviewSettings>
 9 |     <ParserSettings gitHubSyntaxChange="false" emojiShortcuts="1" emojiImages="0">
10 |       <PegdownExtensions>
11 |         <option name="ABBREVIATIONS" value="false" />
12 |         <option name="ANCHORLINKS" value="true" />
13 |         <option name="ASIDE" value="false" />
14 |         <option name="ATXHEADERSPACE" value="true" />
15 |         <option name="AUTOLINKS" value="true" />
16 |         <option name="DEFINITIONS" value="false" />
17 |         <option name="DEFINITION_BREAK_DOUBLE_BLANK_LINE" value="false" />
18 |         <option name="FENCED_CODE_BLOCKS" value="true" />
19 |         <option name="FOOTNOTES" value="false" />
20 |         <option name="HARDWRAPS" value="false" />
21 |         <option name="HTML_DEEP_PARSER" value="false" />
22 |         <option name="INSERTED" value="false" />
23 |         <option name="QUOTES" value="false" />
24 |         <option name="RELAXEDHRULES" value="true" />
25 |         <option name="SMARTS" value="false" />
26 |         <option name="STRIKETHROUGH" value="true" />
27 |         <option name="SUBSCRIPT" value="false" />
28 |         <option name="SUPERSCRIPT" value="false" />
29 |         <option name="SUPPRESS_HTML_BLOCKS" value="false" />
30 |         <option name="SUPPRESS_INLINE_HTML" value="false" />
31 |         <option name="TABLES" value="true" />
32 |         <option name="TASKLISTITEMS" value="true" />
33 |         <option name="TOC" value="false" />
34 |         <option name="WIKILINKS" value="true" />
35 |       </PegdownExtensions>
36 |       <ParserOptions>
37 |         <option name="ADMONITION_EXT" value="false" />
38 |         <option name="ATTRIBUTES_EXT" value="false" />
39 |         <option name="COMMONMARK_LISTS" value="true" />
40 |         <option name="DUMMY" value="false" />
41 |         <option name="EMOJI_SHORTCUTS" value="true" />
42 |         <option name="ENUMERATED_REFERENCES_EXT" value="false" />
43 |         <option name="FLEXMARK_FRONT_MATTER" value="false" />
44 |         <option name="GFM_LOOSE_BLANK_LINE_AFTER_ITEM_PARA" value="false" />
45 |         <option name="GFM_TABLE_RENDERING" value="true" />
46 |         <option name="GITBOOK_URL_ENCODING" value="false" />
47 |         <option name="GITHUB_LISTS" value="false" />
48 |         <option name="GITHUB_WIKI_LINKS" value="true" />
49 |         <option name="HEADER_ID_NO_DUPED_DASHES" value="false" />
50 |         <option name="JEKYLL_FRONT_MATTER" value="false" />
51 |         <option name="NO_TEXT_ATTRIBUTES" value="false" />
52 |         <option name="PARSE_HTML_ANCHOR_ID" value="false" />
53 |         <option name="SIM_TOC_BLANK_LINE_SPACER" value="true" />
54 |       </ParserOptions>
55 |     </ParserSettings>
56 |     <HtmlSettings headerTopEnabled="false" headerBottomEnabled="false" bodyTopEnabled="false" bodyBottomEnabled="false" embedUrlContent="false" addPageHeader="true" embedImages="false" embedHttpImages="false" imageUriSerials="false">
57 |       <GeneratorProvider>
58 |         <provider providerId="com.vladsch.idea.multimarkdown.editor.swing.html.generator" providerName="Default Swing HTML Generator" />
59 |       </GeneratorProvider>
60 |       <headerTop />
61 |       <headerBottom />
62 |       <bodyTop />
63 |       <bodyBottom />
64 |     </HtmlSettings>
65 |     <CssSettings previewScheme="UI_SCHEME" cssUri="" isCssUriEnabled="false" isCssUriSerial="false" isCssTextEnabled="false" isDynamicPageWidth="true">
66 |       <StylesheetProvider>
67 |         <provider providerId="com.vladsch.idea.multimarkdown.editor.swing.html.css" providerName="Default Swing Stylesheet" />
68 |       </StylesheetProvider>
69 |       <ScriptProviders />
70 |       <cssText />
71 |       <cssUriHistory />
72 |     </CssSettings>
73 |     <HtmlExportSettings updateOnSave="false" parentDir="" targetDir="" cssDir="" scriptDir="" plainHtml="false" imageDir="" copyLinkedImages="false" imageUniquifyType="0" targetExt="" useTargetExt="false" noCssNoScripts="false" linkToExportedHtml="true" exportOnSettingsChange="true" regenerateOnProjectOpen="false" linkFormatType="HTTP_ABSOLUTE" />
74 |     <LinkMapSettings>
75 |       <textMaps />
76 |     </LinkMapSettings>
77 |   </component>
78 | </project>


--------------------------------------------------------------------------------
/.idea/markdown-navigator/profiles_settings.xml:
--------------------------------------------------------------------------------
1 | <component name="MarkdownNavigator.ProfileManager">
2 |   <settings default="" pdf-export="" />
3 | </component>


--------------------------------------------------------------------------------
/.idea/misc.xml:
--------------------------------------------------------------------------------
1 | <?xml version="1.0" encoding="UTF-8"?>
2 | <project version="4">
3 |   <component name="JavaScriptSettings">
4 |     <option name="languageLevel" value="ES6" />
5 |   </component>
6 |   <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.6 (RBNF)" project-jdk-type="Python SDK" />
7 | </project>


--------------------------------------------------------------------------------
/.idea/modules.xml:
--------------------------------------------------------------------------------
1 | <?xml version="1.0" encoding="UTF-8"?>
2 | <project version="4">
3 |   <component name="ProjectModuleManager">
4 |     <modules>
5 |       <module fileurl="file://$PROJECT_DIR$/.idea/concise.iml" filepath="$PROJECT_DIR$/.idea/concise.iml" />
6 |     </modules>
7 |   </component>
8 | </project>


--------------------------------------------------------------------------------
/.idea/vcs.xml:
--------------------------------------------------------------------------------
1 | <?xml version="1.0" encoding="UTF-8"?>
2 | <project version="4">
3 |   <component name="VcsDirectoryMappings">
4 |     <mapping directory="$PROJECT_DIR$" vcs="Git" />
5 |   </component>
6 | </project>


--------------------------------------------------------------------------------
/.idea/workspace.xml:
--------------------------------------------------------------------------------
  1 | <?xml version="1.0" encoding="UTF-8"?>
  2 | <project version="4">
  3 |   <component name="BookmarkManager">
  4 |     <bookmark url="file://$PROJECT_DIR$/reley/impl/compiler.py" line="210" mnemonic="3" />
  5 |   </component>
  6 |   <component name="ChangeListManager">
  7 |     <list default="true" id="c0fd0df6-a489-4d3c-abe0-47b740f3da48" name="Default" comment="">
  8 |       <change beforePath="$PROJECT_DIR$/setup.py" beforeDir="false" afterPath="$PROJECT_DIR$/setup.py" afterDir="false" />
  9 |     </list>
 10 |     <option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" />
 11 |     <option name="TRACKING_ENABLED" value="true" />
 12 |     <option name="SHOW_DIALOG" value="false" />
 13 |     <option name="HIGHLIGHT_CONFLICTS" value="true" />
 14 |     <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
 15 |     <option name="LAST_RESOLUTION" value="IGNORE" />
 16 |   </component>
 17 |   <component name="CoverageDataManager">
 18 |     <SUITE FILE_PATH="coverage/reley$sample.coverage" NAME="sample Coverage Results" MODIFIED="1536830573691" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$" />
 19 |     <SUITE FILE_PATH="coverage/concise$sample_test.coverage" NAME="sample_test Coverage Results" MODIFIED="1537086196706" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$" />
 20 |     <SUITE FILE_PATH="coverage/concise$sample.coverage" NAME="sample Coverage Results" MODIFIED="1536959424010" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$" />
 21 |     <SUITE FILE_PATH="coverage/concise$test.coverage" NAME="test Coverage Results" MODIFIED="1536871291450" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$" />
 22 |     <SUITE FILE_PATH="coverage/reley$test.coverage" NAME="test Coverage Results" MODIFIED="1536823898420" SOURCE_PROVIDER="com.intellij.coverage.DefaultCoverageFileProvider" RUNNER="coverage.py" COVERAGE_BY_TEST_ENABLED="true" COVERAGE_TRACING_ENABLED="false" WORKING_DIRECTORY="$PROJECT_DIR$" />
 23 |   </component>
 24 |   <component name="FileEditorManager">
 25 |     <leaf SIDE_TABS_SIZE_LIMIT_KEY="300">
 26 |       <file leaf-file-name="sample_test.py" pinned="false" current-in-tab="false">
 27 |         <entry file="file://$PROJECT_DIR$/sample_test.py">
 28 |           <provider selected="true" editor-type-id="text-editor">
 29 |             <state relative-caret-position="165">
 30 |               <caret line="11" selection-start-line="11" selection-end-line="11" />
 31 |               <folding>
 32 |                 <element signature="e#0#33#0" expanded="true" />
 33 |               </folding>
 34 |             </state>
 35 |           </provider>
 36 |         </entry>
 37 |       </file>
 38 |       <file leaf-file-name="reley_import.py" pinned="false" current-in-tab="false">
 39 |         <entry file="file://$PROJECT_DIR$/reley/impl/reley_import.py">
 40 |           <provider selected="true" editor-type-id="text-editor">
 41 |             <state relative-caret-position="280">
 42 |               <caret line="170" selection-start-line="170" selection-end-line="170" />
 43 |               <folding>
 44 |                 <element signature="e#0#9#0" expanded="true" />
 45 |               </folding>
 46 |             </state>
 47 |           </provider>
 48 |         </entry>
 49 |       </file>
 50 |       <file leaf-file-name="setup.py" pinned="false" current-in-tab="true">
 51 |         <entry file="file://$PROJECT_DIR$/setup.py">
 52 |           <provider selected="true" editor-type-id="text-editor">
 53 |             <state relative-caret-position="255">
 54 |               <caret line="31" column="76" lean-forward="true" selection-start-line="31" selection-start-column="76" selection-end-line="31" selection-end-column="76" />
 55 |             </state>
 56 |           </provider>
 57 |         </entry>
 58 |       </file>
 59 |       <file leaf-file-name="sum_n.hs" pinned="false" current-in-tab="false">
 60 |         <entry file="file://$PROJECT_DIR$/haskell_test/sum_n.hs">
 61 |           <provider selected="true" editor-type-id="text-editor">
 62 |             <state relative-caret-position="15">
 63 |               <caret line="1" column="45" selection-end-line="24" />
 64 |             </state>
 65 |           </provider>
 66 |         </entry>
 67 |       </file>
 68 |       <file leaf-file-name="comment.hs" pinned="false" current-in-tab="false">
 69 |         <entry file="file://$PROJECT_DIR$/haskell_test/comment.hs">
 70 |           <provider selected="true" editor-type-id="text-editor">
 71 |             <state relative-caret-position="90">
 72 |               <caret line="6" column="24" selection-start-line="6" selection-start-column="24" selection-end-line="6" selection-end-column="24" />
 73 |             </state>
 74 |           </provider>
 75 |         </entry>
 76 |       </file>
 77 |       <file leaf-file-name="prelude.hs" pinned="false" current-in-tab="false">
 78 |         <entry file="file://$PROJECT_DIR$/reley/prelude.hs">
 79 |           <provider selected="true" editor-type-id="text-editor">
 80 |             <state relative-caret-position="180">
 81 |               <caret line="12" column="17" selection-start-line="12" selection-start-column="17" selection-end-line="12" selection-end-column="17" />
 82 |             </state>
 83 |           </provider>
 84 |         </entry>
 85 |       </file>
 86 |       <file leaf-file-name="README.md" pinned="false" current-in-tab="false">
 87 |         <entry file="file://$PROJECT_DIR$/README.md">
 88 |           <provider selected="true" editor-type-id="split-provider[text-editor;MarkdownPreviewEditor]">
 89 |             <state split_layout="SPLIT">
 90 |               <first_editor relative-caret-position="30">
 91 |                 <caret line="2" column="25" selection-start-line="2" selection-start-column="25" selection-end-line="2" selection-end-column="25" />
 92 |               </first_editor>
 93 |               <second_editor>
 94 |                 <markdownNavigatorState />
 95 |               </second_editor>
 96 |             </state>
 97 |           </provider>
 98 |         </entry>
 99 |       </file>
100 |       <file leaf-file-name="compiler.py" pinned="false" current-in-tab="false">
101 |         <entry file="file://$PROJECT_DIR$/reley/impl/compiler.py">
102 |           <provider selected="true" editor-type-id="text-editor">
103 |             <state relative-caret-position="108">
104 |               <caret line="370" column="29" selection-start-line="370" selection-start-column="29" selection-end-line="370" selection-end-column="29" />
105 |               <folding>
106 |                 <element signature="e#0#38#0" expanded="true" />
107 |               </folding>
108 |             </state>
109 |           </provider>
110 |         </entry>
111 |       </file>
112 |     </leaf>
113 |   </component>
114 |   <component name="FileTemplateManagerImpl">
115 |     <option name="RECENT_TEMPLATES">
116 |       <list>
117 |         <option value="Python Script" />
118 |       </list>
119 |     </option>
120 |   </component>
121 |   <component name="FindInProjectRecents">
122 |     <findStrings>
123 |       <find>Lam</find>
124 |       <find>Defun</find>
125 |       <find>async_app</find>
126 |       <find>Modu</find>
127 |       <find>async_</find>
128 |       <find>infix</find>
129 |       <find>yield</find>
130 |       <find>Defin</find>
131 |       <find>Where</find>
132 |       <find>lineno</find>
133 |       <find>lineno.([^)]+)</find>
134 |       <find>(lineno=)([^)]+)</find>
135 |       <find>dum</find>
136 |       <find>DefFu</find>
137 |       <find>DefFun</find>
138 |       <find>print</find>
139 |       <find>test</find>
140 |       <find>Modile</find>
141 |       <find>Symbol</find>
142 |       <find>Sy</find>
143 |       <find>Mo</find>
144 |       <find>dump</find>
145 |       <find>dump_</find>
146 |       <find>dump_bytecode</find>
147 |       <find>..</find>
148 |       <find>\.\.</find>
149 |       <find>import</find>
150 |       <find>IMPORT_S</find>
151 |       <find>Import</find>
152 |       <find>Module</find>
153 |     </findStrings>
154 |     <replaceStrings>
155 |       <replace>$1</replace>
156 |       <replace>$1 + 1</replace>
157 |       <replace>$0 + 1</replace>
158 |       <replace>lineno=$2 + 1</replace>
159 |     </replaceStrings>
160 |   </component>
161 |   <component name="Git.Settings">
162 |     <option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
163 |   </component>
164 |   <component name="IdeDocumentHistory">
165 |     <option name="CHANGED_PATHS">
166 |       <list>
167 |         <option value="$PROJECT_DIR$/concise/__init__.py" />
168 |         <option value="$PROJECT_DIR$/concise/compiler.py" />
169 |         <option value="$PROJECT_DIR$/concise/precedence.py" />
170 |         <option value="$PROJECT_DIR$/concise/grammar.rbnf" />
171 |         <option value="$PROJECT_DIR$/reley/demo_cli.py" />
172 |         <option value="$PROJECT_DIR$/test.py" />
173 |         <option value="$PROJECT_DIR$/next_version" />
174 |         <option value="$PROJECT_DIR$/reley/grammar.pu.py" />
175 |         <option value="$PROJECT_DIR$/test/hello-world.hs" />
176 |         <option value="$PROJECT_DIR$/test/sum_n.py" />
177 |         <option value="$PROJECT_DIR$/test/operator.hs" />
178 |         <option value="$PROJECT_DIR$/test/sum_n.hs" />
179 |         <option value="$PROJECT_DIR$/reley/python_import.py" />
180 |         <option value="$PROJECT_DIR$/test/comment.py" />
181 |         <option value="$PROJECT_DIR$/test/comment.hs" />
182 |         <option value="$PROJECT_DIR$/haskell_test/operator.hs" />
183 |         <option value="$PROJECT_DIR$/reley/helper.py" />
184 |         <option value="$PROJECT_DIR$/reley/expr_based_ast.py" />
185 |         <option value="$PROJECT_DIR$/reley/compiler.py" />
186 |         <option value="$PROJECT_DIR$/reley/grammar.rbnf" />
187 |         <option value="$PROJECT_DIR$/reley/grammar.py" />
188 |         <option value="$PROJECT_DIR$/reley/cli.py" />
189 |         <option value="$PROJECT_DIR$/sample.py" />
190 |         <option value="$PROJECT_DIR$/reley/pycompat.py" />
191 |         <option value="$PROJECT_DIR$/haskell_test/import_hs.hs" />
192 |         <option value="$PROJECT_DIR$/reley/impl/__init__.py" />
193 |         <option value="$PROJECT_DIR$/reley/impl/grammar.py" />
194 |         <option value="$PROJECT_DIR$/reley/impl/grammar.rbnf" />
195 |         <option value="$PROJECT_DIR$/haskell_test/op.hsi" />
196 |         <option value="$PROJECT_DIR$/reley/prelude.hs" />
197 |         <option value="$PROJECT_DIR$/haskell_test/comment.hs" />
198 |         <option value="$PROJECT_DIR$/reley/impl/pycompat.py" />
199 |         <option value="$PROJECT_DIR$/reley/impl/helper.py" />
200 |         <option value="$PROJECT_DIR$/reley/impl/expr_based_ast.py" />
201 |         <option value="$PROJECT_DIR$/haskell_test/test_prelude.hs" />
202 |         <option value="$PROJECT_DIR$/.travis.yml" />
203 |         <option value="$PROJECT_DIR$/reley/impl/cli.py" />
204 |         <option value="$PROJECT_DIR$/reley/impl/compiler.py" />
205 |         <option value="$PROJECT_DIR$/reley/impl/reley_import.py" />
206 |         <option value="$PROJECT_DIR$/sample_test.py" />
207 |         <option value="$PROJECT_DIR$/haskell_test/sum_n.hs" />
208 |         <option value="$PROJECT_DIR$/README.md" />
209 |         <option value="$PROJECT_DIR$/setup.py" />
210 |       </list>
211 |     </option>
212 |   </component>
213 |   <component name="JsBuildToolGruntFileManager" detection-done="true" sorting="DEFINITION_ORDER" />
214 |   <component name="JsBuildToolPackageJson" detection-done="true" sorting="DEFINITION_ORDER" />
215 |   <component name="JsGulpfileManager">
216 |     <detection-done>true</detection-done>
217 |     <sorting>DEFINITION_ORDER</sorting>
218 |   </component>
219 |   <component name="NodePackageJsonFileManager">
220 |     <packageJsonPaths />
221 |   </component>
222 |   <component name="ProjectFrameBounds" extendedState="6" fullScreen="true">
223 |     <option name="x" value="-10" />
224 |     <option name="width" value="1435" />
225 |     <option name="height" value="1040" />
226 |   </component>
227 |   <component name="ProjectView">
228 |     <navigator proportions="" version="1">
229 |       <foldersAlwaysOnTop value="true" />
230 |     </navigator>
231 |     <panes>
232 |       <pane id="ProjectPane">
233 |         <subPane>
234 |           <expand>
235 |             <path>
236 |               <item name="concise" type="b2602c69:ProjectViewProjectNode" />
237 |               <item name="concise" type="462c0819:PsiDirectoryNode" />
238 |             </path>
239 |             <path>
240 |               <item name="concise" type="b2602c69:ProjectViewProjectNode" />
241 |               <item name="concise" type="462c0819:PsiDirectoryNode" />
242 |               <item name="haskell_test" type="462c0819:PsiDirectoryNode" />
243 |             </path>
244 |             <path>
245 |               <item name="concise" type="b2602c69:ProjectViewProjectNode" />
246 |               <item name="concise" type="462c0819:PsiDirectoryNode" />
247 |               <item name="reley" type="462c0819:PsiDirectoryNode" />
248 |             </path>
249 |             <path>
250 |               <item name="concise" type="b2602c69:ProjectViewProjectNode" />
251 |               <item name="concise" type="462c0819:PsiDirectoryNode" />
252 |               <item name="reley" type="462c0819:PsiDirectoryNode" />
253 |               <item name="impl" type="462c0819:PsiDirectoryNode" />
254 |             </path>
255 |           </expand>
256 |           <select />
257 |         </subPane>
258 |       </pane>
259 |       <pane id="Scope" />
260 |     </panes>
261 |   </component>
262 |   <component name="PropertiesComponent">
263 |     <property name="WebServerToolWindowFactoryState" value="false" />
264 |     <property name="last_opened_file_path" value="$PROJECT_DIR$/../reFining" />
265 |     <property name="nodejs_interpreter_path.stuck_in_default_project" value="undefined stuck path" />
266 |     <property name="nodejs_npm_path_reset_for_default_project" value="true" />
267 |     <property name="settings.editor.selected.configurable" value="com.jetbrains.python.configuration.PyActiveSdkModuleConfigurable" />
268 |   </component>
269 |   <component name="RecentsManager">
270 |     <key name="MoveFile.RECENT_KEYS">
271 |       <recent name="C:\Users\twshe\git\concise\reley" />
272 |       <recent name="C:\Users\twshe\git\concise\reley\impl" />
273 |     </key>
274 |   </component>
275 |   <component name="RunDashboard">
276 |     <option name="ruleStates">
277 |       <list>
278 |         <RuleState>
279 |           <option name="name" value="ConfigurationTypeDashboardGroupingRule" />
280 |         </RuleState>
281 |         <RuleState>
282 |           <option name="name" value="StatusDashboardGroupingRule" />
283 |         </RuleState>
284 |       </list>
285 |     </option>
286 |   </component>
287 |   <component name="RunManager" selected="Python.sample_test">
288 |     <configuration name="sample" type="PythonConfigurationType" factoryName="Python" temporary="true">
289 |       <module name="concise" />
290 |       <option name="INTERPRETER_OPTIONS" value="" />
291 |       <option name="PARENT_ENVS" value="true" />
292 |       <envs>
293 |         <env name="PYTHONUNBUFFERED" value="1" />
294 |       </envs>
295 |       <option name="SDK_HOME" value="" />
296 |       <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
297 |       <option name="IS_MODULE_SDK" value="true" />
298 |       <option name="ADD_CONTENT_ROOTS" value="true" />
299 |       <option name="ADD_SOURCE_ROOTS" value="true" />
300 |       <EXTENSION ID="PythonCoverageRunConfigurationExtension" runner="coverage.py" />
301 |       <option name="SCRIPT_NAME" value="C:\Users\twshe\git\concise\sample_test.py" />
302 |       <option name="PARAMETERS" value="" />
303 |       <option name="SHOW_COMMAND_LINE" value="false" />
304 |       <option name="EMULATE_TERMINAL" value="false" />
305 |       <option name="MODULE_MODE" value="false" />
306 |     </configuration>
307 |     <configuration name="sample_test" type="PythonConfigurationType" factoryName="Python" temporary="true">
308 |       <module name="concise" />
309 |       <option name="INTERPRETER_OPTIONS" value="" />
310 |       <option name="PARENT_ENVS" value="true" />
311 |       <envs>
312 |         <env name="PYTHONUNBUFFERED" value="1" />
313 |       </envs>
314 |       <option name="SDK_HOME" value="" />
315 |       <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
316 |       <option name="IS_MODULE_SDK" value="true" />
317 |       <option name="ADD_CONTENT_ROOTS" value="true" />
318 |       <option name="ADD_SOURCE_ROOTS" value="true" />
319 |       <EXTENSION ID="PythonCoverageRunConfigurationExtension" runner="coverage.py" />
320 |       <option name="SCRIPT_NAME" value="$PROJECT_DIR$/sample_test.py" />
321 |       <option name="PARAMETERS" value="" />
322 |       <option name="SHOW_COMMAND_LINE" value="false" />
323 |       <option name="EMULATE_TERMINAL" value="false" />
324 |       <option name="MODULE_MODE" value="false" />
325 |     </configuration>
326 |     <list>
327 |       <item itemvalue="Python.sample" />
328 |       <item itemvalue="Python.sample_test" />
329 |     </list>
330 |     <recent_temporary>
331 |       <list>
332 |         <item itemvalue="Python.sample_test" />
333 |         <item itemvalue="Python.sample" />
334 |       </list>
335 |     </recent_temporary>
336 |   </component>
337 |   <component name="SvnConfiguration">
338 |     <configuration />
339 |   </component>
340 |   <component name="TaskManager">
341 |     <task active="true" id="Default" summary="Default task">
342 |       <changelist id="c0fd0df6-a489-4d3c-abe0-47b740f3da48" name="Default" comment="" />
343 |       <created>1536765968651</created>
344 |       <option name="number" value="Default" />
345 |       <option name="presentableId" value="Default" />
346 |       <updated>1536765968651</updated>
347 |     </task>
348 |     <servers />
349 |   </component>
350 |   <component name="ToolWindowManager">
351 |     <frame x="0" y="0" width="1536" height="864" extended-state="6" />
352 |     <editor active="true" />
353 |     <layout>
354 |       <window_info anchor="bottom" id="TODO" order="6" />
355 |       <window_info anchor="right" id="Cargo" order="3" />
356 |       <window_info anchor="bottom" id="Event Log" order="7" side_tool="true" />
357 |       <window_info anchor="bottom" id="Database Changes" order="7" show_stripe_button="false" />
358 |       <window_info anchor="bottom" id="Version Control" order="7" />
359 |       <window_info anchor="bottom" id="Python Console" order="7" weight="0.32909605" />
360 |       <window_info anchor="bottom" id="Run" order="2" visible="true" weight="0.39344263" />
361 |       <window_info anchor="right" id="Coverage" order="3" side_tool="true" />
362 |       <window_info anchor="bottom" id="Terminal" order="7" weight="0.32909605" />
363 |       <window_info active="true" content_ui="combo" id="Project" order="0" visible="true" weight="0.26107383" />
364 |       <window_info anchor="bottom" id="Bucklescript" order="7" />
365 |       <window_info id="Julia Document" order="2" side_tool="true" />
366 |       <window_info anchor="bottom" id="Docker" order="7" show_stripe_button="false" />
367 |       <window_info anchor="right" id="Database" order="3" />
368 |       <window_info anchor="bottom" id="Find" order="1" weight="0.32786885" />
369 |       <window_info anchor="right" id="SciView" order="3" />
370 |       <window_info id="Structure" order="1" side_tool="true" weight="0.25" />
371 |       <window_info id="Favorites" order="2" side_tool="true" />
372 |       <window_info anchor="bottom" id="Debug" order="3" weight="0.3997175" />
373 |       <window_info anchor="right" content_ui="combo" id="Hierarchy" order="2" weight="0.25" />
374 |       <window_info anchor="bottom" id="Inspection" order="5" weight="0.4" />
375 |       <window_info anchor="right" id="Commander" order="0" weight="0.4" />
376 |       <window_info anchor="right" id="Ant Build" order="1" weight="0.25" />
377 |       <window_info anchor="bottom" id="Message" order="0" />
378 |       <window_info anchor="bottom" id="Cvs" order="4" weight="0.25" />
379 |     </layout>
380 |     <layout-to-restore>
381 |       <window_info anchor="right" content_ui="combo" id="Hierarchy" order="2" weight="0.25" />
382 |       <window_info anchor="bottom" id="Docker" order="7" show_stripe_button="false" />
383 |       <window_info anchor="right" id="Database" order="4" />
384 |       <window_info active="true" anchor="bottom" id="Run" order="2" visible="true" weight="0.32768363" />
385 |       <window_info anchor="bottom" id="Bucklescript" order="9" />
386 |       <window_info anchor="bottom" id="Cvs" order="4" weight="0.25" />
387 |       <window_info id="Favorites" order="2" side_tool="true" />
388 |       <window_info content_ui="combo" id="Project" order="0" visible="true" weight="0.2590604" />
389 |       <window_info id="Structure" order="1" side_tool="true" weight="0.25" />
390 |       <window_info anchor="right" id="Commander" order="0" weight="0.4" />
391 |       <window_info anchor="right" id="Ant Build" order="1" weight="0.25" />
392 |       <window_info anchor="bottom" id="TODO" order="6" />
393 |       <window_info anchor="right" id="Cargo" order="3" />
394 |       <window_info anchor="bottom" id="Message" order="0" />
395 |       <window_info anchor="bottom" id="Inspection" order="5" weight="0.4" />
396 |       <window_info anchor="bottom" id="Debug" order="3" weight="0.3997175" />
397 |       <window_info anchor="bottom" id="Terminal" order="11" weight="0.32909605" />
398 |       <window_info anchor="bottom" id="Event Log" order="12" side_tool="true" />
399 |       <window_info anchor="bottom" id="Database Changes" order="10" show_stripe_button="false" />
400 |       <window_info anchor="bottom" id="Version Control" order="8" />
401 |       <window_info anchor="right" id="SciView" order="5" />
402 |       <window_info anchor="bottom" id="Find" order="1" weight="0.32909605" />
403 |       <window_info id="Julia Document" order="3" side_tool="true" />
404 |       <window_info anchor="right" id="Coverage" order="6" side_tool="true" />
405 |       <window_info anchor="bottom" id="Python Console" order="13" weight="0.32909605" />
406 |     </layout-to-restore>
407 |   </component>
408 |   <component name="TypeScriptGeneratedFilesManager">
409 |     <option name="version" value="1" />
410 |   </component>
411 |   <component name="VcsContentAnnotationSettings">
412 |     <option name="myLimit" value="2678400000" />
413 |   </component>
414 |   <component name="XDebuggerManager">
415 |     <breakpoint-manager>
416 |       <breakpoints>
417 |         <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
418 |           <url>file://$PROJECT_DIR$/reley/impl/expr_based_ast.py</url>
419 |         </line-breakpoint>
420 |       </breakpoints>
421 |       <option name="time" value="1" />
422 |     </breakpoint-manager>
423 |   </component>
424 |   <component name="editorHistoryManager">
425 |     <entry file="file://$PROJECT_DIR$/reley/impl/precedence.py">
426 |       <provider selected="true" editor-type-id="text-editor">
427 |         <state relative-caret-position="15">
428 |           <caret line="1" column="28" selection-start-line="1" selection-start-column="28" selection-end-line="1" selection-end-column="28" />
429 |         </state>
430 |       </provider>
431 |     </entry>
432 |     <entry file="file://$PROJECT_DIR$/reley/impl/expr_based_ast.py">
433 |       <provider selected="true" editor-type-id="text-editor" />
434 |     </entry>
435 |     <entry file="file://$PROJECT_DIR$/reley/impl/grammar.rbnf">
436 |       <provider selected="true" editor-type-id="text-editor">
437 |         <state relative-caret-position="45">
438 |           <caret line="3" column="32" lean-forward="true" selection-start-line="3" selection-start-column="32" selection-end-line="3" selection-end-column="32" />
439 |         </state>
440 |       </provider>
441 |     </entry>
442 |     <entry file="file://$PROJECT_DIR$/reley/__init__.py">
443 |       <provider selected="true" editor-type-id="text-editor" />
444 |     </entry>
445 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/rbnf/core/ParserC.py" />
446 |     <entry file="file://$PROJECT_DIR$/reley/impl/grammar.py" />
447 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/rbnf/edsl/core.py" />
448 |     <entry file="file://$PROJECT_DIR$/reley/demo_cli.py" />
449 |     <entry file="file://$PROJECT_DIR$/test.py" />
450 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/rbnf/core/parser_algo/for_atom.py">
451 |       <provider selected="true" editor-type-id="text-editor">
452 |         <state relative-caret-position="149">
453 |           <caret line="42" selection-start-line="42" selection-end-line="42" />
454 |         </state>
455 |       </provider>
456 |     </entry>
457 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/bytecode/instr.py">
458 |       <provider selected="true" editor-type-id="text-editor">
459 |         <state relative-caret-position="226">
460 |           <caret line="126" column="10" selection-start-line="126" selection-start-column="10" selection-end-line="126" selection-end-column="10" />
461 |         </state>
462 |       </provider>
463 |     </entry>
464 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/bytecode/concrete.py">
465 |       <provider selected="true" editor-type-id="text-editor">
466 |         <state relative-caret-position="15">
467 |           <caret line="469" lean-forward="true" selection-start-line="469" selection-end-line="469" />
468 |         </state>
469 |       </provider>
470 |     </entry>
471 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/bytecode/cfg.py">
472 |       <provider selected="true" editor-type-id="text-editor">
473 |         <state relative-caret-position="449">
474 |           <caret line="76" column="50" selection-start-line="76" selection-start-column="50" selection-end-line="76" selection-end-column="50" />
475 |         </state>
476 |       </provider>
477 |     </entry>
478 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/rbnf/edsl/rbnf_analyze.py">
479 |       <provider selected="true" editor-type-id="text-editor">
480 |         <state relative-caret-position="-166">
481 |           <caret line="188" column="4" selection-start-line="188" selection-start-column="4" selection-end-line="188" selection-end-column="4" />
482 |         </state>
483 |       </provider>
484 |     </entry>
485 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/rbnf/bootstrap/rbnf.py">
486 |       <provider selected="true" editor-type-id="text-editor">
487 |         <state relative-caret-position="238">
488 |           <caret line="535" column="4" selection-start-line="535" selection-start-column="4" selection-end-line="535" selection-end-column="4" />
489 |         </state>
490 |       </provider>
491 |     </entry>
492 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/bytecode/bytecode.py">
493 |       <provider selected="true" editor-type-id="text-editor">
494 |         <state relative-caret-position="226">
495 |           <caret line="106" column="6" selection-start-line="106" selection-start-column="6" selection-end-line="106" selection-end-column="6" />
496 |         </state>
497 |       </provider>
498 |     </entry>
499 |     <entry file="file://$PROJECT_DIR$/c.py" />
500 |     <entry file="file://$PROJECT_DIR$/next_version">
501 |       <provider selected="true" editor-type-id="text-editor">
502 |         <state>
503 |           <caret column="5" selection-start-column="5" selection-end-column="5" />
504 |         </state>
505 |       </provider>
506 |     </entry>
507 |     <entry file="file://$APPLICATION_HOME_DIR$/helpers/typeshed/third_party/3/six/__init__.pyi">
508 |       <provider selected="true" editor-type-id="text-editor">
509 |         <state relative-caret-position="-495" />
510 |       </provider>
511 |     </entry>
512 |     <entry file="file://$USER_HOME$/.PyCharm2018.1/system/python_stubs/-1830989897/builtins.py">
513 |       <provider selected="true" editor-type-id="text-editor">
514 |         <state relative-caret-position="2378">
515 |           <caret line="827" column="4" selection-start-line="827" selection-start-column="4" selection-end-line="827" selection-end-column="4" />
516 |         </state>
517 |       </provider>
518 |     </entry>
519 |     <entry file="file://$USER_HOME$/Software/conda/Lib/ntpath.py">
520 |       <provider selected="true" editor-type-id="text-editor">
521 |         <state relative-caret-position="128">
522 |           <caret line="75" selection-start-line="75" selection-end-line="75" />
523 |         </state>
524 |       </provider>
525 |     </entry>
526 |     <entry file="file://$PROJECT_DIR$/reley/__release_info__.py">
527 |       <provider selected="true" editor-type-id="text-editor" />
528 |     </entry>
529 |     <entry file="file://$PROJECT_DIR$/reley/impl/__init__.py">
530 |       <provider selected="true" editor-type-id="text-editor" />
531 |     </entry>
532 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/yapf/yapflib/reformatter.py">
533 |       <provider selected="true" editor-type-id="text-editor">
534 |         <state relative-caret-position="136">
535 |           <caret line="38" column="4" selection-start-line="38" selection-start-column="4" selection-end-line="38" selection-end-column="4" />
536 |         </state>
537 |       </provider>
538 |     </entry>
539 |     <entry file="file://$PROJECT_DIR$/reley/unification/__init__.py">
540 |       <provider selected="true" editor-type-id="text-editor" />
541 |     </entry>
542 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/rbnf/core/State.py">
543 |       <provider selected="true" editor-type-id="text-editor">
544 |         <state relative-caret-position="143">
545 |           <caret line="47" column="8" selection-start-line="47" selection-start-column="8" selection-end-line="47" selection-end-column="8" />
546 |         </state>
547 |       </provider>
548 |     </entry>
549 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/rbnf/easy.py">
550 |       <provider selected="true" editor-type-id="text-editor">
551 |         <state relative-caret-position="430">
552 |           <caret line="40" column="78" lean-forward="true" selection-start-line="32" selection-start-column="4" selection-end-line="40" selection-end-column="78" />
553 |         </state>
554 |       </provider>
555 |     </entry>
556 |     <entry file="file://$USER_HOME$/Software/conda/Lib/os.py">
557 |       <provider selected="true" editor-type-id="text-editor">
558 |         <state relative-caret-position="143">
559 |           <caret line="673" selection-start-line="673" selection-end-line="673" />
560 |         </state>
561 |       </provider>
562 |     </entry>
563 |     <entry file="file://$PROJECT_DIR$/haskell_test/op.hsi">
564 |       <provider selected="true" editor-type-id="text-editor" />
565 |     </entry>
566 |     <entry file="file://$USER_HOME$/Software/conda/Lib/site-packages/rbnf/core/Tokenizer.py">
567 |       <provider selected="true" editor-type-id="text-editor">
568 |         <state relative-caret-position="165">
569 |           <caret line="12" column="6" selection-start-line="12" selection-start-column="6" selection-end-line="12" selection-end-column="6" />
570 |         </state>
571 |       </provider>
572 |     </entry>
573 |     <entry file="file://$PROJECT_DIR$/reley/impl/precedence.py">
574 |       <provider selected="true" editor-type-id="text-editor">
575 |         <state relative-caret-position="15">
576 |           <caret line="1" column="28" selection-start-line="1" selection-start-column="28" selection-end-line="1" selection-end-column="28" />
577 |         </state>
578 |       </provider>
579 |     </entry>
580 |     <entry file="file://$PROJECT_DIR$/reley/impl/helper.py">
581 |       <provider selected="true" editor-type-id="text-editor">
582 |         <state relative-caret-position="120">
583 |           <caret line="8" lean-forward="true" selection-start-line="8" selection-end-line="8" />
584 |           <folding>
585 |             <element signature="e#0#41#0" expanded="true" />
586 |           </folding>
587 |         </state>
588 |       </provider>
589 |     </entry>
590 |     <entry file="file://$PROJECT_DIR$/reley/impl/grammar.rbnf">
591 |       <provider selected="true" editor-type-id="text-editor">
592 |         <state relative-caret-position="135">
593 |           <caret line="18" column="38" selection-start-line="18" selection-start-column="33" selection-end-line="18" selection-end-column="38" />
594 |         </state>
595 |       </provider>
596 |     </entry>
597 |     <entry file="file://$PROJECT_DIR$/reley/impl/expr_based_ast.py">
598 |       <provider selected="true" editor-type-id="text-editor">
599 |         <state relative-caret-position="190">
600 |           <caret line="21" column="91" selection-start-line="21" selection-start-column="91" selection-end-line="21" selection-end-column="91" />
601 |           <folding>
602 |             <element signature="e#0#42#0" expanded="true" />
603 |           </folding>
604 |         </state>
605 |       </provider>
606 |     </entry>
607 |     <entry file="file://$PROJECT_DIR$/haskell_test/test_prelude.hs">
608 |       <provider selected="true" editor-type-id="text-editor">
609 |         <state relative-caret-position="60">
610 |           <caret line="4" column="19" selection-start-line="4" selection-start-column="19" selection-end-line="4" selection-end-column="19" />
611 |         </state>
612 |       </provider>
613 |     </entry>
614 |     <entry file="file://$PROJECT_DIR$/reley/impl/grammar.py">
615 |       <provider selected="true" editor-type-id="text-editor">
616 |         <state relative-caret-position="423">
617 |           <caret line="103" column="43" selection-start-line="103" selection-start-column="43" selection-end-line="103" selection-end-column="43" />
618 |         </state>
619 |       </provider>
620 |     </entry>
621 |     <entry file="file://$PROJECT_DIR$/.travis.yml">
622 |       <provider selected="true" editor-type-id="text-editor">
623 |         <state relative-caret-position="105">
624 |           <caret line="7" column="30" selection-start-line="7" selection-start-column="30" selection-end-line="7" selection-end-column="30" />
625 |         </state>
626 |       </provider>
627 |     </entry>
628 |     <entry file="file://$PROJECT_DIR$/reley/__init__.py">
629 |       <provider selected="true" editor-type-id="text-editor" />
630 |     </entry>
631 |     <entry file="file://$PROJECT_DIR$/reley/impl/pycompat.py">
632 |       <provider selected="true" editor-type-id="text-editor">
633 |         <state relative-caret-position="135">
634 |           <caret line="10" selection-start-line="10" selection-end-line="10" />
635 |         </state>
636 |       </provider>
637 |     </entry>
638 |     <entry file="file://$PROJECT_DIR$/reley/impl/cli.py">
639 |       <provider selected="true" editor-type-id="text-editor">
640 |         <state>
641 |           <caret column="25" selection-start-column="25" selection-end-column="25" />
642 |         </state>
643 |       </provider>
644 |     </entry>
645 |     <entry file="file://$PROJECT_DIR$/haskell_test/operator.hs">
646 |       <provider selected="true" editor-type-id="text-editor">
647 |         <state relative-caret-position="195">
648 |           <caret line="13" selection-start-line="13" selection-end-line="13" />
649 |         </state>
650 |       </provider>
651 |     </entry>
652 |     <entry file="file://$PROJECT_DIR$/reley/prelude.hs">
653 |       <provider selected="true" editor-type-id="text-editor">
654 |         <state relative-caret-position="180">
655 |           <caret line="12" column="17" selection-start-line="12" selection-start-column="17" selection-end-line="12" selection-end-column="17" />
656 |         </state>
657 |       </provider>
658 |     </entry>
659 |     <entry file="file://$PROJECT_DIR$/haskell_test/hello-world.hs">
660 |       <provider selected="true" editor-type-id="text-editor" />
661 |     </entry>
662 |     <entry file="file://$PROJECT_DIR$/haskell_test/import_hs.hs">
663 |       <provider selected="true" editor-type-id="text-editor">
664 |         <state relative-caret-position="45">
665 |           <caret line="3" column="14" selection-start-line="3" selection-start-column="14" selection-end-line="3" selection-end-column="14" />
666 |         </state>
667 |       </provider>
668 |     </entry>
669 |     <entry file="file://$PROJECT_DIR$/reley/impl/compiler.py">
670 |       <provider selected="true" editor-type-id="text-editor">
671 |         <state relative-caret-position="108">
672 |           <caret line="370" column="29" selection-start-line="370" selection-start-column="29" selection-end-line="370" selection-end-column="29" />
673 |           <folding>
674 |             <element signature="e#0#38#0" expanded="true" />
675 |           </folding>
676 |         </state>
677 |       </provider>
678 |     </entry>
679 |     <entry file="file://$PROJECT_DIR$/haskell_test/comment.hs">
680 |       <provider selected="true" editor-type-id="text-editor">
681 |         <state relative-caret-position="90">
682 |           <caret line="6" column="24" selection-start-line="6" selection-start-column="24" selection-end-line="6" selection-end-column="24" />
683 |         </state>
684 |       </provider>
685 |     </entry>
686 |     <entry file="file://$PROJECT_DIR$/reley/impl/reley_import.py">
687 |       <provider selected="true" editor-type-id="text-editor">
688 |         <state relative-caret-position="280">
689 |           <caret line="170" selection-start-line="170" selection-end-line="170" />
690 |           <folding>
691 |             <element signature="e#0#9#0" expanded="true" />
692 |           </folding>
693 |         </state>
694 |       </provider>
695 |     </entry>
696 |     <entry file="file://$PROJECT_DIR$/sample_test.py">
697 |       <provider selected="true" editor-type-id="text-editor">
698 |         <state relative-caret-position="165">
699 |           <caret line="11" selection-start-line="11" selection-end-line="11" />
700 |           <folding>
701 |             <element signature="e#0#33#0" expanded="true" />
702 |           </folding>
703 |         </state>
704 |       </provider>
705 |     </entry>
706 |     <entry file="file://$PROJECT_DIR$/haskell_test/sum_n.hs">
707 |       <provider selected="true" editor-type-id="text-editor">
708 |         <state relative-caret-position="15">
709 |           <caret line="1" column="45" selection-end-line="24" />
710 |         </state>
711 |       </provider>
712 |     </entry>
713 |     <entry file="file://$PROJECT_DIR$/README.md">
714 |       <provider selected="true" editor-type-id="split-provider[text-editor;MarkdownPreviewEditor]">
715 |         <state split_layout="SPLIT">
716 |           <first_editor relative-caret-position="30">
717 |             <caret line="2" column="25" selection-start-line="2" selection-start-column="25" selection-end-line="2" selection-end-column="25" />
718 |           </first_editor>
719 |           <second_editor>
720 |             <markdownNavigatorState />
721 |           </second_editor>
722 |         </state>
723 |       </provider>
724 |     </entry>
725 |     <entry file="file://$PROJECT_DIR$/setup.py">
726 |       <provider selected="true" editor-type-id="text-editor">
727 |         <state relative-caret-position="255">
728 |           <caret line="31" column="76" lean-forward="true" selection-start-line="31" selection-start-column="76" selection-end-line="31" selection-end-column="76" />
729 |         </state>
730 |       </provider>
731 |     </entry>
732 |   </component>
733 | </project>


--------------------------------------------------------------------------------
/.travis.yml:
--------------------------------------------------------------------------------
 1 | language: python
 2 | python:
 3 |   - "3.6"
 4 |   - "3.6-dev"
 5 |   - "3.7-dev"
 6 | install:
 7 |   - pip install codecov coverage pytest==3.3.2 python_coveralls
 8 |   - pip install -U rbnf wisepy
 9 |   - python setup.py install
10 | 
11 | script:
12 |   - coverage run sample_test.py
13 |   # exclude bootstrap for ast transformations cannot be detected by coverage, causing incorrect report.
14 |   - coverage report
15 | 
16 | after_success:
17 |   - codecov
18 |   - coveralls


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
 1 | MIT License
 2 | 
 3 | Copyright (c) 2018 
 4 | 
 5 | Permission is hereby granted, free of charge, to any person obtaining a copy
 6 | of this software and associated documentation files (the "Software"), to deal
 7 | in the Software without restriction, including without limitation the rights
 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 9 | copies of the Software, and to permit persons to whom the Software is
10 | furnished to do so, subject to the following conditions:
11 | 
12 | The above copyright notice and this permission notice shall be included in all
13 | copies or substantial portions of the Software.
14 | 
15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21 | SOFTWARE.
22 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | [![Build Status](https://travis-ci.org/thautwarm/reley.svg?branch=master)](https://travis-ci.org/thautwarm/reley)
 2 | 
 3 | See examples at `haskell_test/*.hs`.
 4 | Currently you can install reley compiler with `python setup.py install`.
 5 | 
 6 | Usage
 7 | ============
 8 | 
 9 | - Compile:
10 | 
11 | ```
12 | > reley cc <filename>.hs -o <out>.pyc
13 | > python <out>.pyc
14 | ```
15 | 
16 | - Run Reley
17 | 
18 | ```
19 | > reley run <filename>.hs
20 | ```
21 | 
22 | - Import reley programs in Python
23 | 
24 | If you have a reley source file `haskell_test/sum_n.hs`:
25 | 
26 | ```haskell
27 | module
28 |     m_sum, (==) -- export `m_sum` and  `(==)`
29 | where
30 | 
31 | import operator (add, eq)
32 | import functools (reduce)
33 | import toolz (curry)
34 | import reley.prelude ((+))
35 | 
36 | infix 5 (==)
37 | infix 0 ($)
38 | (==) = curry eq
39 | ($) a b = a b
40 | (+) = curry add
41 | 
42 | 
43 | m_sum lst = if lst == [] then 0
44 |             else destruct lst
45 |             where
46 |                 destruct (a, b) = a + m_sum(b)
47 | 
48 | main () =
49 |     print $ m_sum [1, 2, 3, 4, 5, 6]
50 | 
51 | ```
52 | 
53 | Then you can import it in Python
54 | 
55 | ```python
56 | import reley.impl.pycompat
57 | 
58 | from haskell_test.sum_n import m_sum
59 | lst = (5, (2, (1, ())))
60 | print(m_sum(lst))
61 | 
62 | ```
63 | 
64 | About Reley
65 | ====================
66 | It's in an early stage with many shortages.
67 | Most of the crucial Haskell features are missing.
68 | 


--------------------------------------------------------------------------------
/haskell_test/comment.hs:
--------------------------------------------------------------------------------
 1 | module
 2 |     test1
 3 | where
 4 | 
 5 | import unittest (TestCase)
 6 | import toolz (curry)
 7 | import reley.prelude (*)
 8 | 
 9 | infix 10 (.)
10 | (.) = curry getattr
11 | 
12 | |||<comment1>
13 | test1 () = ()
14 | 
15 | main() =
16 |     (curry (test . "assertEqual")) (test1. "__doc__") "<comment1>"
17 |     help test1
18 |     print $ (\a b c -> a) 1 2 3
19 |     where
20 |     test = TestCase()
21 | 
22 | 


--------------------------------------------------------------------------------
/haskell_test/hello-world.hs:
--------------------------------------------------------------------------------
1 | main() =
2 |     print "hello world!"
3 | 
4 | 


--------------------------------------------------------------------------------
/haskell_test/import_hs.hs:
--------------------------------------------------------------------------------
1 | import haskell_test.comment (test1)
2 | 
3 | main() =
4 |     help test1


--------------------------------------------------------------------------------
/haskell_test/operator.hs:
--------------------------------------------------------------------------------
 1 | import operator (add, sub)
 2 | import toolz (curry)
 3 | 
 4 | infix 0 ($)
 5 | infix 5 (+)
 6 | infix 5 (-)
 7 | 
 8 | ($) f a = f a
 9 | (+) = curry add
10 | (-) = curry sub
11 | 
12 | main () =
13 |     print $ 1 + 2 - 3
14 | 
15 | 


--------------------------------------------------------------------------------
/haskell_test/sum_n.hs:
--------------------------------------------------------------------------------
 1 | module
 2 |     m_sum, (==) -- export `m_sum` and  `(==)`
 3 | where
 4 | 
 5 | import operator (add, eq)
 6 | import functools (reduce)
 7 | import toolz (curry)
 8 | import reley.prelude ((+))
 9 | 
10 | infix 5 (==)
11 | infix 0 ($)
12 | (==) = curry eq
13 | ($) a b = a b
14 | (+) = curry add
15 | 
16 | 
17 | m_sum lst = if lst == [] then 0
18 |             else destruct lst
19 |             where
20 |                 destruct (a, b) = a + m_sum(b)
21 | 
22 | main () =
23 |     print $ m_sum [1, 2, 3, 4, 5, 6]
24 | 
25 | 


--------------------------------------------------------------------------------
/haskell_test/test_prelude.hs:
--------------------------------------------------------------------------------
1 | import reley.prelude (*)
2 | import reley.prelude as pre
3 | 
4 | main() =
5 |     print $ dir pre


--------------------------------------------------------------------------------
/next_version:
--------------------------------------------------------------------------------
1 | 0.1.19


--------------------------------------------------------------------------------
/reley/__init__.py:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/thautwarm/reley/17e5730c1afbefaeb22103719c85f08333c65937/reley/__init__.py


--------------------------------------------------------------------------------
/reley/__release_info__.py:
--------------------------------------------------------------------------------
1 | __VERSION__ = '0.1.18'
2 | __AUTHOR__ = "thautwarm"


--------------------------------------------------------------------------------
/reley/impl/__init__.py:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/thautwarm/reley/17e5730c1afbefaeb22103719c85f08333c65937/reley/impl/__init__.py


--------------------------------------------------------------------------------
/reley/impl/cli.py:
--------------------------------------------------------------------------------
 1 | from .pycompat import sys
 2 | from .reley_import import get_reley_module_spec_from_path, get_context_from_spec
 3 | from wisepy.talking import Talking
 4 | from Redy.Tools.PathLib import Path
 5 | from importlib._bootstrap_external import MAGIC_NUMBER
 6 | import marshal
 7 | import struct, time
 8 | 
 9 | talking = Talking()
10 | 
11 | 
12 | @talking
13 | def cc(f: 'input filename', o: 'output filename'):
14 |     """
15 |     compile reley source code into pyc files
16 |     """
17 |     spec = get_reley_module_spec_from_path('main', f)
18 |     code = get_context_from_spec(spec).bc.to_code()
19 |     timestamp = struct.pack('i', int(time.time()))
20 |     marshalled_code_object = marshal.dumps(code)
21 |     with Path(o).open('wb') as f:
22 |         f.write(MAGIC_NUMBER)
23 |         f.write(timestamp)
24 |         f.write(b'A\x00\x00\x00')
25 |         f.write(marshalled_code_object)
26 | 
27 | 
28 | @talking
29 | def run(f: 'input filename'):
30 |     """
31 |     compile reley source code into pyc files
32 |     """
33 |     spec = get_reley_module_spec_from_path('main', f)
34 |     code = get_context_from_spec(spec).bc.to_code()
35 |     exec(code)
36 | 
37 | 
38 | def main():
39 |     talking.on()
40 | 


--------------------------------------------------------------------------------
/reley/impl/compiler.py:
--------------------------------------------------------------------------------
  1 | from Redy.Magic.Pattern import Pattern
  2 | from typing import Dict
  3 | from bytecode import Instr, Bytecode, FreeVar, CellVar, Label
  4 | from toolz import curry
  5 | from functools import reduce
  6 | from .precedence import bin_reduce
  7 | from .expr_based_ast import *
  8 | 
  9 | map = curry(map)
 10 | reduce = curry(reduce)
 11 | getattr = curry(getattr)
 12 | 
 13 | # code flags
 14 | OPTIMIZED = 1
 15 | NEWLOCALS = 2
 16 | NESTED = 16
 17 | NOFREE = 64
 18 | GENERATOR = 32
 19 | COROUTINE = 128
 20 | ITERABLE_COROUTINE = 256
 21 | 
 22 | # compiling future
 23 | DECLARED = 0
 24 | EVALUATED = -1
 25 | RESOLVED = -2
 26 | END = -3
 27 | 
 28 | 
 29 | @curry
 30 | def flip(f, a, b):
 31 |     return f(b, a)
 32 | 
 33 | 
 34 | def fst(it):
 35 |     return it[0]
 36 | 
 37 | 
 38 | class Val:
 39 |     pass
 40 | 
 41 | 
 42 | def lens(**kwargs):
 43 |     def apply(it):
 44 |         return {**it, **kwargs}
 45 | 
 46 |     return apply
 47 | 
 48 | 
 49 | def identity(it):
 50 |     return it
 51 | 
 52 | 
 53 | def fix_bytecode(bc: Bytecode):
 54 |     for each in bc:
 55 |         if not isinstance(each, Instr):
 56 |             continue
 57 |         arg = each.arg
 58 |         if not isinstance(arg, FreeVar):
 59 |             continue
 60 |         name = arg.name
 61 |         if name not in bc.freevars:
 62 |             bc.freevars.append(name)
 63 | 
 64 | 
 65 | class Ctx:
 66 |     # precedences: dict
 67 |     symtb: Dict[str, Val]
 68 |     local: Dict[str, Val]
 69 |     bc: Bytecode
 70 |     precedences: Dict[str, int]
 71 |     is_nested: bool
 72 |     exported: list
 73 | 
 74 |     def __init__(self, symtb, local, bc, precedences, is_nested):
 75 |         self.symtb = symtb
 76 |         self.local = local
 77 |         self.bc = bc
 78 |         self.precedences = precedences
 79 |         self.is_nested = is_nested
 80 |         self.exported = []
 81 | 
 82 |     def new(self) -> 'Ctx':
 83 |         return Ctx(self.symtb, {}, Bytecode(), self.precedences, True)
 84 | 
 85 |     def add_infix(self, name, priority):
 86 |         self.precedences = {**self.precedences, **{name: priority}}
 87 | 
 88 |     def add_non_local(self, name, val):
 89 |         if name not in self.symtb:
 90 |             self.symtb = symtb = {**self.symtb}
 91 |             symtb[name] = val
 92 | 
 93 |     def add_local(self, name, val):
 94 |         if name not in self.local:
 95 |             self.local[name] = val
 96 |             symtb = self.symtb = {**self.symtb}
 97 |             symtb[name] = val
 98 |             self.bc.flags |= NEWLOCALS
 99 | 
100 |     def add_locals(self, name_vals):
101 |         if any(name_vals):
102 |             self.bc.flags |= NEWLOCALS
103 |         for name, val in name_vals:
104 |             if name not in self.local:
105 |                 self.local[name] = val
106 |                 symtb = self.symtb = {**self.symtb}
107 |                 symtb[name] = val
108 | 
109 |     def load_name(self, tast):
110 |         name = tast.name
111 | 
112 |         if name in self.local:
113 |             if name not in self.bc.cellvars:
114 |                 self.bc.append(
115 |                     Instr('LOAD_FAST', name, lineno=tast.lineno + 1))
116 |             else:
117 |                 self.bc.append(
118 |                     Instr('LOAD_DEREF', CellVar(name), lineno=tast.lineno + 1))
119 |             return
120 | 
121 |         if name in self.symtb:
122 |             self.bc.append(
123 |                 Instr('LOAD_DEREF', FreeVar(name), lineno=tast.lineno + 1))
124 |         else:
125 |             self.bc.append(Instr('LOAD_GLOBAL', name, lineno=tast.lineno + 1))
126 | 
127 |     def visit(self, tast):
128 |         return visit(tast, self)
129 | 
130 | 
131 | @Pattern
132 | def visit(tast, _):
133 |     return type(tast)
134 | 
135 | 
136 | @visit.case(DefVar)
137 | def _(tast: DefVar, ctx: Ctx):
138 |     name = tast.name
139 | 
140 |     # declare
141 |     ctx.add_local(name, Val())
142 |     yield from wait(DECLARED)
143 |     new_ctx = ctx.new()
144 |     # evaluating internal area
145 |     bc = new_ctx.bc
146 |     bc.kwonlyargcount = 0
147 |     bc.filename = tast.loc.filename
148 |     bc.argcount = 0
149 |     new_ctx.visit(tast.value)
150 |     bc.name = name or '<lambda>'
151 |     bc.append(Instr("RETURN_VALUE"))
152 |     fix_bytecode(new_ctx.bc)
153 |     yield from wait(EVALUATED)
154 |     # resolve
155 |     delay = []
156 |     delay_append = delay.append
157 |     if any(bc.freevars):
158 |         for each in bc.freevars:
159 |             if each not in ctx.local:
160 |                 if each not in ctx.bc.freevars:
161 |                     ctx.bc.freevars.append(each)
162 |                 delay_append(
163 |                     Instr(
164 |                         'LOAD_CLOSURE', FreeVar(each), lineno=tast.lineno + 1))
165 |             else:
166 |                 if each not in ctx.bc.cellvars:
167 |                     ctx.bc.cellvars.append(each)
168 |                 delay_append(
169 |                     Instr(
170 |                         'LOAD_CLOSURE', CellVar(each), lineno=tast.lineno + 1))
171 |         delay_append(
172 |             Instr("BUILD_TUPLE", arg=len(bc.freevars), lineno=tast.lineno + 1))
173 | 
174 |     if ctx.is_nested:
175 |         bc.flags |= NESTED
176 |     bc.flags |= OPTIMIZED
177 |     yield from wait(RESOLVED)
178 | 
179 |     code = bc.to_code()
180 | 
181 |     # dis.show_code(code)
182 |     ctx.bc.extend(delay)
183 |     ctx.bc.append(Instr('LOAD_CONST', arg=code, lineno=tast.lineno + 1))
184 |     ctx.bc.append(Instr('LOAD_CONST', arg=bc.name, lineno=tast.lineno + 1))
185 |     ctx.bc.append(
186 |         Instr(
187 |             'MAKE_FUNCTION',
188 |             arg=8 if any(bc.freevars) else 0,
189 |             lineno=tast.lineno + 1))
190 | 
191 |     ctx.bc.append(Instr("CALL_FUNCTION", arg=0, lineno=tast.lineno + 1))
192 |     if name in ctx.bc.cellvars:
193 |         ctx.bc.append(Instr("STORE_DEREF", arg=CellVar(name)))
194 |     else:
195 |         ctx.bc.append(Instr('STORE_FAST', arg=tast.name))
196 | 
197 | 
198 | @visit.case(Lam)
199 | def _(lam: DefFun, ctx: Ctx):
200 |     cos = (visit_def_fun(lam, ctx), )
201 |     start(cos)
202 |     reach(END, cos)
203 | 
204 | 
205 | @visit.case(DefFun)
206 | def visit_def_fun(def_fun: DefFun, ctx: Ctx):
207 |     name = def_fun.name
208 |     if name:
209 |         ctx.add_local(name, Val())
210 |     yield from wait(DECLARED)
211 |     args = [arg.name for arg in def_fun.args]
212 |     new_ctx = ctx.new()
213 |     for each in def_fun.args:
214 |         new_ctx.visit(each)
215 | 
216 |     bc = new_ctx.bc
217 |     if isinstance(def_fun, DefFun) and def_fun.doc:
218 |         bc.docstring = def_fun.doc.text
219 |     bc.kwonlyargcount = 0
220 |     bc.filename = def_fun.loc.filename
221 | 
222 |     if any(args):
223 |         bc.argcount = 1
224 |         if len(args) is 1:
225 |             bc.argnames = args
226 |         else:
227 |             arg_name = '.'.join(args)
228 |             bc.argnames = [arg_name]
229 |             bc.append(
230 |                 Instr(
231 |                     'LOAD_FAST', arg_name, lineno=def_fun.args[0].lineno + 1))
232 |             bc.append(Instr('UNPACK_SEQUENCE', arg=len(args)))
233 |             for arg in args:
234 |                 bc.append(Instr('STORE_FAST', arg=arg))
235 |     else:
236 |         bc.argcount = 0
237 | 
238 |     new_ctx.visit(def_fun.body)
239 |     bc.name = name or '<lambda>'
240 |     bc.append(Instr("RETURN_VALUE"))
241 |     fix_bytecode(bc)
242 |     # for each in (bc):
243 |     #     print(each)
244 |     # print('++++++++++')
245 |     yield from wait(EVALUATED)
246 |     delay = []
247 |     delay_append = delay.append
248 |     if any(bc.freevars):
249 |         for each in bc.freevars:
250 |             if each not in ctx.local:
251 |                 if each not in ctx.bc.freevars:
252 |                     ctx.bc.freevars.append(each)
253 |                 delay_append(
254 |                     Instr(
255 |                         'LOAD_CLOSURE',
256 |                         FreeVar(each),
257 |                         lineno=def_fun.lineno + 1))
258 |             else:
259 |                 if each not in ctx.bc.cellvars:
260 |                     ctx.bc.cellvars.append(each)
261 |                 delay_append(
262 |                     Instr(
263 |                         'LOAD_CLOSURE',
264 |                         CellVar(each),
265 |                         lineno=def_fun.lineno + 1))
266 |         delay_append(
267 |             Instr(
268 |                 "BUILD_TUPLE", arg=len(bc.freevars),
269 |                 lineno=def_fun.lineno + 1))
270 | 
271 |     if ctx.is_nested:
272 |         bc.flags |= NESTED
273 |     bc.flags |= OPTIMIZED
274 |     # dump_bytecode(bc)
275 |     # print(name, ctx.local.keys(), ctx.bc.freevars, ctx.bc.cellvars)
276 |     yield from wait(RESOLVED)
277 |     code = bc.to_code()
278 |     ctx.bc.extend(delay)
279 |     # dis.show_code(code)
280 |     ctx.bc.append(Instr('LOAD_CONST', arg=code, lineno=def_fun.lineno + 1))
281 |     ctx.bc.append(Instr('LOAD_CONST', arg=bc.name, lineno=def_fun.lineno + 1))
282 |     ctx.bc.append(
283 |         Instr(
284 |             'MAKE_FUNCTION',
285 |             arg=8 if any(bc.freevars) else 0,
286 |             lineno=def_fun.lineno + 1))
287 | 
288 |     if name:
289 |         if name in ctx.bc.cellvars:
290 |             ctx.bc.append(
291 |                 Instr("STORE_DEREF", CellVar(name), lineno=def_fun.lineno + 1))
292 |         else:
293 |             ctx.bc.append(Instr('STORE_FAST', name, lineno=def_fun.lineno + 1))
294 | 
295 | 
296 | @visit.case(Number)
297 | def _(tast: Number, ctx: Ctx):
298 |     ctx.bc.append(Instr("LOAD_CONST", tast.value, lineno=tast.lineno + 1))
299 | 
300 | 
301 | @visit.case(Str)
302 | def _(tast: Str, ctx: Ctx):
303 |     ctx.bc.append(Instr("LOAD_CONST", tast.value, lineno=tast.lineno + 1))
304 | 
305 | 
306 | @visit.case(Symbol)
307 | def _(tast: Symbol, ctx: Ctx):
308 |     ctx.load_name(tast)
309 | 
310 | 
311 | @visit.case(Call)
312 | def visit_call(ast: Call, ctx: Ctx):
313 |     ctx.visit(ast.callee)
314 | 
315 |     if isinstance(ast.arg, Void):
316 |         ctx.bc.append(Instr("CALL_FUNCTION", arg=0, lineno=ast.lineno + 1))
317 |     else:
318 |         ctx.visit(ast.arg)
319 |         ctx.bc.append(Instr("CALL_FUNCTION", arg=1, lineno=ast.lineno + 1))
320 | 
321 | 
322 | @visit.case(If)
323 | def _(ast: If, ctx: Ctx):
324 |     label1 = Label()
325 |     label2 = Label()
326 |     ctx.visit(ast.cond)
327 |     ctx.bc.append(
328 |         Instr("POP_JUMP_IF_FALSE", arg=label1, lineno=ast.cond.lineno + 1))
329 |     ctx.visit(ast.iftrue)
330 |     ctx.bc.append(
331 |         Instr('JUMP_FORWARD', arg=label2, lineno=ast.iftrue.lineno + 1))
332 |     ctx.bc.append(label1)
333 |     ctx.visit(ast.iffalse)
334 |     ctx.bc.append(label2)
335 | 
336 | 
337 | @visit.case(Arg)
338 | def _(ast: Arg, ctx: Ctx):
339 |     ctx.bc.argnames.append(ast.name)
340 |     # TODO:
341 |     ctx.add_local(ast.name, ast.ty)
342 | 
343 | 
344 | @visit.case(Suite)
345 | def _(ast: Suite, ctx: Ctx):
346 |     if ast.statements:
347 | 
348 |         def pop(lineno):
349 |             return lambda: ctx.bc.append(Instr('POP_TOP', lineno=lineno + 1))
350 | 
351 |         def now():
352 |             return ()
353 | 
354 |         for each in ast.statements:
355 |             now()
356 |             pop(each.lineno)
357 |             ctx.visit(each)
358 |             now = pop(each.lineno)
359 |     else:
360 |         ctx.bc.append(Instr('LOAD_CONST', None))
361 | 
362 | 
363 | @visit.case(Definition)
364 | def _(ast: Suite, ctx: Ctx):
365 |     if ast.statements:
366 |         for each in ast.statements:
367 |             yield ctx.visit(each)
368 | 
369 | 
370 | @visit.case(Module)
371 | def _(ast: Module, ctx: Ctx):
372 |     cos = list(ctx.visit(ast.stmts))
373 |     start(cos)
374 |     reach(DECLARED, cos)
375 |     reach(EVALUATED, cos)
376 |     reach(RESOLVED, cos)
377 |     reach(END, cos)
378 | 
379 |     exports = ast.exports
380 | 
381 |     if exports:
382 |         for each in exports:
383 |             ctx.load_name(each)
384 |             ctx.bc.append(
385 |                 Instr("STORE_GLOBAL", arg=each.name, lineno=each.lineno + 1))
386 |             ctx.exported.append(each.name)
387 | 
388 |     if ctx.local.get('main'):
389 |         ctx.bc.append(Instr('LOAD_FAST', arg='main'))
390 |         ctx.bc.append(Instr('CALL_FUNCTION', arg=0))
391 |         ctx.bc.append(Instr("RETURN_VALUE"))
392 |     else:
393 |         ctx.bc.append(Instr("LOAD_CONST", 0))
394 |         ctx.bc.append(Instr("RETURN_VALUE"))
395 |     if ast.doc:
396 |         ctx.bc.docstring = ast.doc.text
397 | 
398 | 
399 | @visit.case(BinSeq)
400 | def _(ast: BinSeq, ctx: Ctx):
401 |     reduce = bin_reduce(ctx.precedences)
402 |     ctx.visit(reduce(ast.seq))
403 | 
404 | 
405 | @visit.case(Infix)
406 | def _(ast: Infix, ctx: Ctx):
407 |     ctx.add_infix(ast.op, ast.precedence)
408 |     yield
409 | 
410 | 
411 | @visit.case(Void)
412 | def _(_, ctx: Ctx):
413 |     ctx.bc.append(Instr("LOAD_CONST", None))
414 | 
415 | 
416 | @visit.case(Tuple)
417 | def _(tp: Tuple, ctx: Ctx):
418 |     for each in tp.seq:
419 |         ctx.visit(each)
420 |     ctx.bc.append(Instr("BUILD_TUPLE", arg=len(tp.seq), lineno=tp.lineno + 1))
421 | 
422 | 
423 | @visit.case(Return)
424 | def _(ret: Return, ctx: Ctx):
425 |     ctx.visit(ret.expr)
426 |     ctx.bc.append(Instr('RETURN_VALUE', lineno=ret.lineno + 1))
427 | 
428 | 
429 | @visit.case(Yield)
430 | def _(yd: Yield, ctx: Ctx):
431 |     ctx.visit(yd.expr)
432 |     ctx.bc.append(Instr("YIELD_VALUE", lineno=yd.lineno + 1))
433 | 
434 | 
435 | @visit.case(HList)
436 | def _(lst: HList, ctx: Ctx):
437 | 
438 |     seq = lst.seq
439 |     for each in seq:
440 |         ctx.visit(each)
441 |     ctx.bc.append(Instr("LOAD_CONST", arg=(), lineno=lst.lineno))
442 |     for _ in range(len(seq)):
443 |         ctx.bc.append(Instr("BUILD_TUPLE", arg=2, lineno=lst.lineno))
444 | 
445 | 
446 | @visit.case(Where)
447 | def _(where: Where, ctx: Ctx):
448 |     bc = ctx.bc
449 |     names = new_entered_names(where.pre_def)
450 |     count = len(bc)
451 |     targets = {origin: f'{origin}.{count}' for origin in names}
452 | 
453 |     def substitute(it: TAST):
454 |         if hasattr(it, 'name') and it.name:
455 |             value = targets.get(it.name)
456 |             if value:
457 |                 return type(it)(**dict(it.iter_fields, name=value))
458 |             return it
459 |         elif hasattr(it, 'names') and it.names:
460 |             return type(it)(**dict(
461 |                 it.iter_fields,
462 |                 names=tuple(targets.get(each) or each for each in it.names)))
463 |         return it
464 | 
465 |     pre_def = transform(substitute)(where.pre_def)
466 |     out = transform(substitute)(where.out)
467 | 
468 |     cos = list(ctx.visit(pre_def))
469 |     start(cos)
470 |     reach(DECLARED, cos)
471 |     n1 = len(bc)
472 |     ctx.visit(out)
473 |     n2 = len(bc)
474 |     reach(EVALUATED, cos)
475 |     reach(RESOLVED, cos)
476 |     reach(END, cos)
477 |     n3 = len(bc)
478 |     bc[n1:n3] = bc[n2:n3] + bc[n1:n2]
479 | 
480 | 
481 | def new_entered_names(it: Definition):
482 |     for each in it.statements:
483 |         if isinstance(each, (DefFun, DefTy, DefVar)):
484 |             yield each.name
485 | 
486 | 
487 | def wait(signal):
488 |     while (yield signal) == signal:
489 |         pass
490 | 
491 | 
492 | def start(coroutines):
493 |     for each in coroutines:
494 |         each.send(None)
495 | 
496 | 
497 | def reach(signal, coroutines):
498 |     for each in coroutines:
499 |         try:
500 |             while each.send(signal) != signal:
501 |                 pass
502 |         except StopIteration:
503 |             pass
504 | 


--------------------------------------------------------------------------------
/reley/impl/expr_based_ast.py:
--------------------------------------------------------------------------------
  1 | from typing import NamedTuple, List, Tuple
  2 | from Redy.Magic.Classic import record
  3 | from numpy import number
  4 | from rbnf.easy import Tokenizer
  5 | globals()['NamedTuple'] = object
  6 | 
  7 | 
  8 | class Loc:
  9 |     __slots__ = ['lineno', 'colno', 'filename']
 10 | 
 11 |     lineno: int
 12 |     colno: int
 13 |     filename: str
 14 | 
 15 |     def __init__(self, lineno, colno, filename):
 16 |         self.lineno = lineno
 17 |         self.colno = colno
 18 |         self.filename = filename
 19 | 
 20 |     def __matmul__(self, other):
 21 |         if isinstance(other, Tokenizer):
 22 |             return Loc(other.lineno, other.colno, getattr(other, 'filename') or '<unknown>')
 23 |         return Loc(*other.loc)
 24 | 
 25 |     def __iter__(self):
 26 |         yield self.lineno
 27 |         yield self.colno
 28 |         yield self.filename
 29 | 
 30 |     def __repr__(self):
 31 |         return str(self)
 32 | 
 33 |     def __str__(self):
 34 |         return 'Loc(lineno={!r}, colno={!r}, filename={!r})'.format(
 35 |             self.lineno, self.colno, self.filename)
 36 | 
 37 |     def update(self, lineno=None, colno=None, filename=None):
 38 |         if lineno:
 39 |             self.lineno = lineno
 40 |         if colno:
 41 |             self.colno = colno
 42 |         if filename:
 43 |             self.filename = filename
 44 | 
 45 | 
 46 | class TAST:
 47 |     loc: Loc
 48 | 
 49 |     @property
 50 |     def iter_fields(self):
 51 |         for it in self.__annotations__:
 52 |             if not it.startswith('_') and it not in ('iter_fields', 'lineno'):
 53 |                 yield it, getattr(self, it)
 54 | 
 55 |     @property
 56 |     def lineno(self):
 57 |         return self.loc.lineno
 58 | 
 59 | 
 60 | loc = Loc(1, 1, "")
 61 | 
 62 | 
 63 | @record
 64 | class DefTy(TAST, NamedTuple):
 65 |     loc: Loc
 66 |     name: str
 67 |     structure: TAST
 68 | 
 69 | 
 70 | @record
 71 | class DefFun(TAST, NamedTuple):
 72 |     loc: Loc
 73 |     name: str
 74 |     args: 'List[Arg]'
 75 |     body: TAST
 76 |     doc: 'Doc'
 77 | 
 78 | 
 79 | @record
 80 | class Lam(TAST, NamedTuple):
 81 |     loc: Loc
 82 |     name: str
 83 |     args: 'List[Arg]'
 84 |     body: TAST
 85 | 
 86 | 
 87 | @record
 88 | class Arg(TAST, NamedTuple):
 89 |     loc: Loc
 90 |     name: str
 91 |     ty: TAST
 92 | 
 93 | 
 94 | @record
 95 | class Suite(TAST, NamedTuple):
 96 |     loc: Loc
 97 |     statements: List[TAST]
 98 | 
 99 | 
100 | @record
101 | class Definition(TAST, NamedTuple):
102 |     loc: Loc
103 |     statements: List[TAST]
104 | 
105 | 
106 | @record
107 | class Where(TAST, NamedTuple):
108 |     loc: Loc
109 |     out: Suite
110 |     pre_def: Definition
111 | 
112 | 
113 | @record
114 | class DefVar(TAST, NamedTuple):
115 |     loc: Loc
116 |     name: str
117 |     value: TAST
118 | 
119 | 
120 | @record
121 | class If(TAST, NamedTuple):
122 |     loc: Loc
123 |     cond: TAST
124 |     iftrue: TAST
125 |     iffalse: TAST
126 | 
127 | 
128 | @record
129 | class Call(TAST, NamedTuple):
130 |     loc: Loc
131 |     callee: TAST
132 |     arg: TAST
133 | 
134 | 
135 | @record
136 | class Symbol(TAST, NamedTuple):
137 |     loc: Loc
138 |     name: str
139 | 
140 | 
141 | @record
142 | class Number(TAST, NamedTuple):
143 |     loc: Loc
144 |     value: number
145 | 
146 | 
147 | @record
148 | class Str(TAST, NamedTuple):
149 |     loc: Loc
150 |     value: str
151 | 
152 | 
153 | @record
154 | class HList(TAST, NamedTuple):
155 |     loc: Loc
156 |     seq: List[TAST]
157 | 
158 | 
159 | @record
160 | class HDict(TAST, NamedTuple):
161 |     loc: Loc
162 |     seq: List[Tuple[TAST, TAST]]
163 | 
164 | 
165 | def make_set(seq: List[TAST]):
166 |     return tuple((each, Void(each.loc)) for each in seq)
167 | 
168 | 
169 | @record
170 | class Tuple(TAST, NamedTuple):
171 |     loc: Loc
172 |     seq: Tuple[TAST, ...]
173 | 
174 | 
175 | @record
176 | class Return(TAST, NamedTuple):
177 |     loc: Loc
178 |     expr: TAST
179 | 
180 | 
181 | @record
182 | class Yield(TAST, NamedTuple):
183 |     loc: Loc
184 |     expr: TAST
185 | 
186 | 
187 | @record
188 | class BinSeq(TAST, NamedTuple):
189 |     loc: Loc
190 |     seq: List[TAST]
191 | 
192 | 
193 | @record
194 | class Infix(TAST, NamedTuple):
195 |     loc: Loc
196 |     precedence: int
197 |     op: str
198 | 
199 | 
200 | @record
201 | class Operator(TAST, NamedTuple):
202 |     loc: Loc
203 |     name: str
204 | 
205 | 
206 | @record
207 | class Void(TAST, NamedTuple):
208 |     loc: Loc
209 | 
210 | 
211 | @record
212 | class Alias(TAST, NamedTuple):
213 |     loc: Loc
214 |     imp_name: str
215 |     name: str
216 | 
217 | 
218 | @record
219 | class Doc(TAST, NamedTuple):
220 |     loc: Loc
221 |     text: str
222 | 
223 | 
224 | @record
225 | class Import(TAST, NamedTuple):
226 |     loc: Loc
227 |     imp_name: str
228 |     name: str
229 |     stuffs: List[Alias]
230 | 
231 | 
232 | @record
233 | class Module(NamedTuple):
234 |     stmts: Definition
235 |     doc: Doc
236 |     exports: List[Operator]
237 | 
238 | 
239 | def transform(f):
240 |     def ff(it):
241 |         return generic_visit(f(it))
242 | 
243 |     def generic_visit(ast: TAST):
244 |         def stream():
245 |             for key, value in ast.iter_fields:
246 |                 if type(value) is tuple or isinstance(value, list):
247 |                     yield key, list(ff(e) for e in value)
248 |                 else:
249 |                     yield key, ff(value)
250 | 
251 |         if hasattr(ast, 'iter_fields'):
252 | 
253 |             return type(ast)(**dict(stream()))
254 | 
255 |         return ast
256 | 
257 |     return ff
258 | 


--------------------------------------------------------------------------------
/reley/impl/grammar.py:
--------------------------------------------------------------------------------
  1 | RBNF=\
  2 | r"""
  3 | import std.common.[Space Name DoubleQuotedStr]
  4 | ignore [Space comment]
  5 | [python] import reley.impl.expr_based_ast.[*]
  6 | [python] import reley.impl.helper.[*]
  7 | [python] import functools.[*]
  8 | 
  9 | 
 10 | comment := R'(--.*)|(((\{\-\|)+?[\w\W]+?(\-\})+))'
 11 | docstr  := R'(\|\|\|.*)'
 12 | num := R'0[Xx][\da-fA-F]+|\d+(?:\.\d+|)(?:E\-{0,1}\d+|)'
 13 | lam := R'\\'
 14 | 
 15 | to_const cast := 'type' 'fn' 'def' '->' 'import' 'module'
 16 |                  '[|' '|]'
 17 |                  '{|' '|}'
 18 |                  'return' 'if' 'else' 'let' 'or' 'and' 'not' 'xor' 'where' 'as'
 19 |                  '::' 'in' '<-' 'then' 'infix' '=='
 20 | 
 21 | doc ::= items=docstr+ -> Doc(loc@items[0], '\n'.join(each.value[3:] for each in items))
 22 | identifier ::= mark=Name | '(' as mark ID=binOp ')' -> Operator(loc @ mark, ID.name if ID else mark.value)
 23 | 
 24 | def_lambda ::= mark=lam fn=lambda_trailer -> Lam(loc @ mark, None, fn.args, fn.body)
 25 | 
 26 | lambda_trailer ::= (mark='(' [args=arguments] ')' | args=(mark=arg){1 1}) ('->' body=expr_stmts |  body=lambda_trailer)
 27 |                    -> Lam(loc @ mark, None, args or (), body)
 28 | 
 29 | define     ::= [doc=doc] id=identifier fn=fun_trailer
 30 |                ->
 31 |                   if isinstance(fn, Lam):
 32 |                     return DefFun(loc @ id, id.name, fn.args, fn.body, doc)
 33 |                   else:
 34 |                     return DefVar(loc @ id, id.name, fn)
 35 | 
 36 | fun_trailer ::= '=' body=expr_stmts | ((mark='(' [args=arguments] ')' | args=(mark=arg){1 1}) fun=fun_trailer)
 37 |                 ->  Lam(loc @ mark, None, args or (), fun) if fun else body
 38 | 
 39 | defty ::= mark='type' id=identifier '=' ty=ty  -> DefTy(loc @ mark, id.name, ty)
 40 | 
 41 | arguments ::= head=arg tail=(',' arg)* -> [head, *tail[1::2]]
 42 | 
 43 | arg   ::= name=Name [':' ty=ty] -> Arg(loc @ name, name.value, ty)
 44 | 
 45 | ty    ::= it=expr -> it
 46 | 
 47 | 
 48 | alias_pair ::= imp_name=identifier ['as' name=identifier] -> Alias(loc @ imp_name, imp_name.name, name.name if name else imp_name.name)
 49 | 
 50 | dot_lst ::= head=alias_pair tail=(',' alias_pair)* -> (head, *tail[1::2])
 51 | 
 52 | 
 53 | wildcard ::= '*' -> 0
 54 | import_ ::= mark='import' names=(Name ('.' Name)*) ['as' name=Name] ['(' (lst=dot_lst | star=wildcard)')']
 55 |            -> imp_name = ''.join(map(lambda _: _.value, names))
 56 |               name = name.value if name else None
 57 |               if not lst and not name: name = imp_name
 58 |               Import(loc @ mark, imp_name, name, lst or star)
 59 | 
 60 | infix ::= mark='infix' precedence=num op=identifier -> Infix(loc @ mark, eval(precedence.value), op.name)
 61 | 
 62 | expr ::=| BIN=expr (binOp expr)+ as tail
 63 |         | JUST=factor
 64 |         ->  if BIN : return BinSeq(loc @ BIN, [BIN, *tail]) if tail else BIN
 65 |             return JUST
 66 | 
 67 | binOp   ::=
 68 |         | ('or' | '-' | 'and') as basic
 69 |         | '`' names=(~'`')+ '`'
 70 |         | ('*' | '^' | '%' | '&' | '@' | '$' | '+' | '/' | '|' | '>' | '<' | '==' | '~' | '.' | '?' | '!' | '::')+ as seq
 71 |         -> bin_op_rewrite(state.ctx.get)
 72 | 
 73 | factor ::= [neg='-'] call=call -> Call(loc @ neg, Symbol(loc@neg, "neg"), call) if neg else call
 74 | 
 75 | call ::= leader=atom tail=(atom{is_indented})*
 76 |          ->  reduce(lambda a, b: Call(loc @ a, a, b), tail, leader)
 77 | 
 78 | atom ::= | SYMBOL=identifier
 79 |          | IF='if' cond=expr 'then' iftrue=expr_stmts 'else' iffalse=expr_stmts
 80 |          | LET='let' stmts=stmts 'in' out=expr_stmts
 81 |          | RET='return' [expr=expr_stmts]
 82 |          | YIELD='yield' [expr=expr_stmts]
 83 |          | STRS=DoubleQuotedStr+
 84 |          | NUM=num
 85 |          | LITERAL=literal
 86 |          -> atom_rewrite(state.ctx.get)
 87 | 
 88 | tuple ::= '(' as mark [head=expr tail=(',' expr)*] ')'
 89 |           -> if tail: return Tuple(loc @ mark, (head, *tail[1::2]))
 90 |              if head:
 91 |                 head.loc.update(*(loc @ mark))
 92 |                 return head
 93 |              Void(loc@mark)
 94 | list  ::= '[' as mark  [head=expr tail=(',' expr)*] ']' -> HList(loc @ mark, (head, *tail[1::2]) if head else ())
 95 | 
 96 | set   ::= '{' as mark head=expr tail=(',' expr)* '}' -> HDict(loc @ mark, make_set(head, *tail[1::2]))
 97 | 
 98 | dict  ::= '{' as mark head=pair tail=(',' pair)* '}' -> HDict(loc @ mark, (head, *tail[1::2]))
 99 | 
100 | pair  ::= key=expr ':' value=expr -> (key, value)
101 | 
102 | literal ::= it=(tuple | list | set | dict | def_lambda) -> it
103 | 
104 | suites     ::= '{|' as mark expr=expr_stmts '|}'
105 |                -> expr.loc.update(*(loc @ mark))
106 |                   expr
107 | 
108 | expr_stmt  ::= expr=expr [';'] -> expr
109 | 
110 | expr_stmts ::= (leader=expr_stmt [(expr_stmt{is_aligned})+] as tail | '{|' expr_stmt+ as no_indented '|}') ['where' stmts=stmts]
111 |              -> suite = Suite(loc @ leader, no_indented or [leader, *tail])
112 |                 if stmts:
113 |                   return Where(loc @ leader, suite, stmts)
114 |                 suite
115 | stmt   ::=
116 |        | it=import_[';']
117 |        | it=define [';']
118 |        | it=defty  [';']
119 |        | it=infix  [';']
120 |        -> it
121 | 
122 | stmts  ::= leader=stmt [(stmt{is_aligned})+] as tail | '{|' stmt+ as no_indented '|}'
123 |            -> Definition(loc @ leader, no_indented or [leader, *tail])
124 | 
125 | module ::= [[doc=doc] 'module' [ exports=(identifier (',' identifier)*)] 'where'] it=stmts -> Module(it, doc, exports[::2] if exports else None)
126 | """
127 | 


--------------------------------------------------------------------------------
/reley/impl/grammar.rbnf:
--------------------------------------------------------------------------------
  1 | import std.common.[Space Name DoubleQuotedStr]
  2 | ignore [Space comment]
  3 | [python] import reley.impl.expr_based_ast.[*]
  4 | [python] import reley.impl.helper.[*]
  5 | [python] import functools.[*]
  6 | 
  7 | 
  8 | comment := R'(--.*)|(((\{\-\|)+?[\w\W]+?(\-\})+))'
  9 | docstr  := R'(\|\|\|.*)'
 10 | num := R'0[Xx][\da-fA-F]+|\d+(?:\.\d+|)(?:E\-{0,1}\d+|)'
 11 | lam := R'\\'
 12 | 
 13 | to_const cast := 'type' 'fn' 'def' '->' 'import' 'module'
 14 |                  '[|' '|]'
 15 |                  '{|' '|}'
 16 |                  'return' 'if' 'else' 'let' 'or' 'and' 'not' 'xor' 'where' 'as'
 17 |                  '::' 'in' '<-' 'then' 'infix' '=='
 18 | 
 19 | doc ::= items=docstr+ -> Doc(loc@items[0], '\n'.join(each.value[3:] for each in items))
 20 | identifier ::= mark=Name | '(' as mark ID=binOp ')' -> Operator(loc @ mark, ID.name if ID else mark.value)
 21 | 
 22 | def_lambda ::= mark=lam fn=lambda_trailer -> Lam(loc @ mark, None, fn.args, fn.body)
 23 | 
 24 | lambda_trailer ::= (mark='(' [args=arguments] ')' | args=(mark=arg){1 1}) ('->' body=expr_stmts |  body=lambda_trailer)
 25 |                    -> Lam(loc @ mark, None, args or (), body)
 26 | 
 27 | define     ::= [doc=doc] id=identifier fn=fun_trailer
 28 |                ->
 29 |                   if isinstance(fn, Lam):
 30 |                     return DefFun(loc @ id, id.name, fn.args, fn.body, doc)
 31 |                   else:
 32 |                     return DefVar(loc @ id, id.name, fn)
 33 | 
 34 | fun_trailer ::= '=' body=expr_stmts | ((mark='(' [args=arguments] ')' | args=(mark=arg){1 1}) fun=fun_trailer)
 35 |                 ->  Lam(loc @ mark, None, args or (), fun) if fun else body
 36 | 
 37 | defty ::= mark='type' id=identifier '=' ty=ty  -> DefTy(loc @ mark, id.name, ty)
 38 | 
 39 | arguments ::= head=arg tail=(',' arg)* -> [head, *tail[1::2]]
 40 | 
 41 | arg   ::= name=Name [':' ty=ty] -> Arg(loc @ name, name.value, ty)
 42 | 
 43 | ty    ::= it=expr -> it
 44 | 
 45 | 
 46 | alias_pair ::= imp_name=identifier ['as' name=identifier] -> Alias(loc @ imp_name, imp_name.name, name.name if name else imp_name.name)
 47 | 
 48 | dot_lst ::= head=alias_pair tail=(',' alias_pair)* -> (head, *tail[1::2])
 49 | 
 50 | 
 51 | wildcard ::= '*' -> 0
 52 | import_ ::= mark='import' names=(Name ('.' Name)*) ['as' name=Name] ['(' (lst=dot_lst | star=wildcard)')']
 53 |            -> imp_name = ''.join(map(lambda _: _.value, names))
 54 |               name = name.value if name else None
 55 |               if not lst and not name: name = imp_name
 56 |               Import(loc @ mark, imp_name, name, lst or star)
 57 | 
 58 | infix ::= mark='infix' precedence=num op=identifier -> Infix(loc @ mark, eval(precedence.value), op.name)
 59 | 
 60 | expr ::=| BIN=expr (binOp expr)+ as tail
 61 |         | JUST=factor
 62 |         ->  if BIN : return BinSeq(loc @ BIN, [BIN, *tail]) if tail else BIN
 63 |             return JUST
 64 | 
 65 | binOp   ::=
 66 |         | ('or' | '-' | 'and') as basic
 67 |         | '`' names=(~'`')+ '`'
 68 |         | ('*' | '^' | '%' | '&' | '@' | '$' | '+' | '/' | '|' | '>' | '<' | '==' | '~' | '.' | '?' | '!' | '::')+ as seq
 69 |         -> bin_op_rewrite(state.ctx.get)
 70 | 
 71 | factor ::= [neg='-'] call=call -> Call(loc @ neg, Symbol(loc@neg, "neg"), call) if neg else call
 72 | 
 73 | call ::= leader=atom tail=(atom{is_indented})*
 74 |          ->  reduce(lambda a, b: Call(loc @ a, a, b), tail, leader)
 75 | 
 76 | atom ::= | SYMBOL=identifier
 77 |          | IF='if' cond=expr 'then' iftrue=expr_stmts 'else' iffalse=expr_stmts
 78 |          | LET='let' stmts=stmts 'in' out=expr_stmts
 79 |          | RET='return' [expr=expr_stmts]
 80 |          | YIELD='yield' [expr=expr_stmts]
 81 |          | STRS=DoubleQuotedStr+
 82 |          | NUM=num
 83 |          | LITERAL=literal
 84 |          -> atom_rewrite(state.ctx.get)
 85 | 
 86 | tuple ::= '(' as mark [head=expr tail=(',' expr)*] ')'
 87 |           -> if tail: return Tuple(loc @ mark, (head, *tail[1::2]))
 88 |              if head:
 89 |                 head.loc.update(*(loc @ mark))
 90 |                 return head
 91 |              Void(loc@mark)
 92 | list  ::= '[' as mark  [head=expr tail=(',' expr)*] ']' -> HList(loc @ mark, (head, *tail[1::2]) if head else ())
 93 | 
 94 | set   ::= '{' as mark head=expr tail=(',' expr)* '}' -> HDict(loc @ mark, make_set(head, *tail[1::2]))
 95 | 
 96 | dict  ::= '{' as mark head=pair tail=(',' pair)* '}' -> HDict(loc @ mark, (head, *tail[1::2]))
 97 | 
 98 | pair  ::= key=expr ':' value=expr -> (key, value)
 99 | 
100 | literal ::= it=(tuple | list | set | dict | def_lambda) -> it
101 | 
102 | suites     ::= '{|' as mark expr=expr_stmts '|}'
103 |                -> expr.loc.update(*(loc @ mark))
104 |                   expr
105 | 
106 | expr_stmt  ::= expr=expr [';'] -> expr
107 | 
108 | expr_stmts ::= (leader=expr_stmt [(expr_stmt{is_aligned})+] as tail | '{|' expr_stmt+ as no_indented '|}') ['where' stmts=stmts]
109 |              -> suite = Suite(loc @ leader, no_indented or [leader, *tail])
110 |                 if stmts:
111 |                   return Where(loc @ leader, suite, stmts)
112 |                 suite
113 | stmt   ::=
114 |        | it=import_[';']
115 |        | it=define [';']
116 |        | it=defty  [';']
117 |        | it=infix  [';']
118 |        -> it
119 | 
120 | stmts  ::= leader=stmt [(stmt{is_aligned})+] as tail | '{|' stmt+ as no_indented '|}'
121 |            -> Definition(loc @ leader, no_indented or [leader, *tail])
122 | 
123 | module ::= [[doc=doc] 'module' [ exports=(identifier (',' identifier)*)] 'where'] it=stmts -> Module(it, doc, exports[::2] if exports else None)


--------------------------------------------------------------------------------
/reley/impl/helper.py:
--------------------------------------------------------------------------------
 1 | from rbnf.std.common import recover_codes
 2 | from .expr_based_ast import *
 3 | 
 4 | 
 5 | def is_indented(trailer, state):
 6 |     leader = state.ctx['leader']
 7 | 
 8 |     return leader.loc.colno < trailer.loc.colno
 9 | 
10 | 
11 | is_indented.name = 'is_indented'
12 | 
13 | 
14 | def is_aligned(trailer, state):
15 |     leader = state.ctx['leader']
16 |     colno1 = leader.loc.colno
17 |     colno2 = trailer.loc.colno
18 |     # THIS is a BUG in RBNF! colno could be less than 1 when at the very first of text!
19 |     return (colno1 is 0 and colno2 is 1) or colno1 == colno2
20 | 
21 | 
22 | is_aligned.name = 'is_aligned'
23 | 
24 | 
25 | def atom_rewrite(get):
26 |     suite_, num_, strs_, symbol_, if_, let_, ret_, yield_, lit_ = map(
27 |         get, ('SUITE', 'NUM', 'STRS', 'SYMBOL', 'IF', 'LET', 'RET', 'YIELD',
28 |               'LITERAL'))
29 |     if suite_:
30 |         mark = get('mark')
31 |         suite_.loc.update(loc @ mark)
32 |         return suite_
33 |     if num_: return Number(loc @ num_, eval(num_.value))
34 |     if strs_: return Str(loc @ strs_[0], ''.join(eval(_.value) for _ in strs_))
35 |     if symbol_: return Symbol(loc @ symbol_, symbol_.name)
36 |     if if_: return If(loc @ if_, get('cond'), get('iftrue'), get('iffalse'))
37 |     if let_: return Where(loc @ let_, get('out'), get('stmts'))
38 |     if ret_: return Return(loc @ ret_, get('expr'))
39 |     if yield_: return Yield(loc @ yield_, get('expr'))
40 |     if lit_: return lit_
41 |     raise TypeError
42 | 
43 | 
44 | def bin_op_rewrite(get):
45 | 
46 |     basic, names, seq = map(get, ('basic', 'names', 'seq'))
47 |     if basic:
48 |         return Operator(loc @ basic, basic.value)
49 |     if names:
50 |         return Operator(loc @ names[0], recover_codes(names))
51 |     if seq:
52 |         return Operator(loc @ seq[0], ''.join(map(lambda _: _.value, seq)))
53 |     raise TypeError
54 | 


--------------------------------------------------------------------------------
/reley/impl/precedence.py:
--------------------------------------------------------------------------------
 1 | from typing import Generic, Iterable, TypeVar, Optional, Iterator
 2 | from functools import reduce
 3 | from .expr_based_ast import Operator, Call, Symbol
 4 | 
 5 | T = TypeVar('T')
 6 | 
 7 | 
 8 | class TwoSideLink(Iterable, Generic[T]):
 9 |     def __init__(self,
10 |                  content: T,
11 |                  prev: 'Optional[TwoSideLink[T]]' = None,
12 |                  next: 'Optional[TwoSideLink]' = None):
13 |         self.content: T = content
14 |         self.next = next
15 |         self.prev = prev
16 | 
17 |     def __iter__(self) -> 'Iterator[TwoSideLink[T]]':
18 |         yield self
19 |         if self.next:
20 |             yield from self.next
21 | 
22 |     def __str__(self):
23 |         return 'L<{}>'.format(self.content)
24 | 
25 |     __repr__ = __str__
26 | 
27 |     @classmethod
28 |     def from_iter(cls, iterable: 'Iterable') -> 'Optional[TwoSideLink]':
29 |         if not iterable:
30 |             return None
31 |         s_iterable = iter(iterable)
32 |         try:
33 |             fst = cls(next(s_iterable))
34 |         except StopIteration:
35 |             return None
36 | 
37 |         reduce(lambda a, b: setattr(a, "next", cls(b)) or setattr(a.next, "prev", a) or a.next, s_iterable, fst)
38 |         return fst
39 | 
40 | 
41 | def bin_reduce(op_priorities):
42 |     def bin_reduce(seq: Iterable):
43 |         seq = TwoSideLink.from_iter(seq)
44 | 
45 |         def sort_by_func(e: 'TwoSideLink'):
46 |             return op_priorities[e.content.name]
47 | 
48 |         op_nodes = (each for each in seq if isinstance(each.content, Operator))
49 |         op_nodes = sorted(op_nodes, key=sort_by_func, reverse=True)
50 | 
51 |         bin_expr = None
52 | 
53 |         for each in op_nodes:
54 |             sym = Symbol(loc=each.content.loc, name=each.content.name)
55 |             bin_expr = Call(sym.loc, Call(sym.loc, sym, each.prev.content),
56 |                             each.next.content)
57 |             each.content = bin_expr
58 |             try:
59 |                 each.prev.prev.next = each
60 |                 each.prev = each.prev.prev
61 |             except AttributeError:
62 |                 pass
63 | 
64 |             try:
65 |                 each.next.next.prev = each
66 |                 each.next = each.next.next
67 |             except AttributeError:
68 |                 pass
69 | 
70 |         return bin_expr
71 | 
72 |     return bin_reduce
73 | 


--------------------------------------------------------------------------------
/reley/impl/pycompat.py:
--------------------------------------------------------------------------------
 1 | import sys
 2 | from .reley_import import find_reley_module_spec
 3 | 
 4 | 
 5 | class ReleyFinder:
 6 |     @classmethod
 7 |     def find_spec(cls, fullname: str, paths, target=None):
 8 | 
 9 |         return find_reley_module_spec(fullname)
10 | 
11 | 
12 | sys.meta_path.append(ReleyFinder)
13 | 


--------------------------------------------------------------------------------
/reley/impl/reley_import.py:
--------------------------------------------------------------------------------
  1 | import os
  2 | from importlib.machinery import ModuleSpec
  3 | from rbnf.easy import *
  4 | from rbnf.edsl.rbnf_analyze import check_parsing_complete
  5 | from Redy.Tools.PathLib import Path
  6 | from .grammar import RBNF
  7 | from .compiler import *
  8 | import sys, types
  9 | 
 10 | parse_fn = None
 11 | reley_module_specs = {}
 12 | 
 13 | 
 14 | @visit.case(Import)
 15 | def _(imp: Import, ctx: Ctx):
 16 |     reley_mod_ctx = None
 17 |     spec = find_reley_module_spec(imp.imp_name)
 18 |     if spec:
 19 |         reley_mod_ctx: Ctx = get_context_from_spec(spec)
 20 | 
 21 |     if imp.name:
 22 |         ctx.add_local(imp.name, Val())
 23 | 
 24 |     stuffs = imp.stuffs or (imp.stuffs is 0 and tuple(
 25 |         Alias(imp.loc, each, each) for each in reley_mod_ctx.exported))
 26 | 
 27 |     if stuffs:
 28 |         for each in stuffs:
 29 |             if reley_mod_ctx:
 30 |                 if each.imp_name in reley_mod_ctx.precedences:
 31 |                     ctx.precedences[each.name] = reley_mod_ctx.precedences[
 32 |                         each.imp_name]
 33 | 
 34 |                 ctx.add_local(each.name, reley_mod_ctx.symtb[each.imp_name])
 35 |             else:
 36 |                 ctx.add_local(each.name, Val())
 37 | 
 38 |     yield from wait(DECLARED)
 39 |     yield from wait(EVALUATED)
 40 |     yield from wait(RESOLVED)
 41 |     ctx.bc.append(Instr("LOAD_CONST", arg=0, lineno=imp.lineno + 1))
 42 |     ctx.bc.append(
 43 |         Instr(
 44 |             "LOAD_CONST",
 45 |             tuple(each.name for each in imp.stuffs) if imp.stuffs else
 46 |             ('*', ) if imp.stuffs is 0 else 0,
 47 |             lineno=imp.lineno + 1))
 48 |     ctx.bc.append(
 49 |         Instr("IMPORT_NAME", arg=imp.imp_name, lineno=imp.lineno + 1))
 50 |     if stuffs:
 51 |         for each in stuffs:
 52 |             ctx.bc.append(
 53 |                 Instr(
 54 |                     "IMPORT_FROM", arg=each.imp_name, lineno=each.lineno + 1))
 55 |             name = each.name
 56 |             if name in ctx.bc.cellvars:
 57 |                 ctx.bc.append(
 58 |                     Instr(
 59 |                         "STORE_DEREF", CellVar(name), lineno=each.lineno + 1))
 60 |             else:
 61 |                 ctx.bc.append(
 62 |                     Instr('STORE_FAST', name, lineno=each.lineno + 1))
 63 | 
 64 |     elif imp.stuffs is 0:
 65 |         ctx.bc.append(Instr("IMPORT_STAR", lineno=imp.lineno + 1))
 66 | 
 67 |     if stuffs:
 68 | 
 69 |         if not imp.name:
 70 |             ctx.bc.append(Instr("POP_TOP", lineno=imp.lineno + 1))
 71 |             return
 72 |     if imp.name and imp.name in ctx.bc.cellvars:
 73 |         ctx.bc.append(
 74 |             Instr("STORE_DEREF", CellVar(imp.name), lineno=imp.lineno + 1))
 75 |     else:
 76 |         ctx.bc.append(Instr('STORE_FAST', imp.name, lineno=imp.lineno + 1))
 77 | 
 78 | 
 79 | def get_parse_fn():
 80 |     global parse_fn
 81 | 
 82 |     if not parse_fn:
 83 |         language = Language('reley')
 84 |         file_path = Path(__file__).parent().into('grammar.rbnf')
 85 |         build_language(RBNF, language, str(file_path))
 86 |         lexer, impl, namespace = language.lexer, language.implementation, language.namespace
 87 |         top_parser = language.named_parsers['module']
 88 | 
 89 |         def match(text, filename) -> ze.ResultDescription:
 90 |             state = State(impl, filename=filename)
 91 |             tokens = tuple(
 92 |                 setattr(each, 'filename', filename) or each
 93 |                 for each in lexer(text))
 94 |             result: Result = top_parser.match(tokens, state)
 95 | 
 96 |             return ze.ResultDescription(state, result.value, tokens)
 97 | 
 98 |         parse_fn = match
 99 | 
100 |     return parse_fn
101 | 
102 | 
103 | def print_ret(f):
104 |     def call(*args, **kwargs):
105 |         ret = f(*args, **kwargs)
106 |         print(ret)
107 |         return ret
108 | 
109 |     return call
110 | 
111 | 
112 | def get_reley_module_spec_from_path(names, module_path):
113 |     with Path(module_path).open('r') as fr:
114 |         spec = ModuleSpec(names, ReleyLoader(names, module_path))
115 |         reley_module_specs[names] = spec
116 |         code = fr.read()
117 |         parse = get_parse_fn()
118 | 
119 |         result = parse(code, module_path)
120 |         check_parsing_complete(code, result.tokens, result.state)
121 |         ast = result.result
122 |         ctx = Ctx({}, {}, Bytecode(), {}, False)
123 |         ctx.visit(ast)
124 |         ctx.bc.filename = module_path
125 |         spec.source_code = code
126 |         spec.context = ctx
127 |         return spec
128 | 
129 | 
130 | def find_reley_module_spec(names, reload=False):
131 | 
132 |     reley_paths = sys.path
133 | 
134 |     for reley_path in reley_paths:
135 | 
136 |         if not reload:
137 |             spec = reley_module_specs.get(names)
138 |             if spec:
139 |                 return spec
140 | 
141 |         path_secs = (reley_path, *names.split('.'))
142 |         *init, end = path_secs
143 |         directory = Path(*init)
144 |         if not directory.is_dir():
145 |             continue
146 |         end = end + '.hs'
147 |         for each in os.listdir(str(directory)):
148 |             if each.lower() == end:
149 |                 module_path = directory.into(each)
150 |                 return get_reley_module_spec_from_path(names, str(module_path))
151 | 
152 | 
153 | class ReleyLoader:
154 |     def __init__(self, mod_name, mod_path):
155 |         self.mod_name = mod_name
156 |         self.mod_path = mod_path
157 | 
158 |     def create_module(self, spec):
159 |         doc = spec.context.bc.docstring
160 |         mod = types.ModuleType(self.mod_name, doc)
161 |         return mod
162 | 
163 |     def exec_module(self, module):
164 |         f = self.mod_path
165 |         setattr(module, '__path__', f)
166 |         setattr(module, '__package__', self.mod_name)
167 |         setattr(module, '__loader__', self)
168 |         code: Bytecode = module.__spec__.context.bc
169 |         code.filename = str(self.mod_path)
170 | 
171 |         exec(code.to_code(), module.__dict__)
172 | 
173 | 
174 | def get_context_from_spec(spec: ModuleSpec) -> Ctx:
175 |     return getattr(spec, 'context')
176 | 


--------------------------------------------------------------------------------
/reley/prelude.hs:
--------------------------------------------------------------------------------
 1 | module ($), (+), (-), (*), (/), (//), (`in`), attr, contains where
 2 | import operator (add, sub, eq, mul, truediv, floordiv, contains, mod)
 3 | import toolz (curry)
 4 | 
 5 | infix 0 ($)
 6 | infix 10 (+)
 7 | infix 10 (-)
 8 | infix 20 (*)
 9 | infix 20 (/)
10 | infix 20 (//)
11 | infix 40 (`contains`)
12 | infix 40 (`in`)
13 | infix 50 (`attr`)
14 | 
15 | ||| use `f $ arg` to avoid nested parentheses.
16 | ($) a b = a b
17 | (+) = curry add
18 | (-) = curry sub
19 | (*) = curry mul
20 | (/) = curry truediv
21 | (%) = curry mod
22 | (//) = curry floordiv
23 | 
24 | flip f a b = f b a
25 | 
26 | attr = curry getattr
27 | contains = curry contains
28 | (`in`) = flip contains
29 | 
30 | 
31 | 
32 | 
33 | 
34 | 
35 | 


--------------------------------------------------------------------------------
/reley/unification/__init__.py:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/thautwarm/reley/17e5730c1afbefaeb22103719c85f08333c65937/reley/unification/__init__.py


--------------------------------------------------------------------------------
/sample_test.py:
--------------------------------------------------------------------------------
 1 | from reley.impl.pycompat import *
 2 | import os
 3 | import haskell_test.comment
 4 | import haskell_test.import_hs
 5 | import haskell_test.operator
 6 | import haskell_test.sum_n
 7 | import haskell_test.test_prelude
 8 | 
 9 | from haskell_test.sum_n import m_sum
10 | lst = (5, (2, (1, ())))
11 | print(m_sum(lst))
12 | 


--------------------------------------------------------------------------------
/setup.py:
--------------------------------------------------------------------------------
 1 | from setuptools import setup
 2 | from Redy.Tools.Version import Version
 3 | from Redy.Tools.PathLib import Path
 4 | 
 5 | with open('./README.md', encoding='utf-8') as f:
 6 |     readme = f.read()
 7 | 
 8 | version_filename = 'next_version'
 9 | with open(version_filename) as f:
10 |     version = Version(f.read().strip())
11 | 
12 | with Path("./reley/__release_info__.py").open('w') as f:
13 |     f.write('__VERSION__ = {}\n__AUTHOR__ = "thautwarm"'.format(
14 |         repr(str(version))))
15 | 
16 | setup(
17 |     name='reley',
18 |     version=str(version),
19 |     keywords='haskell, language, static typed, compiled',
20 |     description=
21 |     'A static compiled language on Python with type safety, efficiency and syntax sugars.',
22 |     long_description=readme,
23 |     long_description_content_type='text/markdown',
24 |     license='MIT',
25 |     python_requires='>=3.6.0',
26 |     url='https://github.com/thautwarm/reley',
27 |     author='thautwarm',
28 |     author_email='twshere@outlook.com',
29 |     packages=['reley', 'reley.impl'],
30 |     entry_points={'console_scripts': ['reley=reley.impl.cli:main']},
31 |     package_data={'reley': ['impl/grammar.rbnf', '*.hs']},
32 |     install_requires=['Redy', 'rbnf>=0.3.21', 'wisepy', 'bytecode==0.7.0', 'toolz'],
33 |     platforms='any',
34 |     classifiers=[
35 |         'Programming Language :: Python :: 3.6',
36 |         'Programming Language :: Python :: 3.7',
37 |         'Programming Language :: Python :: Implementation :: CPython'
38 |     ],
39 |     zip_safe=False)
40 | 
41 | version.increment(version_number_idx=2, increment=1)
42 | if version[2] is 42:
43 |     version.increment(version_number_idx=1, increment=1)
44 | if version[1] is 42:
45 |     version.increment(version_number_idx=0, increment=1)
46 | 
47 | with open(version_filename, 'w') as f:
48 |     f.write(str(version))
49 | 


--------------------------------------------------------------------------------