github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity
33,459 Commits 19 Branches 16 Tags 46 MiB
49ba306fe7
Commit Graph

33459 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ayman Nadeem
49ba306fe7 add QuantifiedConstraints to Python 2020-04-28 13:46:41 -04:00
Ayman Nadeem
bc30355385 add QuantifiedConstraintst to Ruby 2020-04-28 13:46:30 -04:00
Ayman Nadeem
2089d8d65a change a to sym where it implies symbol 2020-04-28 13:46:10 -04:00
Ayman Nadeem
9da786c8c5 change a to ann because a is overloaded and confusing 2020-04-28 13:45:48 -04:00
Ayman Nadeem
284fe08f75 add UnmarshalField instance for new Err type 2020-04-28 13:44:54 -04:00
Ayman Nadeem
07166c17b2 Unmarshal Token instances now needs an additional param, f 2020-04-28 13:44:30 -04:00
Ayman Nadeem
d539ac70cd provide explicit kind signature for f param to Token 2020-04-28 13:42:53 -04:00
Ayman Nadeem
6794da00cd manually derive Show 2020-04-28 13:13:54 -04:00
Ayman Nadeem
ac263ada10 derive applicative since we can't autoderive it 2020-04-28 13:13:45 -04:00
Ayman Nadeem
7c6718cb88 add KindSignatures, StandaloneDeriving and TypeOperators to all Language.LANG.AST files 2020-04-28 11:07:08 -04:00
Ayman Nadeem
192c4887ea alphabetize 2020-04-28 11:03:29 -04:00
Ayman Nadeem
41eaf07526 fix Parse.Err 2020-04-28 10:47:15 -04:00
Ayman Nadeem
324ecc3110 use Parse.Err 2020-04-28 10:47:07 -04:00
Ayman Nadeem
f3810df481 Err wraps a but has no args 2020-04-28 10:26:03 -04:00
Ayman Nadeem
2bb5ce1fad need AST.Parse in Unmarshal 2020-04-27 17:45:08 -04:00
Ayman Nadeem
d95440e4e6 use ParseFail and ParseSucceed constructors 2020-04-27 17:42:50 -04:00
Ayman Nadeem
0af40b260a auto-derive Functor and everything else 2020-04-27 17:42:16 -04:00
Ayman Nadeem
fae94854fd add AST.Parse to exposed-modules list 2020-04-27 17:41:41 -04:00
Ayman Nadeem
d3b980af91 describe function of shape parameter introduced 2020-04-27 17:00:52 -04:00
Ayman Nadeem
09dfa147b7 replace token type synonym with example datatype of kind (*->*)->*->* 2020-04-27 16:59:59 -04:00
Ayman Nadeem
87349a4d55 provide description for Error type 2020-04-27 16:59:15 -04:00
Ayman Nadeem
c752315548 don't need typelits, since no Symbol/Nat data will index this datatype 2020-04-27 16:57:12 -04:00
Ayman Nadeem
e3a46c4405 stub out functor instance 2020-04-24 13:32:18 -04:00
Ayman Nadeem
d1dcb4c09e this will be a datatype isomorphic to Either 2020-04-24 13:32:09 -04:00
Ayman Nadeem
1e145cae9c create AST.Parse 2020-04-24 12:47:55 -04:00
Ayman Nadeem
2d36330145 remove extra line 2020-04-24 12:47:39 -04:00
Ayman Nadeem
57ca08eac5 add type operators extension 2020-04-22 14:31:27 -04:00
Ayman Nadeem
054a1d17f6 add StandaloneDeriving to enable constraints in instances 2020-04-22 14:28:29 -04:00
Ayman Nadeem
f06ae2dbd6 new kinds need to be invoked with KindSignatures 2020-04-22 13:55:12 -04:00
Ayman Nadeem
a6625780e9 format import statement 2020-04-22 10:36:24 -04:00
Ayman Nadeem
d70db96038 Merge branch 'master' into codegen-cleanup 2020-04-22 10:16:05 -04:00
Ayman Nadeem
e0f2da0dcd
Merge pull request #538 from github/update-language-support-docs 
Update language support docs
 2020-04-20 17:25:48 -04:00
Ayman Nadeem
7dc4285aa2 add context on getNodeTypePaths and getDataFileName 2020-04-20 15:52:56 -04:00
Patrick Thomson
471fd57e21
Merge pull request #539 from github/consistent-test-names 
Make semantic-[LANG] test names consistent.
 2020-04-20 14:51:44 -04:00
Ayman Nadeem
c5b1f0c56e update Test to CoreTest in semantic-python 2020-04-20 14:06:45 -04:00
Ayman Nadeem
88538f268f provide link to assignment docs for context 2020-04-20 14:03:53 -04:00
Ayman Nadeem
6ee858ba4c put in deprecated process notice 2020-04-20 13:59:52 -04:00
Ayman Nadeem
7819c37c47 Update adding-new-languages.md 2020-04-20 13:44:00 -04:00
Ayman Nadeem
eb779de131 update step-interaction table 2020-04-20 12:58:39 -04:00
Patrick Thomson
46d82018b2
Merge pull request #532 from zhujinxuan/module-pathtype 
Refactor definition of Module to use pathtype
 2020-04-20 11:55:53 -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
Ayman Nadeem
be2fad79cf rename TSX Test to PreciseTest 2020-04-20 11:46:36 -04:00
Ayman Nadeem
a7e9877192 rename Ruby Test to PreciseTest 2020-04-20 11:46:24 -04:00
Ayman Nadeem
d104f93ff7 rename Python Test to PreciseTest 2020-04-20 11:46:12 -04:00
Ayman Nadeem
7eaf47b16a rename JSON Test to PreciseTest 2020-04-20 11:45:52 -04:00
Ayman Nadeem
e4efec9394 rename Java Test to PreciseTest 2020-04-20 11:45:37 -04:00
Ayman Nadeem
6c5ea03cc6 rename Go Test to PreciseTest 2020-04-20 11:45:26 -04:00
Ayman Nadeem
fc01656a31 Test update 2020-04-20 11:38:56 -04:00
Ayman Nadeem
dfeb12e2ec lowercase example 2020-04-20 11:35:45 -04:00