1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

135 Commits

Author SHA1 Message Date
joshvera
09304a5df2 Add strictness annotations to a few types 2016-10-12 16:34:12 -04:00
Rick Winfrey
9783aa4b30 Add Import / Export Categories 2016-10-06 15:18:09 -05:00
joshvera
4f41619c8e Merge remote-tracking branch 'origin/master' into rws-large-diffs 2016-10-05 12:17:29 -04:00
Rick Winfrey
6422f19170 Add Module Category 2016-10-03 17:18:09 -05:00
joshvera
bfe57829d6 Merge remote-tracking branch 'origin/master' into rws-large-diffs 2016-09-27 10:34:19 -04:00
Timothy Clem
0b2f26a077 Merge remote-tracking branch 'origin/master' into improve-number-summaries 2016-09-19 13:08:15 -07:00
Timothy Clem
eadde3b9a8 Introduce a MathOperator 2016-09-16 15:20:55 -07:00
Timothy Clem
a1250e7896 s/BinaryOperator/BooleanOperator 2016-09-16 15:20:36 -07:00
joshvera
16aae4d95d Move a few declarations into Prologue 2016-09-16 10:14:51 -04:00
Timothy Clem
68d932594e Add in NumberLiteral category 2016-09-12 21:06:53 -07:00
joshvera
bbc2c2b9b2 Add the empty statement 2016-08-19 15:53:04 -04:00
Rick Winfrey
11d6362997 Preserve original hashed value for Category 2016-08-17 16:12:40 -05:00
Rick Winfrey
349b268884 Add RelationalOperator constructor for Category 2016-08-17 11:54:16 -05:00
Rick Winfrey
ebe077c7c8 Add BitwiseOperator Category constructor 2016-08-17 10:59:24 -05:00
joshvera
8bcf292ba0 Merge remote-tracking branch 'origin/master' into comma-summaries 2016-08-16 19:34:30 -04:00
joshvera
a9c3bfa671 Add CommaOperator 2016-08-16 15:44:02 -04:00
Rick Winfrey
7fd0b52a91 Add Comment constructor to Category
Previously all comments were being caught by the Other constructor. Now
that we specifically handle Category Syntax, it seems appropriate to
promote Comment as a first class Category, too.
2016-08-16 13:08:23 -05:00
Rick Winfrey
93521de3ec Merge branch 'master' into add-javascript-syntaxes 2016-08-15 14:42:15 -05:00
Rick Winfrey
d226eacdfc Add missing arbitrary instances for Category constructors 2016-08-12 12:42:22 -05:00
joshvera
e209199016 Add If constructor to Syntax 2016-08-11 17:39:44 -04:00
Rob Rix
ff954d08c7 🔥 the unused CoArbitrary instance over Category.
This also allows us to 🔥 the orphan instance over Text.
2016-08-04 10:04:33 -04:00
joshvera
36c4001682 Merge remote-tracking branch 'origin/master' into throw-syntax 2016-08-01 13:55:44 -04:00
joshvera
ef4389a5c5 Merge remote-tracking branch 'origin/master' into constructors 2016-08-01 13:49:35 -04:00
joshvera
9bd34fe3ff Merge remote-tracking branch 'origin/master' into try-syntax 2016-08-01 13:38:50 -04:00
joshvera
347f0309dd Add Constructor Category 2016-07-30 14:25:52 -04:00
joshvera
d3df14cafd Add method definitions 2016-07-29 23:41:21 -04:00
joshvera
ef78210447 Add a Class category 2016-07-29 16:28:27 -04:00
joshvera
ad9c63ef42 Add Try/Catch/Finally categories 2016-07-29 15:58:49 -04:00
joshvera
36aee3a87b Add Throw category 2016-07-29 15:32:54 -04:00
joshvera
7f3cb2e9ef Merge remote-tracking branch 'origin/master' into loop-syntax 2016-07-29 11:42:25 -04:00
joshvera
d057e156cd Add Return case to Syntax 2016-07-28 14:34:53 -04:00
joshvera
7eac130089 Add DoWhile and While cases 2016-07-28 14:08:34 -04:00
joshvera
534de558f0 Add a For category 2016-07-28 13:48:44 -04:00
joshvera
ad4d36f7fd Add a CoArbitrary instance to Category 2016-07-17 11:18:31 -04:00
joshvera
59426b86f6 Add megaparsec to pretty print summaries 2016-07-13 14:32:53 -04:00
joshvera
1efd68d122 Merge remote-tracking branch 'origin/master' into syntax-redux 2016-07-06 16:22:25 -04:00
joshvera
956f821a13 Start parsing Object literals 2016-06-23 17:39:27 -04:00
Rob Rix
365e84301d Add an Arbitrary instance for Category. 2016-06-23 16:29:19 -04:00
Rob Rix
0dec4c2879 Add a header above the instances. 2016-06-23 16:25:49 -04:00
Rob Rix
c9b26f2da8 Category is Hashable. 2016-06-23 09:55:48 -04:00
Rob Rix
a58463007e Derive a Generic instance for Category. 2016-06-23 09:55:43 -04:00
Rick Winfrey
2432cd53cb Add general Operator Category 2016-06-17 17:02:54 -05:00
Rick Winfrey
c4b068c370 Add missing comments 2016-06-17 15:31:50 -05:00
Rick Winfrey
638d0fa90b Add Ternary Category 2016-06-17 15:31:40 -05:00
Rick Winfrey
76c4037933 Add support for MathAssignment Category and Syntax 2016-06-17 14:57:51 -05:00
Rick Winfrey
34359f80ee Add SubscriptAccess Category 2016-06-17 14:38:12 -05:00
Rick Winfrey
d8bfd5a629 Merge branch 'syntax-redux' of github.com:github/semantic-diff into syntax-redux 2016-06-16 09:57:11 -05:00
Rick Winfrey
70b3340302 Add Boolean Category 2016-06-16 09:54:05 -05:00
joshvera
1875f0cbef Add Switch and Case to Category 2016-06-15 15:48:27 -07:00
Rick Winfrey
a726ab5a73 Add support for Regex TreeSitter productions 2016-06-15 11:09:52 -05:00
Rick Winfrey
2ba869fdc9 Add TemplateString Category 2016-06-15 10:38:16 -05:00
joshvera
79fb347748 Add VarAssignment and VarDecl to Category 2016-06-14 17:43:26 -07:00
joshvera
ba0f6a2123 Remove If for now 2016-06-14 15:45:01 -07:00
joshvera
7e5866d038 Add an If expression 2016-06-14 14:48:07 -07:00
joshvera
307cdda0de Add cases for methods and args 2016-06-14 09:53:35 -07:00
joshvera
2ba33189c4 Add MethodCall cases to Syntax and Category 2016-06-14 09:06:08 -07:00
joshvera
baa6c7a92f dots 2016-06-14 09:03:43 -07:00
Rick Winfrey
6024182b40 Add MemberAccess Category 2016-06-13 17:31:45 -05:00
Rick Winfrey
17d72761ec Add Assignment category 2016-06-13 16:31:32 -05:00
joshvera
44dec2aa53 Add Identifier 2016-06-10 15:19:29 -04:00
joshvera
4a5f2546b1 Add Params and ExpressionStatements categories 2016-06-10 15:10:50 -04:00
joshvera
91bf955125 Add a Function constructor to Syntax 2016-06-10 13:34:19 -04:00
joshvera
775c735265 Pack categories into text while constructing terms 2016-06-06 19:53:48 -04:00
joshvera
2b1333aa09 extract multiple diffs from pure indexed nodes 2016-06-06 15:45:44 -04:00
Rob Rix
10b424cd47 Add an Error category. 2016-06-03 18:37:40 -04:00
Rob Rix
83b57fc643 Add a Category for the top-level scope. 2016-06-03 18:34:42 -04:00
Rob Rix
038bde4aaa Reformat to line Category constructors up.
This reverts commit 5ce35d2a39ff6b83abd19d0d9476cc75922a36fe.
2016-06-03 18:32:21 -04:00
Rob Rix
7802d4916c 🔥 FlexibleInstances & RecordWildCards pragmas. 2016-06-03 16:02:06 -04:00
Rob Rix
43757e8a61 🔥 Categorizable.
This reverts commit be59b0c161362baae63308478177819828be7e1b.
2016-06-02 19:10:41 -04:00
joshvera
9ef2745944 Replace comparable with (==) category 2016-05-31 16:58:57 -04:00
joshvera
0244e9a929 Store a category in Info instead of a Set 2016-05-31 16:13:01 -04:00
joshvera
473ec980b1 Merge remote-tracking branch 'origin/master' into diff-summaries 2016-05-26 13:40:54 -04:00
joshvera
8180b37285 Use Protolude via the Prologue module and add NoImplicitPrelude 2016-05-26 12:58:04 -04:00
joshvera
48c7498ce2 Define Term in terms of Cofree 2016-05-04 14:37:24 -04:00
joshvera
6c07d4dc55 WIP CofreeF 2016-05-03 12:17:38 -04:00
Rob Rix
b29fc796b7 Add an ArrayLiteral category. 2016-03-02 23:01:46 -05:00
Rob Rix
d52a9d79b1 Add Category constructors for integer/string/symbol literals. 2016-02-24 13:47:53 -07:00
Rob Rix
ebc12c9919 Add a Pair constructor. 2016-02-13 21:01:52 -05:00
Matt Diephouse
eb51a2b87e Add a binary operator category 2016-02-05 16:59:38 -05:00
Matt Diephouse
9e2ccc0924 Add a function call category 2016-02-05 16:54:08 -05:00
Matt Diephouse
611edbb783 Give Categorizables actual Categorys 2016-02-05 13:48:13 -05:00
Matt Diephouse
8bbda1884d Category should derive Ord 2016-02-04 16:47:33 -05:00
Matt Diephouse
8df205c10e Category should derive Show 2016-02-04 16:43:05 -05:00
Matt Diephouse
a13053c960 Add a Category type 2016-02-04 16:35:42 -05:00
Matt Diephouse
170b7c6e1e Rename Categorizable module to Category 2016-02-04 13:59:33 -05:00