github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 21:01:35 +03:00
Code Issues Projects Releases Wiki Activity
19,581 Commits 19 Branches 16 Tags 46 MiB
2902b9c2a3
Commit Graph

19581 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
5664bcdede fix unit tests 2018-03-19 12:17:44 -04:00
Timothy Clem
0332350154 Don't need this constraint 2018-03-19 09:02:13 -07:00
Timothy Clem
1dbe16e206 Fix fallback for lastRange 2018-03-19 08:57:03 -07:00
Patrick Thomson
00aecff08c Add match-operation syntax and assign =~ and !~ to it. 
Previously, both =~ and !~ were parsed as equal nodes. This remedies
that by adding a new syntax node and calling out to it in Ruby's
Assignment.

Fixes #1558.
 2018-03-19 11:55:07 -04:00
Rob Rix
f720c86e1f Build with as many cores as we can muster. 2018-03-19 10:20:10 -04:00
Rob Rix
476286834f Set -threaded on the doctests. 
This is intended as a workaround for  https://github.com/commercialhaskell/stack/issues/3807
 2018-03-19 10:19:48 -04:00
Rob Rix
e293814424 Pass --fast to try to speed up the doctests. 2018-03-19 10:09:59 -04:00
Rob Rix
1968d3bc16 Test that Range <> is associative. 2018-03-19 09:54:34 -04:00
Rob Rix
5cb387836d Don’t include the args twice. 2018-03-19 09:53:58 -04:00
Rob Rix
c962a0bae5 🔥 a redundant LANGUAGE pragma. 2018-03-19 09:53:52 -04:00
Rob Rix
b7bb4ccf72 Link QuickCheck in until we integrate LeanCheck. 2018-03-19 09:53:21 -04:00
Patrick Thomson
7f7aec72d9 fix broken callsites 2018-03-19 09:52:24 -04:00
Patrick Thomson
c90c57ba42 rename => mergeBindings 2018-03-19 09:48:06 -04:00
Rob Rix
f67a2a1dc3 Allow the arguments to override src. 2018-03-19 09:40:19 -04:00
Rob Rix
3f47dfbdc0 Indent a comment. 2018-03-19 09:30:19 -04:00
Rob Rix
e5821ffec5 Run all doctests found in src. 2018-03-19 09:23:46 -04:00
Rob Rix
c5f27206ab Build the doctests with -dynamic so they can load the .dylibs for the parsers. 2018-03-19 09:23:11 -04:00
Rob Rix
d54b6b812b 🔥 some ill-advised pseudo-properties. 2018-03-19 09:23:11 -04:00
Rob Rix
5fc81f8566 Rename the fresh/nondet modules to not conflict with the effects package. 2018-03-19 09:23:11 -04:00
Rob Rix
0b6dd8f126 Correct some haddocks. 2018-03-19 09:23:11 -04:00
Rob Rix
bbb51588e5 Add a doctest component. 2018-03-19 09:23:11 -04:00
Greg Orzell
02fbc3b22c Merge branch 'master' into gorzell-container 2018-03-19 10:52:47 +01:00
Timothy Clem
e9d8c9c247 This is not allowed 2018-03-16 14:12:55 -07:00
Patrick Thomson
de4c3e5f8a Take a stab at typechecking. 2018-03-16 17:07:53 -04:00
Patrick Thomson
6a5c3084ad merge folderol 2018-03-16 16:58:15 -04:00
Timothy Clem
e580051a66 Merge remote-tracking branch 'origin/master' into build-fix-em-ups 2018-03-16 13:57:37 -07:00
Timothy Clem
f9fc79725a Fix up warning in markdown assignment 2018-03-16 13:55:53 -07:00
Patrick Thomson
5df347eb3e Merge remote-tracking branch 'origin/master' into classes 2018-03-16 16:51:59 -04:00
Patrick Thomson
6f13d55e60 More docs and more renaming. 2018-03-16 16:49:56 -04:00
Patrick Thomson
b6e27fc185 this comment no longer points out a lie 2018-03-16 16:40:03 -04:00
Patrick Thomson
dcaf4ed61f There is no distinction between local and global environment now. 2018-03-16 16:34:39 -04:00
Timothy Clem
e40a5e7c71 Merge pull request #1574 from github/ruby-imports 
Eval Ruby require and load
 2018-03-16 13:32:33 -07:00
Patrick Thomson
9446684846 qualify Exports, in keeping with the philosophy of not repeating prefixes 2018-03-16 16:28:24 -04:00
Patrick Thomson
9e04cee330 docs! docs! docs! 2018-03-16 16:23:45 -04:00
Timothy Clem
9a93943e9f Merge remote-tracking branch 'origin/master' into ruby-imports 2018-03-16 13:23:05 -07:00
Timothy Clem
247b13831c We should fix these, but I'm not confident about how to do that... 2018-03-16 13:22:49 -07:00
Timothy Clem
7b558445d6 Extra constraint 2018-03-16 13:22:34 -07:00
Timothy Clem
4ee805826f Merge pull request #1570 from github/export-wrapper 
Export wrapper and some import assignment refactoring
 2018-03-16 13:21:50 -07:00
Patrick Thomson
b26780b539 add localize 2018-03-16 16:00:49 -04:00
Patrick Thomson
96df75d5a3 Fix broken Semigroup instance for Imperative 2018-03-16 15:55:25 -04:00
Timothy Clem
9d767ba861 One more place we allow redundant-constraints 2018-03-16 12:48:42 -07:00
Timothy Clem
b9e021c682 Handle Nothing potential 2018-03-16 12:48:30 -07:00
Timothy Clem
6999781fef Extra langauge pragma 2018-03-16 12:48:05 -07:00
Timothy Clem
0556e874bb Couple more places where we don't care about redundant-constraints 2018-03-16 12:47:55 -07:00
Patrick Thomson
17bf4150e3 implement Evaluatable for member access, add doctests, and fix Latest 2018-03-16 15:41:15 -04:00
Rob Rix
863d6aa428 Add a doctest component. 2018-03-16 14:34:54 -04:00
Patrick Thomson
a44d5ed861 Use the Environment functions qualified. 2018-03-16 14:33:55 -04:00
Patrick Thomson
56e7c25268 Move Exports to its own module. 2018-03-16 14:09:41 -04:00
Timothy Clem
9bf9c43ce7 Allow redunand-constraints in here for HasCallStack to work 2018-03-16 10:56:37 -07:00
Timothy Clem
624423273d Not necessary to hide this 2018-03-16 10:56:23 -07:00