Patrick Thomson
02b36d2570
Port Leancheck+Hspec properties to Tasty.Hedgehog.
2019-06-14 12:33:28 -04:00
Patrick Thomson
e1d94f07d1
Remove Listable instance for Source.
...
This was created with a whole mess of Leancheck combinators. A
Hedgehog approach makes things easier.
2019-06-14 11:53:42 -04:00
Patrick Thomson
6a15695195
Even more unused imports.
2019-06-12 13:16:34 -04:00
Patrick Thomson
99c4bb21f8
Overhaul test harnesses and add tasty bounds.
2019-06-12 11:30:20 -04:00
Patrick Thomson
8e0962712e
legacyMakeBlob => makeBlob. Also unpack File.
2019-05-24 11:52:35 -04:00
Patrick Thomson
b8d3a06a67
Fix all the test cases.
2019-05-21 22:28:32 -04:00
Timothy Clem
8b9bc575b6
Fix up tests
2019-03-25 13:14:04 -07:00
Patrick Thomson
079ce8baa0
Eliminate other places where These leaked to implementation.
2019-03-01 11:52:21 -05:00
joshvera
e7ea1aa204
Fix Alias and Import instances
2019-02-08 15:47:03 -05:00
Rick Winfrey
84f4ebbf89
Don't shadow tiers method
...
Co-Authored-By: Rob Rix <robrix@github.com>
2019-01-31 11:35:30 -08:00
Rick Winfrey
556fe32720
Use manually defined cons list for Listable Method instance for now
2019-01-30 16:05:35 -08:00
Rick Winfrey
f0497936a3
For now
2019-01-28 17:43:51 -08:00
Rick Winfrey
e7cb6ee021
Remove old instances
2019-01-28 17:43:34 -08:00
Rick Winfrey
9e362c110b
Add Listable AccessControl instance
2019-01-28 17:43:08 -08:00
Rick Winfrey
75b9b9dab1
Update listable instances for new access control syntax
...
Co-Authored-By: Rob Rix <robrix@github.com>
2019-01-28 11:26:34 -08:00
Rick Winfrey
d1a9d56dfb
Comment out other AccessControl constructors
...
I'm not sure why this is causing problems for the proto roundtrip tests
2019-01-22 16:58:18 -08:00
Rick Winfrey
d4abe75456
Merge branch 'master' into visibility-resolution
2019-01-16 18:31:44 -08:00
Rick Winfrey
bf3ff6154a
Update tests for new AccessControl / Relation split
2019-01-16 18:20:33 -08:00
Patrick Thomson
2e66bc3443
Simplify Data.Functor.Both.
...
Though the previous definition (a type synonym that wrapped `Join (,)`)
was clever, it required a number of orphan instances, as well as an extra
`both` function to simulate a `Both` constructor. Using an ordinary data
structure removes the need for orphan instances.
2019-01-08 17:34:47 -05:00
Rick Winfrey
24a386c2ff
Fix Listable1 instance for Visibility
2018-12-20 17:03:17 -08:00
Rick Winfrey
dda77a80df
Update Listable1 instance for Declartion.Method
2018-12-19 13:19:55 -08:00
Rick Winfrey
5942249864
Define liftCons6
2018-12-19 13:19:38 -08:00
joshvera
b12fbed41a
Merge remote-tracking branch 'origin/master' into heap-frames
2018-12-10 16:38:55 -05:00
Patrick Thomson
0d361e9b0b
Add ZSuper syntax node ( #2292 )
...
Previously, invocations of `super` were captured as an `Identifier`.
It is straightforward enough to return a ZSuper instead.
2018-12-07 12:21:32 -05:00
joshvera
26d3e5e449
Remove Environment
2018-12-05 09:42:00 -05:00
joshvera
4428cd0ab8
Implement ruby assignment as a separate syntax
...
So it can declare a variable in case it isn't shadowing one
2018-12-04 19:22:58 -05:00
Rick Winfrey
b20e2d3f7e
Export lists
2018-11-30 16:23:29 -08:00
Rick Winfrey
83a60c3fdf
Don't need Semigroup here
2018-11-30 16:23:10 -08:00
Rick Winfrey
eefd90ce39
Export list
2018-11-30 16:22:57 -08:00
Timothy Clem
57f284f847
Streamline the declarations for toc summaries
2018-11-08 08:33:26 -08:00
Patrick Thomson
b9cf8f73c6
Environment and App.
2018-10-31 15:47:30 -04:00
Patrick Thomson
d473b9e1af
add Data/Abstract/Name/Spec
2018-10-31 13:19:43 -04:00
Patrick Thomson
b0e6190dbf
add Data/Range/Spec
2018-10-31 12:46:52 -04:00
Patrick Thomson
cd05aaa7a5
add Data/Graph/Spec
2018-10-31 12:30:56 -04:00
Timothy Clem
c8dfe57a48
Remove Data.Record entirely
2018-09-26 14:05:29 -05:00
Timothy Clem
1913277e74
Replace the annotation necessary for toc
...
Includes span in Declaration, refactors toc functions to remove a layer of maybe
2018-09-26 13:54:16 -05:00
Timothy Clem
5e2241ffe9
Don't need to know about Record here either
2018-09-25 11:20:57 -05:00
Timothy Clem
278e6890cd
Fix up the tests
2018-09-25 11:18:51 -05:00
Rick Winfrey
54bc2a9521
🔥 unused exports
2018-08-13 15:43:23 -07:00
joshvera
c71dd783fb
Add EscapeSequence Listable
2018-08-10 13:02:06 -04:00
Charlie Somerville
d00fced1bb
Merge branch 'master' into charliesome/context
2018-08-01 11:45:46 +10:00
Charlie Somerville
b364c6637a
implement the right type classes for This
2018-07-24 16:23:44 +10:00
Josh Vera
7b025c6e49
Merge branch 'master' into bump-tree-sitter
2018-07-23 19:55:21 -04:00
joshvera
322db1dd89
Merge remote-tracking branch 'origin/master' into add-python
2018-07-23 18:21:01 -04:00
Timothy Clem
8484f477ce
Extra Listable instances
2018-07-23 15:09:44 -07:00
joshvera
dbcf2638b0
Add Listable instances for QualifiedName and Import
2018-07-23 13:59:56 -04:00
Rob Rix
4ef85b3d91
These instances aren’t orphaned.
2018-07-20 10:07:53 -04:00
Rob Rix
d6eb959726
We don’t need DeriveAnyClass or StandaloneDeriving for these.
2018-07-20 10:07:24 -04:00
Rob Rix
d3fc6478fd
Derive a bunch of Mergeable instances.
2018-07-20 09:54:57 -04:00
Rob Rix
3fa75423d6
Move Mergeable into the tests.
2018-07-20 09:52:43 -04:00
joshvera
a0d27311bb
Add a ListableF2
2018-07-17 18:59:54 -04:00
joshvera
51d873f81e
Add Listable instances for Join These Blob
2018-07-16 17:05:56 -04:00
joshvera
d3c912784b
Fix tests
2018-06-22 14:19:01 -04:00
joshvera
cf709a7edb
Rename listable instances for RegexMatch and BooleanOperator
2018-06-21 13:19:09 -04:00
joshvera
7084b7f7ed
Add Listable instances for Ruby.Syntax
2018-06-20 13:41:59 -04:00
joshvera
05361742a1
Add statements to output
2018-06-20 11:57:53 -04:00
joshvera
82e1de7fde
Add roundtrip tests for json syntax
2018-06-11 17:10:29 -04:00
joshvera
99ce0482e7
Merge origin/master into grpc-trees
2018-06-06 13:02:44 -04:00
Rob Rix
54150552b3
Merge branch 'master' into 🔥 -galign
2018-05-29 08:53:37 -04:00
Rob Rix
18b2cfc89f
Merge branch 'master' into decompose-values
2018-05-18 14:14:55 -04:00
Rob Rix
81951d7bcc
Fix the Listable instance for Name.
2018-05-18 13:05:46 -04:00
Patrick Thomson
322f348103
inj -> inject
2018-05-16 18:25:02 -04:00
Patrick Thomson
6b0198cb00
Remove otiose -Sum prefixes from all Data.Sum operations.
...
There are no modules where we use both Union.inj and Sum.injectSum; as
such, it seems clumsy for such ubiquitous functions as inj and prj to
have such long names when there is no ambiguity. This restores the
codebase to much how it looked before we switched back to a richer
Data.Union.
2018-05-16 15:27:08 -04:00
Rob Rix
243fb331fc
Fix stale references to inj in the tests.
2018-05-02 15:55:10 -04:00
Rob Rix
152fe6a6a8
Fix the ambiguity around Sum.
2018-05-02 13:14:51 -04:00
Rob Rix
ebc8e01cc4
Use our own local definition of Sum.
2018-05-02 12:00:15 -04:00
Timothy Clem
95b7fd5888
Resolve module import paths that walk up directory structure (e.g. ../)
2018-04-17 14:13:01 -07:00
Rob Rix
d863d282b1
🔥 the Mergeable spec.
2018-04-09 16:38:28 -04:00
Patrick Thomson
c36256e943
Standardize and fix floating-point parsing.
...
The existence of #1705 showed me that it's time to remove the bandaid
of a fix that was `normalizeFloatString` in #1537 . This patch
introduces a proper Attoparsec parser for Scientific values that
handles the vaguaries of cross-language floating-point syntax. We
already depended on Attoparsec indirectly, so adding it as an explicit
dependency is fine.
A unit test is included, with examples taken from the tree-sitter corpora.
2018-04-03 17:02:56 -04:00
joshvera
fdfca338f5
unused constraint
2018-03-22 13:07:32 -04:00
Patrick Thomson
da2a3fc7a8
Initial pass fixing errors raised by weeder.
...
This fixes a lot of unnecessary exports in the specs, removes a couple
otiose imports (comonads and semigroups are provided by base, I beleive),
and removes a duplicated function.
2018-03-09 12:07:34 -05:00
Timothy Clem
24a470ba7a
FreeVariable Name as NonEmpty List
2018-03-08 09:34:09 -08:00
Timothy Clem
835e8f5980
Major updates to identifiers: free variables can be qualified names
...
(break all the tests too 😁 )
2018-03-07 17:01:47 -08:00
Rob Rix
a112fca6f3
Merge branch 'master' into 🔥 -monolithic-syntax
2017-12-18 15:07:00 -05:00
Rick Winfrey
d649a514af
Update tests
2017-12-01 13:36:38 -08:00
Rick Winfrey
df52854ef0
Merge branch 'master' into cyclomatic-complexity-decorator
2017-12-01 11:23:15 -08:00
Rob Rix
ecfd121575
Merge branch 'master' into 🔥 -monolithic-syntax
2017-12-01 12:28:19 -05:00
Rob Rix
4ccf265c4e
Opt the tests into using record syntax.
2017-11-30 11:12:23 -05:00
Rob Rix
2bbd4e7a49
Test that derived & generic showsPrec agree for infix constructors.
2017-11-30 10:47:53 -05:00
Rob Rix
6ce7ba6b2a
Rename the record test.
2017-11-30 10:45:52 -05:00
Rob Rix
517843b603
Test that generic Show1 shows record selectors.
2017-11-30 10:44:32 -05:00
Rob Rix
4b928a6c4e
Test that derived & generic showsPrec agree.
2017-11-30 10:41:26 -05:00
Rob Rix
221a88f452
Test that derived & generic equality agree.
2017-11-30 10:38:46 -05:00
Rob Rix
67f251e223
Combine the generic Eq1, Ord1, & Show1 implementations into a single module.
2017-11-30 10:24:48 -05:00
Rob Rix
f1c4b58797
Merge branch 'musical-modules' into 🔥 -monolithic-syntax
2017-11-28 11:59:38 -05:00
Rob Rix
41020b7eae
Extract the Declaration algebras into a new module.
2017-11-28 09:17:41 -05:00
Rob Rix
87d533cc2b
Rename Language to Data.Language.
2017-11-27 14:17:48 -05:00
Rob Rix
a442bfeea1
Rename the Term spec.
2017-11-27 14:02:03 -05:00
Rob Rix
80fce5b41e
Rename the Diff spec.
2017-11-27 13:59:44 -05:00
Rob Rix
f4960b0a0d
Rename the Source spec.
2017-11-27 13:49:52 -05:00
Rob Rix
266bd1199a
Rename the RWS spec.
2017-11-27 13:48:43 -05:00
Rob Rix
a8e8489fcb
Rename the assignment spec.
2017-11-27 13:47:04 -05:00
Rob Rix
3ebb972bd8
Move the Node datatype & AST synonym into Data.AST.
2017-11-27 13:45:37 -05:00
Rob Rix
fd31babd62
Rename Decorator to Decorating.Decorator.
2017-11-27 13:36:00 -05:00
Rob Rix
3a3ed72f96
Rename Renderer to Rendering.Renderer.
2017-11-27 13:30:38 -05:00
Rob Rix
9bfd64905d
Rename Data.Syntax.Assignment to Assigning.Assignment.
2017-11-27 13:19:20 -05:00
Rob Rix
bb21a24a93
Rename RWS to Diffing.Algorithm.RWS.
2017-11-27 11:51:39 -05:00
Rob Rix
cdefcdb33d
Rename Interpreter to Diffing.Interpreter.
2017-11-27 11:45:08 -05:00
Rob Rix
cfd27ec20c
Rename Algorithm -> Diffing.Algorithm.
2017-11-27 11:42:57 -05:00
Rob Rix
3a06686361
Rename Data.Syntax.Algebra to Decorator.
2017-11-22 17:21:22 -05:00
