github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Code Issues Projects Releases Wiki Activity
31,464 Commits 19 Branches 16 Tags 46 MiB
7d8ccd42ce
Commit Graph

696 Commits

Author SHA1 Message Date
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
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
Patrick Thomson
5d5113ff69 fix brokenness that crept in overnight (?) 2019-10-23 10:31:55 -04:00
Patrick Thomson
559958d9cf Define new :? type for checked lookups and try implementing it. 2019-10-22 17:27:54 -04:00
Rob Rix
6b9ba62c8c
Rename Core.Core.* to Core.*. 2019-10-11 13:50:40 -04:00
Rob Rix
740a3ca1a9
Core’s tests depend on semantic-analysis. 2019-10-11 12:55:23 -04:00
Rob Rix
9e31fc1f9b
semantic-core no longer has doctests. 2019-10-11 12:53:36 -04:00
Rob Rix
d20cbead89
Remove the Analysis.* and Control.* hierarchies from semantic-core. 2019-10-11 12:52:32 -04:00
Rob Rix
052eb88231
🔥 a couple of redundant dependencies. 2019-10-11 12:52:18 -04:00
Rob Rix
6bac8d2770
How did this ever work? What does it even do? 2019-10-11 12:42:21 -04:00
Rob Rix
85d09b5116
Rename Core.File to Analysis.File. 2019-10-11 12:37:11 -04:00
Rob Rix
5f9787f21c
Correct an import. 2019-10-11 12:22:12 -04:00
Rob Rix
6bfd33e7bc
Correct the import. 2019-10-11 12:21:04 -04:00
Rob Rix
3700cb5106
Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type 2019-10-11 12:20:53 -04:00
Rob Rix
7c2ac87ff3
Correct the doctest. 2019-10-11 12:19:37 -04:00
Rob Rix
5ef4ecdde9
Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type 2019-10-11 12:15:39 -04:00
Rob Rix
7554271e2d
toString. 2019-10-11 12:14:58 -04:00
Rob Rix
7d52293e13
Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type 2019-10-11 12:12:35 -04:00
Rob Rix
f3b3a32f8a
Merge branch 'core-factoring' into eliminate-core-loc 2019-10-11 12:12:25 -04:00
Rob Rix
a278c9daab
Import eval. 2019-10-11 12:11:30 -04:00
Rob Rix
d78c3ddc9e
Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type 2019-10-11 11:51:46 -04:00
Rob Rix
37b723aa81
Merge branch 'core-factoring' into eliminate-core-loc 2019-10-11 11:51:34 -04:00
Rob Rix
b77a3b8058
Enable flexible contexts for the doctest. 2019-10-11 11:50:16 -04:00
Rob Rix
a160c0b7d5
Generalize typecheckingFlowInsensitive over the name type. 2019-10-11 11:47:39 -04:00
Rob Rix
ffc281f0f3
Generalize runFile over the name type. 2019-10-11 11:47:01 -04:00
Rob Rix
6efc7c7301
Generalizee typecheckingAnalysis over the name type. 2019-10-11 11:45:57 -04:00
Rob Rix
45dfc6ead1
Generalize solve over the name type. 2019-10-11 11:45:32 -04:00
Rob Rix
d184acfbfe
Generalize Solution over the name type. 2019-10-11 11:41:11 -04:00
Rob Rix
6d3d1751b6
Generalize unify over the name type. 2019-10-11 11:40:30 -04:00