github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-04 13:34:31 +03:00
Code Issues Projects Releases Wiki Activity
947 Commits 19 Branches 16 Tags 46 MiB
dd48510b65
Commit Graph

853 Commits

Author SHA1 Message Date
Rob Rix
dd48510b65 Original terms can be recovered without annotations. 2015-10-15 09:12:34 -04:00
Rob Rix
3356a11805 Remove the redundant Free/Fix construction. 
This was handled by Free/TermType construction.
 2015-10-15 09:09:58 -04:00
Rob Rix
89720c8e65 Test SES over Cofree terms. 2015-10-15 09:08:30 -04:00
Rob Rix
adca66f66c Define parameterized equality over TermType. 2015-10-15 09:05:40 -04:00
Rob Rix
a40ae08ac5 Correct a comment. 2015-10-15 09:01:07 -04:00
Rob Rix
18d19173c0 Remove the Fix → Cofree constructor. 2015-10-15 08:58:48 -04:00
Rob Rix
70b7e56b9c Remove Doc. 2015-10-15 08:55:53 -04:00
Rob Rix
ca922b2283 Free is no longer CustomDocConvertible. 2015-10-15 08:55:26 -04:00
Rob Rix
2bfe2e2eab Fix is no longer CustomDocConvertible. 2015-10-15 08:55:01 -04:00
Rob Rix
064e5f1faa Patch is no longer CustomDocConvertible. 2015-10-15 08:54:33 -04:00
Rob Rix
eba7c9bfbd Remove DocTests.swift. 2015-10-15 08:54:04 -04:00
Rob Rix
31eb3f2b4a Syntax is no longer CustomDocConvertible. 2015-10-15 08:53:46 -04:00
joshvera
46010e3096 Merge branch 'master' into diff-cofree-values 2015-10-14 16:49:28 -04:00
Josh Vera
df31170dc8 Merge pull request #107 from github/generalize-patch 
Generalize Patch
 2015-10-14 16:47:57 -04:00
Josh Vera
d49986c671 Merge pull request #102 from github/charge-a-constant-cost-to-patches 
Charge a constant cost to patches
 2015-10-14 16:47:47 -04:00
Rob Rix
025d43379e Merge branch 'master' into diff-cofree-values 2015-10-14 16:46:07 -04:00
Rob Rix
4690ae6533 Merge branch 'master' into generalize-patch 2015-10-14 16:45:33 -04:00
Josh Vera
99c4e8556e Merge pull request #109 from github/literal-syntax-construction 
Literal syntax construction
 2015-10-14 16:44:25 -04:00
Matt Diephouse
6eff8d6f82 Merge pull request #101 from github/parameterize-algorithm-evaluation-by-comparison-restriction 
Parameterize Algorithm evaluation by comparison restriction
 2015-10-14 16:42:03 -04:00
Rob Rix
86df4c6a87 Syntax is DictionaryLiteralConvertible. 2015-10-14 16:03:14 -04:00
Rob Rix
76ca906097 Syntax is ArrayLiteralConvertible. 2015-10-14 16:02:33 -04:00
Rob Rix
105b57566b Replace the JSON fixtures with much cooler JSON fixtures. 2015-10-14 14:40:47 -04:00
Rob Rix
ed004ca4c1 Annotate terms with their sizes. 2015-10-14 14:40:21 -04:00
Rob Rix
645e038982 Compute the size of syntax trees. 2015-10-14 14:32:26 -04:00
Rob Rix
6b781622b6 Add the annotations to the JSON. 2015-10-14 14:22:19 -04:00
Rob Rix
abd037796a Annotate JSON with integers. 2015-10-14 14:21:12 -04:00
Rob Rix
1fc7771918 Int is CustomJSONConvertible. 2015-10-14 14:20:58 -04:00
Rob Rix
f34af098d3 String is CustomJSONConvertible. 2015-10-14 14:20:13 -04:00
Rob Rix
29001b713c Diff JSON in Cofree. 2015-10-14 14:17:56 -04:00
Rob Rix
07690849a6 Convenience for constructing Cofree with autoclosures. 2015-10-14 14:17:29 -04:00
Rob Rix
9afc487776 Cofree is a TermType. 2015-10-14 14:05:43 -04:00
Rob Rix
714f99638e Abstract Algorithm over a Term type. 2015-10-14 14:04:47 -04:00
Rob Rix
7e9a41dfbd Make the Roll case indirect. 2015-10-14 14:04:35 -04:00
Rob Rix
b8dca6fe2a Call evaluate with equality. 2015-10-14 14:03:46 -04:00
Rob Rix
79708346e0 Correct the Diff typealias. 2015-10-14 14:00:46 -04:00
Rob Rix
3e75895c4d Fix is a TermType. 2015-10-14 13:57:21 -04:00
Rob Rix
92cb1927d1 Move Term/Diff to the top level. 2015-10-14 13:57:12 -04:00
Rob Rix
4fb38d612e Add a constructor for Free over arbitrary TermType. 2015-10-14 13:52:43 -04:00
Rob Rix
6f886356aa Add a TermType protocol. 2015-10-14 13:52:25 -04:00
Rob Rix
6188a5a2d7 Move FreeConvertible to Free.swift. 2015-10-14 13:34:29 -04:00
Rob Rix
01b32b010f Rename Algorithm’s A type parameter to Leaf. 2015-10-14 13:33:51 -04:00
Rob Rix
31d905ac64 Merge branch 'generalize-patch' into diff-cofree-values 2015-10-14 13:31:00 -04:00
Rob Rix
436708bb3b 🔥 chaff. 2015-10-14 13:16:27 -04:00
Rob Rix
09fad58fd7 Correct a comment. 2015-10-14 12:46:16 -04:00
Rob Rix
b8f8953f1c Return the identity diff when equal. 2015-10-14 12:29:40 -04:00
Rob Rix
517c87c303 Revert "Revert "SES does not take an equality test."" 
This reverts commit bb73f6eac2b59599607369767e9e221e7e5e0f15.
 2015-10-14 12:28:45 -04:00
Rob Rix
d0d96d569d Revert "Pass the correct equality function to SES." 
This reverts commit e78c6cde10ad70e93ab003ceacc07db290b061e4.
 2015-10-14 12:28:41 -04:00
Rob Rix
432c9f7239 Pass the correct equality function to SES. 2015-10-14 12:26:25 -04:00
Rob Rix
a7f4d91d56 Revert "SES does not take an equality test." 
This reverts commit 1db8bdf82c85a490188882b810cd9c516e4f210e.

Conflicts:
	prototype/Doubt/SES.swift
	prototype/DoubtTests/SESTests.swift
 2015-10-14 12:25:38 -04:00
Rob Rix
8d4a91d3a9 Merge branch 'parameterize-algorithm-evaluation-by-comparison-restriction' into generalize-patch 
Conflicts:
	prototype/Doubt/SES.swift
	prototype/DoubtTests/SESTests.swift
 2015-10-14 12:24:04 -04:00