Patrick Thomson
674833b2b7
Merge remote-tracking branch 'origin/master' into compile-python-calls
2019-10-11 13:15:49 -04:00
Rob Rix
68b3286796
Merge branch 'master' into core-factoring
2019-10-11 11:51:17 -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
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
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
Patrick Thomson
ae1430c6a2
Merge branch 'standardize-compilation-names' into compile-python-calls
2019-10-09 12:57:38 -04:00
Patrick Thomson
9091a43804
s/compileCC/compile
2019-10-09 12:55:15 -04:00
Patrick Thomson
3f539abfb6
Make compile interface internal and provide toplevelCompile instead.
2019-10-09 12:47:03 -04:00
Patrick Thomson
dab8a04266
Merge remote-tracking branch 'origin/master' into compile-python-calls
2019-10-09 11:52:10 -04:00
Rob Rix
7d0eb24bb7
🔥 a redundant language extension.
2019-10-08 16:08:22 -04:00
Rob Rix
e99116d030
Alignment.
2019-10-08 16:07:24 -04:00
Rob Rix
c98ab329a2
🔥 redundant parens.
2019-10-08 16:06:35 -04:00
Rob Rix
b8812623ce
Further purging of language extensions.
2019-10-08 16:04:20 -04:00
Rob Rix
5928991c72
🔥 a redundant import.
2019-10-08 16:02:29 -04:00
Rob Rix
b25c92bea0
Reformat the language extensions, I guess.
2019-10-08 16:00:42 -04:00
Rob Rix
d688109c81
🔥 DerivingStrategies.
2019-10-08 16:00:04 -04:00
Rob Rix
0206995e30
🔥 DeriveAnyClass.
2019-10-08 15:59:12 -04:00
Rob Rix
bfc998cdc0
🔥 a spurious MultiParamTypeClasses.
2019-10-08 15:58:26 -04:00
Rob Rix
29df1afb7b
Project using Prj.
2019-10-08 15:46:49 -04:00
Rob Rix
1aa33a2123
We don’t need DerivingVia now.
2019-10-08 15:46:04 -04:00
Rob Rix
a29670de49
🔥 GCompileSum.
2019-10-08 15:45:48 -04:00
Rob Rix
cb7ddc22a8
🔥 CompileSum.
2019-10-08 15:45:29 -04:00
Rob Rix
80b43c4009
Specialize the instance for :+:.
2019-10-08 15:45:08 -04:00
Rob Rix
1506aed1a7
Use GND for the PrimaryExpression instance.
2019-10-08 15:44:19 -04:00
Rob Rix
51e74b9b1e
Update semantic-python.
2019-10-08 15:01:34 -04:00
Rob Rix
a67b67db6f
Merge branch 'master' into precise-json
2019-10-08 14:36:36 -04:00
Patrick Thomson
665429fa92
We have these JSON instances already.
2019-10-07 20:16:54 -04:00
Patrick Thomson
8d9c7b9277
Unnecessary parens.
2019-10-07 17:46:07 -04:00
Patrick Thomson
a001a02b5c
Formatting.
2019-10-07 17:46:06 -04:00
Patrick Thomson
7eaf7423e0
Fix the generators and kill some unused imports.
2019-10-07 17:45:53 -04:00
Patrick Thomson
ae46a7b105
Make Data.Name.Name a newtype rather than a synonym.
...
The fact that `Name` was a simple alias for `Text` was creeping into
the error messages I'm seeing in `semantic-python`, which was a bit of
a buzzkill. This remedies that.
2019-10-07 17:45:53 -04:00
Rob Rix
dcc228d1fa
Update for the new shape of Name.
2019-10-07 17:36:35 -04:00