1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Commit Graph

79 Commits

Author SHA1 Message Date
Rob Rix
3787f735fb Don’t add spaces after separators. 2015-10-07 17:42:43 -04:00
Rob Rix
cb33717fb9 🔥 Syntax.reduce. 2015-10-06 12:17:51 -04:00
Rob Rix
69b8028750 🔥 Term.swift. 2015-10-06 12:17:38 -04:00
Rob Rix
b910fdba46 Section header for Syntax.map. 2015-10-06 11:08:39 -04:00
Rob Rix
20bea59868 Add a Keyed case to Syntax. 2015-10-02 17:18:38 -04:00
Rob Rix
6657c5c0a5 Fix the debug description. 2015-10-02 17:13:27 -04:00
Rob Rix
7c69de54bc Rename Branch to Indexed. 2015-10-02 17:12:49 -04:00
Rob Rix
395fa8446f Note my keen desire to 🔥 Syntax.reduce forever. 2015-10-02 17:11:35 -04:00
Rob Rix
5ff17c8fc0 Syntax.Branch holds an array again. 2015-10-02 17:11:02 -04:00
Rob Rix
f14433871b Parameterize by leaf hashing. 2015-10-02 14:33:41 -04:00
Rob Rix
3d40071b44 Give the hash parameter an external label. 2015-10-02 14:32:35 -04:00
Rob Rix
43bdcd45c9 Parameterize Syntax equality by leaf type equality. 2015-10-02 14:15:13 -04:00
Rob Rix
296dbeea8f Add a section mark for Syntax equality. 2015-10-02 14:12:54 -04:00
Rob Rix
6d5fd97552 Add an external label for recurrence equality. 2015-10-02 14:12:46 -04:00
Rob Rix
45a7e372b5 Rename the recur parameter. 2015-10-02 14:12:19 -04:00
Rob Rix
05a7c1a037 Remove Syntax.Empty. 2015-10-02 12:37:09 -04:00
Rob Rix
6eb840f795 Remove the Tree constructor wrappers. 2015-10-02 12:31:19 -04:00
Rob Rix
49721679b6 Move Term equality into its file. 2015-10-01 15:26:15 -04:00
Rob Rix
906e502def Move Syntax equality into its file. 2015-10-01 15:25:49 -04:00
Rob Rix
4823a47f23 Rephrase parameterized equality as a static function. 2015-10-01 15:25:14 -04:00
Rob Rix
bba8dacbc4 Some documentation comments. 2015-10-01 14:25:17 -04:00
Rob Rix
8961ee9168 Branch has only one child. 2015-10-01 14:08:13 -04:00
Rob Rix
533e4578ea Comma-separate. 2015-10-01 14:01:19 -04:00
Rob Rix
dda95ed386 Require Term’s leaf type to be Equatable.
This is a bit of a hack.
2015-10-01 13:52:32 -04:00
Rob Rix
fae5fc5123 Correct Syntax.hash() to refer to Ordered. 2015-10-01 10:33:47 -04:00
Rob Rix
0013475516 Terms of Hashable leaf type can be hashed. 2015-10-01 09:54:44 -04:00
Rob Rix
c698280fc2 Pass the hashing function for the Recur type in. 2015-10-01 09:53:30 -04:00
Rob Rix
f3122f1bae Move JSON construction of Term into doubt-swift. 2015-09-30 15:08:19 -04:00
Rob Rix
d7a8c64806 Abbreviate the properties. 2015-09-30 15:03:42 -04:00
Rob Rix
82720340ef Wrap with Term(). 2015-09-30 15:03:37 -04:00
Rob Rix
d8c718130b Lose an annotation. 2015-09-30 15:03:30 -04:00
Rob Rix
2d0991b91f Abstract Term over a type parameter A. 2015-09-30 14:42:58 -04:00
Rob Rix
92d844f416 Extract the exception-for-control-flow ErrorType to global scope. 2015-09-30 14:40:30 -04:00
Rob Rix
88b677e1e0 Parameterize the type of Leaf. 2015-09-30 12:41:20 -04:00
Rob Rix
5529a502e3 Require Recur to be Hashable. 2015-09-30 12:40:49 -04:00
Rob Rix
de3ef64f48 Map using Hash.init. 2015-09-30 12:40:36 -04:00
Rob Rix
5fa07014a6 Replace all the other nodes with Branch. 2015-09-30 11:42:41 -04:00
Rob Rix
66b225fce3 Replace Case with a constructor. 2015-09-30 10:44:48 -04:00
Rob Rix
b581b8b71d Rename String to Label. 2015-09-30 10:42:27 -04:00
Rob Rix
66141c95af Replace Literal/Variable with Leaf. 2015-09-30 10:36:25 -04:00
Rob Rix
1f253f4e12 Add a phantom type parameter to Syntax. 2015-09-30 10:31:48 -04:00
Rob Rix
308f81853d Rename the Payload type to Recur. 2015-09-30 10:29:38 -04:00
Rob Rix
4348604e66 Remove the typealias. 2015-09-30 10:29:32 -04:00
Rob Rix
31d35c854b Term is AlgebraicHashable. 2015-09-29 17:03:18 -04:00
Rob Rix
586def93cd Syntax<A: AlgebraicHashable> implements hash. 2015-09-29 17:03:11 -04:00
Rob Rix
7925347d21 Debug print abstraction bodies correctly. 2015-09-29 17:02:57 -04:00
Rob Rix
50e8223f18 Whitespaaaace. 2015-09-29 12:49:19 -04:00
Rob Rix
c3e8d9a801 Remove Term.Empty. 2015-09-29 12:48:53 -04:00
Rob Rix
17271ff2ce Add a constructor for empty terms. 2015-09-29 12:48:35 -04:00
Rob Rix
8c1b249df2 Add an Empty case to Syntax. 2015-09-29 12:44:47 -04:00