Patrick Thomson
|
6c3a08c735
|
save a ton of code
|
2020-06-25 08:56:09 -04:00 |
|
Patrick Thomson
|
3aecbcc98a
|
Merge remote-tracking branch 'origin/master' into bazel-experiments
|
2020-06-23 11:03:39 -04:00 |
|
Patrick Thomson
|
801ef3bfc3
|
use the same GHC warnings everywhere
|
2020-06-23 09:45:10 -04:00 |
|
Patrick Thomson
|
16ae3ffb9f
|
add dependencies on node-types files
|
2020-06-10 12:08:45 -04:00 |
|
Patrick Thomson
|
ed07e1c319
|
getting closer
|
2020-06-09 14:56:19 -04:00 |
|
Patrick Thomson
|
b208bb91ad
|
Merge remote-tracking branch 'origin/master' into bazel-experiments
|
2020-06-09 14:35:24 -04:00 |
|
Patrick Thomson
|
b51a27118f
|
add more of the bazel subprojects
|
2020-06-09 13:52:39 -04:00 |
|
Ayman Nadeem
|
6107f56012
|
Merge branch 'master' into codegen-cleanup
|
2020-06-08 13:42:45 -04:00 |
|
Timothy Clem
|
2e44d43452
|
Generate Def/Ref at moment of tagging
|
2020-06-04 10:39:15 -07:00 |
|
Timothy Clem
|
38a7158b20
|
Move the rest of the languages over to generated datatypes
|
2020-06-04 09:53:17 -07:00 |
|
Ayman Nadeem
|
0d83d7deda
|
fix Typescript tags incomplete patterns warnings
|
2020-06-01 17:35:03 -04:00 |
|
Ayman Nadeem
|
4f493028aa
|
fix TypeScript tests for precise ASTs
|
2020-05-21 14:30:00 -04:00 |
|
Ayman Nadeem
|
825266b8ee
|
don't warn on incomplete patterns
|
2020-05-18 18:29:56 -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
|
839527d0fc
|
success-ful
|
2020-05-07 13:39:32 -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
|
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 |
|
Ayman Nadeem
|
16c9b91040
|
add Parse.Err parameter to tags instances
|
2020-05-01 16:39:45 -04:00 |
|
Ayman Nadeem
|
2f6f950edf
|
Merge branch 'master' into codegen-cleanup
|
2020-04-30 13:14:10 -04:00 |
|
Ayman Nadeem
|
916d5a4a5e
|
parameterize TypeScript program with Err
|
2020-04-29 13:56:35 -04:00 |
|
Ayman Nadeem
|
cdcafd612e
|
add QuantifiedConstraints extension to AST modules for each supported lang
|
2020-04-28 13:50:24 -04:00 |
|
Ayman Nadeem
|
7c6718cb88
|
add KindSignatures, StandaloneDeriving and TypeOperators to all Language.LANG.AST files
|
2020-04-28 11:07:08 -04:00 |
|
Timothy Clem
|
a1edfa5753
|
Whitespace fixes
|
2020-04-27 13:19:50 -07:00 |
|
Timothy Clem
|
b3d7de8b51
|
Properly separate source line Loc from identifier Loc
|
2020-04-27 09:14:24 -07:00 |
|
Ayman Nadeem
|
d70db96038
|
Merge branch 'master' into codegen-cleanup
|
2020-04-22 10:16:05 -04:00 |
|
Ayman Nadeem
|
7834a7b1c0
|
update main-is for test suites in language cabal files
|
2020-04-20 11:53:47 -04:00 |
|
Ayman Nadeem
|
9f9e481da2
|
rename TypeScript Test to PreciseTest
|
2020-04-20 11:46:49 -04:00 |
|
Patrick Thomson
|
8d62ad3b91
|
Merge remote-tracking branch 'origin/master' into codegen-cleanup
|
2020-04-01 11:05:40 -04:00 |
|
Timothy Clem
|
958ff310b0
|
Continue to refine javascript method/function tagging
|
2020-03-31 14:12:34 -07:00 |
|
Rick Winfrey
|
9a7ed9d294
|
Bump to semantic-source 0.1.0
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
|
2020-03-23 13:40:50 -07:00 |
|
Timothy Clem
|
f404eb9a03
|
Detect and tag functions in variable_declarators
|
2020-03-13 14:52:45 -07:00 |
|
Timothy Clem
|
a135e88791
|
Bring back tree-sitter corpus for tsx and typescript
|
2020-02-20 14:22:24 -08:00 |
|