github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity
3,062 Commits 19 Branches 16 Tags 46 MiB
2e5d85748b
Commit Graph

3062 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
8d0272bdac Implement shrinking over ArbitraryTerm. 2015-12-11 11:14:33 -05:00
Rob Rix
7dd4631053 Remove ArbitrarySyntax. 2015-12-11 11:00:52 -05:00
Rob Rix
40eafd315d Remove the arbitrary instance for ArbitrarySyntax. 2015-12-11 11:00:26 -05:00
Rob Rix
dbbada55da Construct bounded terms. 2015-12-11 11:00:18 -05:00
Rob Rix
e6bddf1cf1 Bound arbitrary Keyed nodes. 
I really hope we can clean this up.
 2015-12-11 11:00:06 -05:00
Rob Rix
a7c959db6c Use the ordinary ArbitraryTerm constructor. 2015-12-11 10:34:43 -05:00
Rob Rix
2cbe8959fe We don’t need to use ArbitrarySyntax for this. 2015-12-11 10:33:46 -05:00
Rob Rix
fd0c1e7abe Attempt to define the selection of an arbitrary bounded term. 2015-12-11 10:32:31 -05:00
Rob Rix
fda61b074f ArbitraryTerm → Term eliminator. 2015-12-11 09:14:54 -05:00
Rob Rix
bc47d2743f Represent ArbitraryTerm as an annotation/Term pair. 
Capturing the recursive structure in `ArbitraryTerm` instead of
deferring it to `Term` allows us to simplify construction of arbitrary
inhabitants.
 2015-12-11 09:14:43 -05:00
Rob Rix
6799d5eba1 Use record notation to unwrap ArbitrarySyntax. 2015-12-11 09:12:49 -05:00
Rob Rix
0c23f11d01 Abstract ArbitraryTerm over its annotation type. 2015-12-11 00:35:00 -05:00
Rob Rix
de9aa14da4 ArbitraryTerm is parameterized by its leaf type. 2015-12-11 00:33:43 -05:00
Rob Rix
2f744cd769 ArbitrarySyntax is Arbitrary. 2015-12-11 00:32:59 -05:00
Rob Rix
c7dbd6e79b Add an ArbitrarySyntax type. 2015-12-11 00:32:46 -05:00
Rob Rix
a71a4d2e36 Adjoining onto no rows is also identity. 2015-12-11 00:24:37 -05:00
Rob Rix
de75e838d0 Test that adjoining onto empty rows is identity. 2015-12-11 00:23:57 -05:00
Rob Rix
390fa5ee73 Test that adjoining mempty is idempotent. 2015-12-11 00:22:21 -05:00
Rob Rix
9d71aefd04 Add an Arbitrary instance for Row. 2015-12-11 00:20:25 -05:00
Rob Rix
91140aa8fa Add an Arbitrary instance for Line. 2015-12-11 00:19:48 -05:00
Rob Rix
e84d8804bf Add an Arbitrary instance for HTML. 2015-12-11 00:19:07 -05:00
joshvera
e92444d87d Remove profiteur from semantic-diff-profile build-depends 2015-12-11 00:16:05 -05:00
Rob Rix
06d9a7ef04 mempty! 2015-12-11 00:13:17 -05:00
Rob Rix
23d11c1cc8 adjoin2 is idempotent for additions of and onto empty rows. 2015-12-11 00:12:28 -05:00
joshvera
691c4bac76 keep two running counts 2015-12-11 00:09:42 -05:00
Rob Rix
bec2f01f02 Reflexivity requires a == a. 2015-12-11 00:05:23 -05:00
Rob Rix
873441efde Generate an arbitrary leaf. 2015-12-11 00:05:01 -05:00
Rob Rix
f59f92e1d4 Use the prop shorthand. 2015-12-10 23:59:19 -05:00
Rob Rix
9b2fda2a49 Test that equality is reflexive. 2015-12-10 23:55:31 -05:00
Rob Rix
aa9f1d6b23 Derive Show and Eq. 2015-12-10 23:55:21 -05:00
Rob Rix
9589264745 ArbitraryTerm is an instance of Arbitrary. 2015-12-10 23:45:14 -05:00
Rob Rix
54166e7662 Add an ArbitraryTerm newtype. 2015-12-10 23:45:05 -05:00
joshvera
a9291c55a5 unused num 2015-12-10 23:43:25 -05:00
joshvera
bb35606186 Remove column group stuff 2015-12-10 23:43:19 -05:00
Rob Rix
60791ffc15 import QuickCheck. 2015-12-10 23:40:42 -05:00
joshvera
cb03807771 Just set the width to 40px 2015-12-10 23:40:12 -05:00
joshvera
83925fb6f2 Remove unused RowWithLine 2015-12-10 23:39:05 -05:00
joshvera
6c423dc3b9 Move the explicit annotation to the numberRows function 2015-12-10 23:38:54 -05:00
Rob Rix
ec655117d2 Link the tests against QuickCheck. 2015-12-10 23:38:01 -05:00
joshvera
61be444b6f Ignore profile artifacts 2015-12-10 23:34:54 -05:00
joshvera
c8b5cad4e4 Build a separate target when profiling 2015-12-10 23:34:53 -05:00
joshvera
f328da82f6 Ignore hp heap files 2015-12-10 23:34:53 -05:00
joshvera
13f413c0fb Ignore profile and profiteur output 2015-12-10 23:34:53 -05:00
joshvera
d2595b16cb just construct a tuple 2015-12-10 21:13:24 -05:00
joshvera
9647c7f25f Show line numbers in diffs 2015-12-10 18:21:10 -05:00
joshvera
d42e88f18f Add some styles 2015-12-10 18:20:29 -05:00
Rob Rix
c7695b729d Use the ranges binding. 2015-12-10 17:33:11 -05:00
Rob Rix
32f8b03461 Remove the redundant Control.Monad import. 2015-12-10 17:31:28 -05:00
Rob Rix
6afa81a197 Split rendering of Fixed nodes in Free. 2015-12-10 17:30:48 -05:00
Rob Rix
18b50a05ab Handle Indexed inside annotatedToRows. 2015-12-10 17:30:18 -05:00