Ayman Nadeem
1ab09bd253
import AST.Parse
2020-05-08 14:53:00 -04:00
Ayman Nadeem
9255d5c46f
Update Element.hs
2020-05-08 14:52:02 -04:00
Ayman Nadeem
9c812a7ffb
remove ddump-splices from Python AST
2020-05-08 14:51:50 -04:00
Ayman Nadeem
40641dbb6e
removed shapeParameterName for now
2020-05-08 14:44:58 -04:00
Ayman Nadeem
b55b6260b7
fix ToTags instance for AssignmentExpression
2020-05-07 16:36:24 -04:00
Ayman Nadeem
719395347a
ToTags instance for VariableDeclarator now wraps appropriate types in Parse.Success
2020-05-07 16:22:11 -04:00
Ayman Nadeem
6d13aa1491
use EPrj in NewExpression
2020-05-07 16:16:21 -04:00
Ayman Nadeem
8e3b0ee31e
fix CallExpression
2020-05-07 16:10:32 -04:00
Ayman Nadeem
329cbbbe66
use new EPrj pattern synonym on these sub expressions
2020-05-07 15:33:49 -04:00
Ayman Nadeem
e84377b548
add Parse.Success to ToTags instances
2020-05-07 15:28:53 -04:00
Ayman Nadeem
edba61ea77
update ToTags instance for Ts.Pair to wrap kvs in Parse.Success
2020-05-07 15:28:10 -04:00
Ayman Nadeem
acdb366ee0
update ToTags instance for MethodDefinition
2020-05-07 15:27:35 -04:00
Ayman Nadeem
acc0ceaa26
export EPrj pattern synonym
2020-05-07 15:27:08 -04:00
Ayman Nadeem
4fec608d3f
need AST.Parse for Parse.Err
2020-05-07 15:26:57 -04:00
Ayman Nadeem
f75a056fbb
introduce pattern synonym for matching on Success and Prj
2020-05-07 15:26:42 -04:00
Ayman Nadeem
9157a5257a
remove -ddump-splices used for local testing
2020-05-07 15:25:00 -04:00
Ayman Nadeem
839527d0fc
success-ful
2020-05-07 13:39:32 -04:00
Ayman Nadeem
09e20bba15
unmarshalField instance still needed because we want to use Err to build product types
2020-05-07 13:32:23 -04:00
Ayman Nadeem
505cf319ba
wrap ToTags instances in Parse.Succeed, the Err constructor
2020-05-07 13:26:31 -04:00
Ayman Nadeem
65181064d1
Parse.Err doesn't parameterize our typeclass anymore
2020-05-07 13:26:02 -04:00
Ayman Nadeem
ba3059d7f6
we no longer need to support f :: (* -> *)
2020-05-07 13:25:48 -04:00
Ayman Nadeem
e48a0fe029
Remove unmarshal instance for Err, as we no longer need this
2020-05-07 13:24:21 -04:00
Ayman Nadeem
c9f0deabdb
success is a noun (and a journey)
2020-05-07 13:07:01 -04:00
Ayman Nadeem
d976447be8
remove f from token now that we no longer parameterize our programs with it
2020-05-07 13:06:07 -04:00
Ayman Nadeem
ce6ee75d58
Token no longer has the generalized f param with (* -> *)
2020-05-07 12:46:15 -04:00
Ayman Nadeem
7700575a58
revert Language.LANGUAGE files to original state
2020-05-07 11:42:12 -04:00
Ayman Nadeem
72d8ad5792
remove shapeParameterName from all generated datatypes and hardcode Parse.Err when building product types
2020-05-07 11:37:29 -04:00
Ayman Nadeem
3e1c267df3
remove AllowAmbiguousTypes now that I'm making things explicit
2020-05-05 16:06:47 -04:00
Ayman Nadeem
a6a1cac861
language extension cleanup
2020-05-05 15:58:15 -04:00
Ayman Nadeem
dd979059f1
add ConstaintKinds extension
2020-05-05 15:57:30 -04:00
Ayman Nadeem
2783176eaf
parameterize t with Parse.Err for Traversable1 constraint
2020-05-05 15:57:16 -04:00
Ayman Nadeem
5c1a24d81c
TS.SwitchDefault
2020-05-05 15:31:19 -04:00
Ayman Nadeem
8e70dea238
provide explicit kind signature for t
2020-05-04 19:24:55 -04:00
Ayman Nadeem
46a3b615a7
parameterize typeclass with Parse.Err
2020-05-04 19:24:29 -04:00
Ayman Nadeem
8867760323
remove introduction of Error type from instance heads
2020-05-04 19:24:09 -04:00
Jinxuan Zhu
eebc48403b
Refactor the implementation of joinPaths
2020-05-01 23:51:02 -05:00
Jinxuan Zhu
7f18e26e2f
Refactor the tests of joinPaths
2020-05-01 22:24:19 -05:00
Ayman Nadeem
16c9b91040
add Parse.Err parameter to tags instances
2020-05-01 16:39:45 -04:00
Ayman Nadeem
065ec43b7b
Merge branch 'master' into codegen-cleanup
2020-05-01 11:55:59 -04:00
Patrick Thomson
66103a1b99
Merge pull request #546 from github/warn-me-no-more
...
Fix annoying warning re. inter-project dependencies.
2020-04-30 17:24:20 -04:00
Patrick Thomson
f829708bbd
Fix annoying warning re. inter-project dependencies.
...
Building `semantic-python` would result in a warning like this:
```
Warning: The package has an extraneous version range for a dependency on an
internal library: semantic-python ==0.0.0.0. This version range includes the
current package but isn't needed as the current package's library will always
be used.
```
Removing this indeed-extraneous bound makes it go away.
2020-04-30 17:05:13 -04:00
Ayman Nadeem
2f6f950edf
Merge branch 'master' into codegen-cleanup
2020-04-30 13:14:10 -04:00
Timothy Clem
452488ca67
Merge pull request #544 from github/fix-tag-spans
...
Constrain Loc for tags to the identifer
2020-04-29 12:56:56 -07:00
Ayman Nadeem
916d5a4a5e
parameterize TypeScript program with Err
2020-04-29 13:56:35 -04:00
Ayman Nadeem
effeebaee1
parameterize TSX program with Err
2020-04-29 13:56:26 -04:00
Ayman Nadeem
00b6a00492
import AST.Parse
2020-04-29 13:56:18 -04:00
Ayman Nadeem
d7c5c587b4
parameterize PHP program with Err
2020-04-29 13:56:05 -04:00
Ayman Nadeem
f98b7e3b89
parameterize JSON program with Err instead of Identity
2020-04-29 13:55:56 -04:00
Ayman Nadeem
188fe07b11
parameterize Java program with Err
2020-04-29 13:55:36 -04:00
Ayman Nadeem
30323a7231
parameterize Go program with Err
2020-04-29 13:55:27 -04:00