Rob Rix
ae6b2849f2
Merge pull request #404 from github/none-is-the-loneliest-umber
...
Compile Python None expressions.
2019-12-16 09:34:05 -05:00
Patrick Thomson
e115f4ad59
Compile Python None expressions.
2019-12-13 12:51:23 -05:00
Patrick Thomson
e137f4c68b
Compile Python lambdas.
...
Lambdas are so hilariously crippled in Python that they're
significantly easier to compile than functions. Indeed, the resulting
core looks much like a function definition, without a `rec` binding.
2019-12-13 12:14:04 -05:00
Patrick Thomson
862ee92eb8
Fix semantic-python tests.
2019-12-11 15:47:03 -05:00
Rob Rix
df43078a65
Merge branch 'master' into fused-effects-one-dot-zero
2019-12-10 14:48:48 -05:00
Patrick Thomson
91d0d8e019
Work around missing MonadFail instance for Either String.
2019-12-05 15:49:01 -05:00
Patrick Thomson
615931890b
Restore the original location of eliminateFailures.
2019-12-05 15:10:10 -05:00
Patrick Thomson
37f70c8e28
Express eliminateFailures with Syntax.Term.handle.
2019-12-05 15:07:32 -05:00
Patrick Thomson
2e39e129cd
Make semantic-python tests work.
2019-11-08 22:37:17 -05:00
Patrick Thomson
7db0a6e61c
hlint
2019-10-31 14:17:45 -04:00
Patrick Thomson
c21828efc2
More unused imports.
2019-10-31 13:57:47 -04:00
Patrick Thomson
b91fbf065e
Remove unused import and sort them.
2019-10-30 15:43:32 -04:00
Patrick Thomson
80587be6cc
Adjust prelude definitions since we can't yet assign to slots.
2019-10-30 15:13:34 -04:00
Patrick Thomson
f4d70c0c21
Align some definitions.
2019-10-30 13:51:51 -04:00
Patrick Thomson
ebb74b30cb
Parse result directive RHS values into Concrete values.
2019-10-30 13:49:54 -04:00
Patrick Thomson
45864480e0
clean up language, in a literal sense
2019-10-30 13:40:36 -04:00
Patrick Thomson
c2bce9d76a
Give tree equality its own assertion function
2019-10-30 13:33:07 -04:00
Patrick Thomson
edaac52ebd
extract readDirectivesFromFile into the Directives module
2019-10-30 13:29:18 -04:00
Patrick Thomson
3bf5c415f1
Clean up milestoneFixtures.
2019-10-30 13:20:26 -04:00
Patrick Thomson
630f2fcb3d
Initial version of this before I go on a refactoring spree.
2019-10-30 13:13:53 -04:00
Patrick Thomson
edd83d466f
Merge branch 'look-up-its-a-core' into compile-string-literals
2019-10-23 14:52:29 -04:00
Patrick Thomson
bd24ff7daf
Merge remote-tracking branch 'origin/master' into hlint-in-ci-again
2019-10-21 15:28:27 -04:00
Patrick Thomson
a273f5881c
Make it more accurate now that eval is not a special node.
2019-10-21 15:25:54 -04:00
Patrick Thomson
e607d9c011
Adjust the name of this test.
2019-10-21 15:25:28 -04:00
Patrick Thomson
b06b3338f8
Unused pragmas.
2019-10-21 14:59:42 -04:00
Patrick Thomson
386e8317dc
lint semantic-python
2019-10-21 14:09:20 -04:00
Patrick Thomson
ff23c301fb
don't worry about this since it's a known bug
2019-10-18 10:22:19 -04:00
Patrick Thomson
01b4a23b23
Use rec so functions can refer to themselves in their bodies.
...
Code like the following kind is legal in Python:
```python
def recursive(a): return recursive
```
This implies that function and class definitions need to use the Core
`rec` construct so that their bodies have an appropriate entry in the scope.
2019-10-16 17:34:43 -04:00
Patrick Thomson
daf12b5132
Integrate prelude into the test suite.
2019-10-15 13:10:18 -04:00
Patrick Thomson
5578e42989
Call the type function inside the __semantic_prelude global.
2019-10-15 12:46:32 -04:00
Patrick Thomson
5566bac682
Compile class definitions.
2019-10-14 11:48:58 -04:00
Patrick Thomson
12f096fb75
Merge branch 'master' into semantic-analysis
2019-10-11 17:02:47 -04:00
Patrick Thomson
bb686ff481
Merge pull request #334 from github/rename-core-file-to-analysis-file
...
Rename Core.File to Analysis.File
2019-10-11 17:02:19 -04:00
Rob Rix
d433b41492
Merge branch 'master' into generalize-analysis-over-the-name-type
2019-10-11 16:39:41 -04:00
Rob Rix
30c447a5ec
Merge pull request #331 from github/compile-python-function-decorators
...
Compile Python function decorators and finish milestone #2 .
2019-10-11 14:51:34 -04:00
Rob Rix
35be96fbe7
Merge branch 'master' into compile-python-calls
2019-10-11 14:24:26 -04:00
Rob Rix
6b9ba62c8c
Rename Core.Core.* to Core.*.
2019-10-11 13:50:40 -04:00
Patrick Thomson
089b45ff49
Merge branch 'compile-python-calls' into compile-python-function-decorators
2019-10-11 13:18:37 -04:00
Patrick Thomson
674833b2b7
Merge remote-tracking branch 'origin/master' into compile-python-calls
2019-10-11 13:15:49 -04:00
Rob Rix
85d09b5116
Rename Core.File to Analysis.File.
2019-10-11 12:37:11 -04:00
Rob Rix
91f46f5128
Correct another import.
2019-10-11 12:23:13 -04:00
Rob Rix
94fc6100d6
Correct a couple of instances.
2019-10-11 12:23:09 -04:00
Rob Rix
a05bb26c9f
Use Path.toString instead of show.
2019-10-11 12:13:57 -04:00
Patrick Thomson
2b3acea5fb
Add unit tests.
2019-10-11 11:50:22 -04:00
Patrick Thomson
1ee608750c
Merge remote-tracking branch 'origin/master' into compile-python-calls
2019-10-11 11:15:56 -04:00
Rob Rix
c31b6a072f
Fix the tests.
2019-10-10 18:08:25 -04:00
Rob Rix
ee673336e5
Fix up the tests.
2019-10-10 18:00:53 -04:00
Rob Rix
d2c1d879c0
Merge branch 'master' into core-factoring
2019-10-10 17:14:42 -04:00
Patrick Thomson
ad385c93ae
Merge fallout.
2019-10-10 16:12:16 -04:00
Patrick Thomson
e21d35d98e
Merge remote-tracking branch 'origin/master' into separate-file-and-span-annotations
2019-10-10 15:42:53 -04:00
