github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity
31,874 Commits 19 Branches 16 Tags 46 MiB
443b4ca8e1
Commit Graph

723 Commits

Author SHA1 Message Date
Rob Rix
443b4ca8e1
Add lambdas to Intro. 2019-12-18 15:13:38 -05:00
Rob Rix
cfc8bdfe38
🔥 Ignored. 2019-12-18 10:54:54 -05:00
Rob Rix
6485f858ed
Move Named & Ignored into Analysis.Name. 2019-12-18 10:51:02 -05:00
Rob Rix
667f894ec3
Merge branch 'ghcide-is-painless' into analysis-effects 2019-12-18 09:49:08 -05:00
Rob Rix
ff4523e25e
Extract the basic introduction forms into a new syntax type. 2019-12-16 13:50:58 -05:00
Patrick Thomson
6bebd84deb Officially require GHC 8.8. 2019-12-13 15:48:49 -05:00
Rob Rix
fbd86f3115
Concretize using the smart constructors. 2019-12-13 11:43:56 -05:00
Rob Rix
d113cc4ea9
Use the smart constructors to tidy up Core.Eval. 2019-12-13 11:38:10 -05:00
Patrick Thomson
dc69714053 Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8 2019-12-13 11:23:36 -05:00
Rob Rix
34a0afbfba
Merge branch 'fused-effects-one-dot-zero' into analysis-effects 2019-12-12 12:53:27 -05:00
Patrick Thomson
34214b737f Fix Generators module. 2019-12-11 15:44:50 -05:00
Rob Rix
83194f8b98
🔥 a redundant import. 2019-12-10 15:11:01 -05:00
Rob Rix
df43078a65
Merge branch 'master' into fused-effects-one-dot-zero 2019-12-10 14:48:48 -05:00
Patrick Thomson
68ab3cbb97 semantic:exe now compiles 2019-12-10 13:32:56 -05:00
Patrick Thomson
d258677dd8 And the rest of them 2019-12-06 14:54:06 -05:00
Patrick Thomson
c2685b81c3 Revert whitespace changes. 2019-12-06 14:52:49 -05:00
Patrick Thomson
dd5cf213d6 Derive HFoldable instances for syntax types. 2019-12-06 14:51:09 -05:00
Patrick Thomson
17d0b57f85 Preserve whitespace. 2019-12-06 14:05:20 -05:00
Patrick Thomson
1c735d46d0 Establish HTraversable instances for Core, Ann, and Failure. 2019-12-05 15:06:54 -05:00
Patrick Thomson
9fb876be84 Port over RightModule definitions for Core and Ann. 2019-11-08 10:36:43 -05:00
Patrick Thomson
35ea116f00 Bump various FE dependencies from 0.5 to 1.0. 2019-11-07 15:48:57 -05:00
Rob Rix
4ede4ae68b
Concretize values via the Domain effect. 2019-11-07 11:03:10 -05:00
Rob Rix
56cc4e1040
Construct Unit, Bool, & String via the Domain effect. 2019-11-07 11:01:41 -05:00
Rob Rix
7f6680d825
Specialize the Env effect to Name. 2019-11-05 12:08:13 -05:00
Rob Rix
02ae8de2ba
Specialize Analysis to Name. 2019-11-05 12:02:39 -05:00
Rob Rix
0e69c0a67a
Use Analysis.Name in Core. 2019-11-05 11:17:09 -05:00
Rob Rix
a3e7d51cfe
Fix a typo. 2019-11-04 14:30:45 -05:00
Rob Rix
07568e55a5
Use the Heap effect to define eval. 2019-11-04 14:00:05 -05:00
Rob Rix
6e1383d2de
Evaluate Core using the Env effect. 2019-11-01 15:25:49 -04:00
Rob Rix
a8333adae0
Derive the RightModule instance for Core. 2019-10-28 13:26:15 -04:00
Rob Rix
8d751c1dbc
Derive the RightModule instance for Ann. 2019-10-28 13:26:07 -04:00
Rob Rix
904b79b462
Derive the Effect instance for Core. 2019-10-28 12:01:13 -04:00
Rob Rix
b3308bc694
Derive the Effect instance for Ann. 2019-10-28 12:01:06 -04:00
Rob Rix
e139ec0a76
Fix the Effect instances in Core.Core. 2019-10-28 12:00:30 -04:00
Rob Rix
d3cb08c9cf
Fix the rest of semantic-core. 2019-10-28 11:10:34 -04:00
Rob Rix
c2a1a298a8
Fix Core.Core. 2019-10-28 11:09:41 -04:00
Rob Rix
f616dbeb78
🔥 a redundant copy of the Readline carrier. 2019-10-28 10:55:40 -04:00
Rob Rix
5372cfad51
Merge branch 'master' into fused-effects-one-dot-zero 2019-10-25 16:05:40 -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
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
Patrick Thomson
1c039b786b Kill unused function. 2019-10-23 16:05:57 -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
14c3faf750 the tests pass now 2019-10-23 13:09:26 -04:00
Patrick Thomson
91558a7d65 Add generator for .? (this kills the crab^Wtests). 2019-10-23 12:24:35 -04:00
Patrick Thomson
8f0790ced2 Add pretty-printing support. 2019-10-23 12:05:40 -04:00
Patrick Thomson
9b56f60132 Add parsing support. 2019-10-23 12:05:35 -04:00
Patrick Thomson
b58132ba0e Unused imports. 2019-10-23 12:05:28 -04:00
Patrick Thomson
cb783e6646 Make this a boolean operator pending resolution of #358. 2019-10-23 11:59:23 -04:00