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
2b1b2f6223
Semantic files are .score according to @robrix .
2019-10-15 11:28:01 -04:00
Patrick Thomson
a866007d56
Define object
in the Prelude.
2019-10-14 16:37:59 -04:00
Patrick Thomson
64015c23ae
Cleanup.
2019-10-14 12:03:53 -04:00
Patrick Thomson
863691a6ac
stray debug
2019-10-14 11:53:21 -04:00
Patrick Thomson
c524d1d150
Add Prelude.
2019-10-14 11:51:13 -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
Patrick Thomson
fa8bd3cf08
Merge fallout.
2019-10-11 15:05:12 -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
3a464355bd
semantic-python’s tests depend on semantic-analysis.
2019-10-11 12:56:44 -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
Rob Rix
37b723aa81
Merge branch 'core-factoring' into eliminate-core-loc
2019-10-11 11:51:34 -04:00
Rob Rix
68b3286796
Merge branch 'master' into core-factoring
2019-10-11 11:51:17 -04:00
Patrick Thomson
2b3acea5fb
Add unit tests.
2019-10-11 11:50:22 -04:00
Patrick Thomson
2d930aa19f
Compile python function decorators and finish milestone #2 .
2019-10-11 11:49:52 -04:00
Patrick Thomson
c41b9cdc97
Merge branch 'compile-python-calls' into compile-python-function-decorators
2019-10-11 11:46:33 -04:00
Patrick Thomson
22ca632cc8
Merge fallout.
2019-10-11 11:26:50 -04:00
Patrick Thomson
1ee608750c
Merge remote-tracking branch 'origin/master' into compile-python-calls
2019-10-11 11:15:56 -04:00
Patrick Thomson
d040766c2c
Address Rob's suggestions.
2019-10-11 09:26:44 -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
f4c4a37c44
Fix imports.
2019-10-10 17:59:50 -04:00
Patrick Thomson
4a9d1ec28c
Remove unnecessary Applicative constraint from locate.
...
Now that syntax comes with paths, `locate` doesn't need to ask any
calling context for path information, so this function can be pure. I
was a fan of the way that the `>>= locate it` pattern looked, but this
is simpler and, given some slight textual fixups, as readable as before.
2019-10-10 17:53:56 -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
Rob Rix
7df71e359e
Replace Core.Term with Syntax.Term.
2019-10-10 15:17:22 -04:00
Rob Rix
d7dc440a30
Move all the Data.* modules into Core.* instead.
2019-10-10 15:07:49 -04:00
Patrick Thomson
7d39423d26
Merge remote-tracking branch 'origin/master' into proper-continuations
2019-10-10 14:43:56 -04:00
Rob Rix
13907fd269
Correct the semantic-python tests.
2019-10-10 14:18:56 -04:00
Rob Rix
1166a1c789
🔥 locFromTSSpan.
2019-10-10 14:14:04 -04:00
Patrick Thomson
3fa80d5095
Fix Rob's suggestions.
2019-10-10 10:30:42 -04:00
Patrick Thomson
a1c9547c8f
Compile Python decorators.
2019-10-09 17:41:57 -04:00
Patrick Thomson
fc29ea0655
Double whoops
2019-10-09 16:43:45 -04:00
Patrick Thomson
b58abb4a85
Whoops
2019-10-09 16:39:44 -04:00
Patrick Thomson
f5c9697357
convert Call to pass its arguments properly.
2019-10-09 15:01:03 -04:00
Patrick Thomson
ccfa49aaee
Merge branch 'proper-continuations' into compile-python-calls
2019-10-09 14:52:50 -04:00
Patrick Thomson
e419e33a50
Make compile interface use a more powerful continuation.
2019-10-09 14:50:53 -04:00
Patrick Thomson
cc572947c2
account for new compilation
2019-10-09 12:59:30 -04:00