9526 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Chris Penner	50f7d045b5	Fix case where we create a new codebase	2022-02-16 16:24:23 -06:00
Chris Penner	c47594800c	Docs	2022-02-16 14:33:29 -06:00
Chris Penner	8334fbd970	Allow pushing to v2 codebases	2022-02-16 13:52:18 -06:00
Chris Penner	74fd82fe0e	Don't sync ALL test watches. (#2904) ... * Only sync hashes and watch expressions which actually match the requested watch type * Don't sync all test watch expressions indiscriminately.	2022-02-15 11:45:21 -06:00
Chris Penner	7ab73e5191	Merge pull request #2627 from unisonweb/topic/rehash-codebase ... Rehash Codebase Migration (schema v2)	2022-02-15 11:19:06 -06:00
Chris Penner	094f71b709	Use 'v2' branch for auto-pull of base on topic/rehash-codebase (#2902) ... * Use 'v2' branch of base to avoid needing to migrate base on every pull. This also allows us to keep v1 and v2 versions of base around during the transition period. * Fix version parsing tests. Co-authored-by: Arya Irani <538571+aryairani@users.noreply.github.com>	2022-02-15 10:41:14 -06:00
Paul Chiusano	ae3c53ee39	Merge pull request #2903 from unisonweb/anchor-headings	2022-02-14 16:39:25 -06:00
Simon Højberg	782a501484	docs.to-html headings should have an id ... To enable deep-linking to sections docs, construct an html id based on the heading text.	2022-02-14 15:41:29 -05:00
Chris Penner	3e3b44d1d1	Merge branch 'trunk' into topic/rehash-codebase	2022-02-14 13:31:57 -06:00
Arya Irani	3e80018dbf	Merge pull request #2900 from unisonweb/topic/avoid-System.Process.showCommandForUser	2022-02-14 12:16:25 -07:00
Simon Højberg	a9839676f6	Merge pull request #2893 from typechecker/add/contrib-philderbeast ... Add Phil de Joux as contributor.	2022-02-14 09:28:38 -05:00
Phil de Joux	5eaa9e447a	Don't say what's been contributed. ... Co-authored-by: Paul Chiusano <paul.chiusano@gmail.com>	2022-02-14 06:25:03 -05:00
Arya Irani	c77288c430	stop using Shellmet in Git.hs	2022-02-13 13:17:00 -07:00
Paul Chiusano	b31bbdafb1	Merge pull request #2895 from unisonweb/fix/nonlinear-effects ... 'Linearize' quantified ability variables for better inference	2022-02-12 19:28:40 -06:00
Dan Doel	8a46348ea2	Fix the 2712 test case to work for CI	2022-02-11 19:16:07 -05:00
Dan Doel	be901d5dab	More test cases.	2022-02-11 17:42:39 -05:00
Dan Doel	d649ad4b3d	Test cases.	2022-02-11 17:33:41 -05:00
Cody Allen	2a860ce83f	Merge pull request #2896 from ceedubs/fix-build ... Attempt to fix release Action	2022-02-11 11:18:34 -08:00
Cody Allen	81278fad5d	Fix build harder	2022-02-11 11:03:18 -08:00
Cody Allen	dfc441a086	Attempt to fix release Action	2022-02-11 10:59:35 -08:00
Paul Chiusano	e6122fa22a	Merge pull request #2894 from unisonweb/cp/shallow-fetch ... Use shallow clones for pull again	2022-02-11 12:37:22 -06:00
Dan Doel	1b81304f44	Tweak ability variables for better inference ... This inserts some processing when ungeneralizing types that should lead to better inference with the newer ability algorithm. It rewrites types like: (a ->{e} b ->{e} c) ->{e} d to: (a ->{e1} b ->{e2} c) ->{e1,e2} d which behave a bit better.	2022-02-11 12:21:21 -05:00
mergify[bot]	a6b826d8b9	Merge pull request #2883 from unisonweb/cp/numbered-todo ... Add numbered output to `todo`	2022-02-11 17:20:08 +00:00
Chris Penner	f927e611a7	Merge branch 'trunk' into cp/numbered-todo	2022-02-11 11:07:43 -06:00
Chris Penner	52a9b8f0cd	Merge branch 'trunk' into cp/numbered-todo	2022-02-11 11:04:10 -06:00
Chris Penner	fd1f37f8d1	Use shallow clones for pull	2022-02-11 10:32:51 -06:00
mergify[bot]	349de0c559	Merge pull request #2876 from unisonweb/cp/numbered-history ... Add numbering to history command	2022-02-10 18:53:13 +00:00
Chris Penner	4e9012f019	Merge branch 'trunk' into cp/numbered-history	2022-02-10 12:39:52 -06:00
Chris Penner	3359acf0d4	Fix Branch Hash printing	2022-02-10 12:38:37 -06:00
Chris Penner	7a241ecada	Properly show Branch Hashes.	2022-02-10 11:38:01 -06:00
Phil de Joux	a14f69c04c	Add Phil de Joux as contributor.	2022-02-10 12:31:38 -05:00
Chris Penner	72b3692489	Use full hashes in numberedArgs	2022-02-10 11:13:24 -06:00
Paul Chiusano	12027f54ab	Merge pull request #2888 from unisonweb/work/decompile-tweaks	2022-02-09 20:59:54 -06:00
mergify[bot]	accd8b0280	Merge pull request #2852 from unisonweb/np/fix-embed-type-link-lexing ... Fix incorrect keyword lexing in links in docs	2022-02-09 22:44:25 +00:00
Paul Chiusano	24586cfc71	Merge pull request #2853 from unisonweb/topic/fix2810 ... Make term printer output more backticks if needed.	2022-02-09 16:19:34 -06:00
Chris Penner	be57a82d4f	Add numbered output to view.patch (#2875) ... * Number 'view.patch' output * Add numbering to patches * Change transcript to use numbers rather than hashes * Update transcripts * use short-hash as lhs of patch outputs in numberedArgs	2022-02-09 16:01:52 -06:00
Dan Doel	f643ad677b	Fix some compilation issues related to keeping annotations ... Enclosing terms by lambdas relied upon the fact that expanding: \x y z -> .... to: \a b c x y z -> ... resulted in a single closed lambda term that would be caught by a lower case. However, we sometimes now create: \a b c -> (\x y z -> ...) : T and the inner lambda term is not closed. But, we don't want to re-close the inner lambda term and float it separately, because we will eventually just erase the annotation and produce the same series of abstractions as the previous behavior. So, `enclose` needed to detect this alternation of lambdas and an annotation. Floating of let rec bindings also needed to be more intelligent in a similar way. I'm unsure how this led to a compilation issue, but it did, and this seems to fix it.	2022-02-09 16:58:55 -05:00
Chris Penner	2186e962a2	Cleanup	2022-02-09 15:43:31 -06:00
Paul Chiusano	ac51a4a3bf	Merge pull request #2887 from unisonweb/dont-ignore-emojis ... doc.to-html: don't ignore callout emojis	2022-02-09 15:37:28 -06:00
Simon Højberg	0bf59478a8	doc.to-html: don't ignore callout emojis	2022-02-09 16:22:04 -05:00
Chris Penner	7de78186b6	Improve todo output.	2022-02-09 14:40:21 -06:00
Chris Penner	33d455ec24	Don't crash when typechecking higher-rank fields (#2866)	2022-02-09 14:15:26 -06:00
Chris Penner	add73b7ce2	Use numbered args to avoid hashes in resolve.md	2022-02-09 13:55:04 -06:00
Chris Penner	502746974e	Add missing todo transcript	2022-02-09 13:50:21 -06:00
Simon Højberg	45bb7c4810	Merge pull request #2854 from unisonweb/use-block-item-for-style ... docs.as-html: use block elements for Style	2022-02-09 14:39:46 -05:00
Chris Penner	c92a9528e9	Better number formatting	2022-02-09 13:37:11 -06:00
mergify[bot]	1f6aec594f	Merge pull request #2880 from unisonweb/fix-doc-content ... Use correct content when rendering docs as html	2022-02-09 19:36:03 +00:00
Simon Højberg	bac009c9f8	docs.as-html: use block elements for Style ... The `Style` variant is meant to wrap things to give them an appropriate css class, but needs to be a block element so that it can contain other block elements.	2022-02-09 14:23:31 -05:00
Simon Højberg	d445f3fc0c	Use correct content when rendering docs as html ... Fix a bug where only tooltips were being rendered.	2022-02-09 14:19:47 -05:00
Paul Chiusano	df3fd3d0f1	Merge pull request #2877 from unisonweb/fix/2387 ... fix the calling convention on the bunch of stuff	2022-02-09 12:29:03 -06:00