unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-04 13:47:26 +03:00
Code Issues Projects Releases Wiki Activity
8,155 Commits 424 Branches 92 Tags 407 MiB
699094097f
Commit Graph

8155 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Arya Irani
699094097f
Update release-steps.md 2021-09-27 21:08:39 -04:00
Paul Chiusano
0c6b1b7a9d
Update release-steps.md 2021-09-27 19:14:13 -05:00
Paul Chiusano
2125e78e41
Update release-steps.md 2021-09-27 12:55:26 -05:00
Paul Chiusano
0711e35fde
Create release-steps.md 2021-09-27 12:51:36 -05:00
Paul Chiusano
f45f62035f
Merge pull request #2436 from unisonweb/fix/ui-229 
Numbered list backend doc rendering fix
 2021-09-27 11:56:22 -05:00
Paul Chiusano
53201a86c2
Merge pull request #2437 from alvaroc1/trunk 
Fixes the type of the newly added ##IO.systemTimeMicroseconds.v1
 2021-09-25 16:50:34 -05:00
Alvaro Carrasco
575f348a33
Merge branch 'unisonweb:trunk' into trunk 2021-09-25 14:05:44 -06:00
Alvaro Carrasco
fc78cc1899 Fix type of ##IO.systemTimeMicroseconds 2021-09-25 14:01:21 -06:00
Paul Chiusano
4f2eef6775
Merge pull request #2418 from alvaroc1/trunk 
New version of systemTime that returns an Int representing microseconds
 2021-09-25 14:26:26 -05:00
Alvaro Carrasco
1e5a509931 Renamed to systemTimeMicroseconds and updated transcripts 2021-09-25 11:29:57 -06:00
Alvaro Carrasco
a75c843819 Merge branch 'trunk' of https://github.com/alvaroc1/unison into trunk 2021-09-25 10:28:22 -06:00
Alvaro Carrasco
ed16f1fb00
Merge branch 'unisonweb:trunk' into trunk 2021-09-25 10:28:09 -06:00
Alvaro Carrasco
ac97f4388f Merge branch 'master' of https://github.com/alvaroc1/unison into trunk 2021-09-25 10:27:29 -06:00
Paul Chiusano
38ebccc201 Numbered list backend doc rendering fix 2021-09-24 17:18:26 -05:00
mergify[bot]
d048205d98
Merge pull request #2433 from unisonweb/topic/hash-module-v1b 
extract hashing modules
 2021-09-24 19:25:09 +00:00
Rúnar
fdc6e8d382
Merge pull request #2432 from unisonweb/topic/letblockparen 
Add parens around let blocks, fix delayed effect parser
 2021-09-24 15:04:04 -04:00
Arya Irani
6900889c3f cleanup 2021-09-24 14:49:25 -04:00
Arya Irani
79b2d90f21 clear old comment 2021-09-24 14:42:25 -04:00
Rúnar
2a27e55c6f Determine if a delayed term is a block 2021-09-24 14:27:00 -04:00
Arya Irani
61495a76b3 delete some extra junk 2021-09-24 14:16:14 -04:00
Arya Irani
c2f8fbe803 Merge remote-tracking branch 'origin/trunk' into topic/hash-module-v1b 
# Conflicts:
#	parser-typechecker/src/Unison/Codebase.hs
#	unison-core/src/Unison/Type.hs
 2021-09-24 14:08:54 -04:00
Arya Irani
2f7fb633d7 fix up some hashing/watchkinds bugs 2021-09-24 13:55:43 -04:00
Rúnar
c0f7da86a9 Run roundtrip transcripts automatically 2021-09-23 20:59:20 -04:00
Arya Irani
d387465334 remove some commented code and imports 2021-09-23 15:41:33 -04:00
Arya Irani
493748925d formatting 2021-09-23 15:40:16 -04:00
Arya Irani
5eeb95062b remove some commented code and imports 2021-09-23 15:37:12 -04:00
Rúnar
4b859d6d91 Add parens around let blocks, fix type parser 2021-09-23 15:22:32 -04:00
Arya Irani
f4cdaba953 split out Hashing.V2 and use that for the application 
it's not finalized yet; it will still change when we update it to not include reference cycle length
 2021-09-23 14:15:52 -04:00
Rúnar
9831f5ae86 Merge branch 'trunk' of github.com:unisonweb/unison into topic/letblockparen 2021-09-22 21:24:13 -04:00
Cody Allen
00057b691d
Merge pull request #2430 from ceedubs/remote-support 
Code (de)serialization fixes
 2021-09-22 14:40:45 -07:00
Cody Allen
1f0cf09c85
Merge branch 'trunk' into remote-support 2021-09-22 14:15:00 -07:00
mergify[bot]
3997ba5aee
Merge pull request #2427 from unisonweb/topic/emphroundtrip 
Fix emphasis roundtrip in docs
 2021-09-22 19:52:35 +00:00
Rúnar
671397661a Remove commented-out code 2021-09-22 15:26:17 -04:00
Rúnar
49ea7731fd Changes to doc basic formatting syntax. 
* Allow ~~ to contain ~
* Make ** bold and __ italic
 2021-09-22 15:23:53 -04:00
mergify[bot]
22f1587448
Merge pull request #2428 from unisonweb/debug/missing-data-case 
Add better diagnostics when compilation fails with missing data case
 2021-09-22 17:57:41 +00:00
Paul Chiusano
f3016d1636 Added better diagnostics when compilation fails with missing data case 2021-09-22 12:14:05 -05:00
Rúnar
bce149eca5 Add failing test 2021-09-22 12:20:56 -04:00
Rúnar
7745fbba4b Fix emphasis roundtrip in docs 2021-09-22 11:07:29 -04:00
Dan Doel
bcdb0d551b Transcript updates 
- Added some codeops tests using the new validate
- Updated other transcript output for new builtins
 2021-09-21 17:46:00 -04:00
Dan Doel
9471ad50cd Tweak Code.validate 
- Expose the internal compiler bugs as a Failure in unison
 2021-09-21 16:16:26 -04:00
Dan Doel
f907702d66 Missed abstracting pattern variables in Code deserialization 2021-09-21 12:43:32 -04:00
Dan Doel
6f7db762c3 Add a builtin for displaying Code 2021-09-21 12:36:00 -04:00
Paul Chiusano
fe38701b0b
Merge pull request #2421 from alvaroc1/bug/2325 
Fixed built-in IO ability to be reported as Ability on Server
 2021-09-20 15:49:01 -05:00
Dan Doel
a7d74e631f Code validation builtin for testing/debugging 2021-09-20 16:46:28 -04:00
Alvaro Carrasco
abee4d14d3 Removed comment that was no longer relevant 2021-09-20 14:24:57 -06:00
Alvaro Carrasco
1c0d51caa3 Added STM to the list of built-in abilities reported by the server 2021-09-20 13:59:59 -06:00
Alvaro Carrasco
be58064865 Removed new reference to built-in IO ability in favor of existing reference 2021-09-20 12:11:07 -06:00
Paul Chiusano
83606946e5
Merge pull request #2420 from unisonweb/remove-trace-from-fieldnames 
Remove trace from fieldnames
 2021-09-20 09:31:02 -05:00
Alvaro Carrasco
104d592546 Fixed built-in IO ability to be reported as Ability on Server 2021-09-19 13:24:12 -06:00
Simon Højberg
81535245ef Remove trace from fieldnames 
The trace snug through to the merge. Remove it, and avoid random print
statements when running UCM.
 2021-09-19 13:12:54 -04:00