github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity
31,315 Commits 19 Branches 16 Tags 46 MiB
b1dd77d2fc
Commit Graph

31315 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
b1dd77d2fc
Fix an import. 2019-10-25 17:45:19 -04:00
Rob Rix
f88dced69f
Bump some SHAs. 2019-10-25 17:28:32 -04:00
Rob Rix
5372cfad51
Merge branch 'master' into fused-effects-one-dot-zero 2019-10-25 16:05:40 -04:00
Rob Rix
52c6b8c42f
Merge pull request #363 from github/we-can’t-have-nice-things 
We can’t have nice things
 2019-10-25 15:52:27 -04:00
Rob Rix
bb397d4a29
Merge branch 'master' into we-can’t-have-nice-things 2019-10-25 15:29:55 -04:00
Rob Rix
c4e2c14601
Whoops 2: the Whoopsening. 2019-10-25 15:26:30 -04:00
Rob Rix
72ba6821ea
Whoops. 2019-10-25 14:34:54 -04:00
Rob Rix
892932c2a5
Merge pull request #344 from github/compile-string-literals 
First attempt at compiling string literals.
 2019-10-25 14:32:52 -04:00
Rob Rix
e636757c29
Executing the monadic actions is the important thing, not evaluating the graph. 2019-10-25 14:22:50 -04:00
Rob Rix
3e74db0234
Lint a little lint of me 2019-10-25 14:22:09 -04:00
Rob Rix
cbc2d82b55
Don’t define an orphan Hashable1 instance for NonEmpty. 2019-10-25 14:03:01 -04:00
Rob Rix
d9aff05870
🔥 redundant silencing of warnings. 2019-10-25 14:01:56 -04:00
Rob Rix
a05533fd19
🔥 NFData & NFData1 instances wherever they may be found. 
Also some Generic instances.
 2019-10-25 13:52:07 -04:00
Patrick Thomson
3421824b19 new comment style 2019-10-25 13:47:58 -04:00
Patrick Thomson
d72449b78c Merge remote-tracking branch 'origin/master' into compile-string-literals 2019-10-25 13:46:28 -04:00
Rob Rix
35433c973a
Merge branch 'master' into we-can’t-have-nice-things 2019-10-25 13:33:50 -04:00
Rob Rix
a35099fef7
Sort some deriving clauses. 2019-10-25 13:33:06 -04:00
Rob Rix
27a59e17d7
🔥 redundant language extensions. 2019-10-25 13:32:08 -04:00
Rob Rix
06d32510d9
Sort the language extensions. 2019-10-25 13:31:12 -04:00
Rob Rix
3d422f25cc
🔥 GND. 2019-10-25 13:30:20 -04:00
Rob Rix
cb0aa77a93
🔥 the Generically newtype. 2019-10-25 13:28:15 -04:00
Rob Rix
9a85fddccd
🔥 some Eq/Ord/Show instances that slipped through. 2019-10-25 13:28:09 -04:00
Rob Rix
15d1bb4b25
Derive Eq1/Ord1/Show1 instances manually. 2019-10-25 13:25:47 -04:00
Rob Rix
68d43468af
Merge pull request #361 from github/yes-comment 
Support comments in the Core parser.
 2019-10-25 13:06:31 -04:00
Patrick Thomson
fe468f2cda Go with // for comments. 2019-10-25 10:54:35 -04:00
Rob Rix
37f4b32dfa
Merge pull request #357 from github/look-up-its-a-core 
Add membership query operator to Core
 2019-10-25 10:20:51 -04:00
Patrick Thomson
65f6325668 simplify projection 2019-10-25 09:50:04 -04:00
Patrick Thomson
2d8819933a Simplify derivations. 2019-10-25 09:35:08 -04:00
Ayman Nadeem
200fa85740
Merge pull request #351 from github/semantic-ast-errors 
Semantic AST polish
 2019-10-24 12:21:39 -04:00
Ayman Nadeem
6603ce73fc change color to noColor 2019-10-24 11:55:47 -04:00
Ayman Nadeem
b711f9ed48 tackle JSON output in separate PR 2019-10-24 11:51:20 -04:00
Ayman Nadeem
052ac05dc5 COMPOSITION WITH FISHIES 2019-10-24 11:51:09 -04:00
Ayman Nadeem
e2127cacf4 eta reduce 2019-10-24 11:46:05 -04:00
Ayman Nadeem
adfd3bda0d abstract over Format with display 2019-10-24 11:45:43 -04:00
Ayman Nadeem
b5fd84e1bb reformat Format sum type 2019-10-24 11:31:29 -04:00
Ayman Nadeem
8944b279dc refactor format and ast do block 2019-10-24 11:28:53 -04:00
Rob Rix
ff0a577393
🔥 Eq, Ord, & Show instances for all the syntax types. 2019-10-23 17:19:01 -04:00
Patrick Thomson
d17ca69065
Merge pull request #359 from github/you-already-know-too-much 
🔥 concrete parsers
 2019-10-23 17:14:43 -04:00
Rob Rix
6750a30761
Standardize. 2019-10-23 17:06:36 -04:00
Patrick Thomson
1c039b786b Kill unused function. 2019-10-23 16:05:57 -04:00
Patrick Thomson
bb9f56662f Merge branch 'yes-comment' into compile-string-literals 2019-10-23 15:31:44 -04:00
Patrick Thomson
bf1aebf1f3 Add comments to Core. 
I went with the Haskell comment style (`--` for line comments, `{- -}`
for block comments, allowing nested multiline comments. This can be
changed pretty easily.
 2019-10-23 15:27:13 -04:00
Patrick Thomson
fde167a236 Better prelude. 2019-10-23 15:10:54 -04:00
Rob Rix
d78adfc09d
🔥 a redundant import. 2019-10-23 15:03:30 -04:00
Rob Rix
d18d122beb
Import the parse effect. 2019-10-23 14:52:34 -04:00
Patrick Thomson
edd83d466f Merge branch 'look-up-its-a-core' into compile-string-literals 2019-10-23 14:52:29 -04:00
Rob Rix
2e46d73324
📝 ModuleResult. 2019-10-23 14:35:10 -04:00
Rob Rix
7e9701e436
Merge pull request #350 from github/abstract-a-la-carte-terms 
Abstract à la carte terms
 2019-10-23 14:32:43 -04:00
Patrick Thomson
21dd102e61 Implement member lookup in a way that doesn't crash the scope graph 2019-10-23 14:30:45 -04:00
Patrick Thomson
9b46692cbd Don't try to implement this yet. 2019-10-23 13:15:42 -04:00