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
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
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
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
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
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
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
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
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
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
3a3ed72f96
Rename Renderer to Rendering.Renderer.
2017-11-27 13:30:38 -05:00
