Created
November 21, 2024 23:53
-
-
Save bbarker/385f933e1434248892c9f8adedadfa46 to your computer and use it in GitHub Desktop.
upgrade blog ok
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
bblog-entries/main> project.create test-blog-upgrade | |
🎉 I've created the project test-blog-upgrade. | |
I'll now fetch the latest version of the base Unison library... | |
🎨 Type `ui` to explore this project's code in your browser. | |
🔭 Discover libraries at https://share.unison-lang.org | |
📖 Use `help-topic projects` to learn more about projects. | |
Write your first Unison code with UCM: | |
1. Open scratch.u. | |
2. Write some Unison code and save the file. | |
3. In UCM, type `add` to save it to your new project. | |
🎉 🥳 Happy coding! | |
test-blog-upgrade/main> lib.install @unison/blog-engine | |
I installed @unison/blog-engine/releases/2.1.2 as unison_blog_engine_2_1_2. | |
test-blog-upgrade/main> | |
Loading changes detected in ~/workspace/blog/scratch.u. | |
I found and typechecked these definitions in ~/workspace/blog/scratch.u. If you do an `add` | |
or `update`, here's how your codebase would change: | |
⍟ These new definitions are ok to `add`: | |
sampleBlog : '{Exception, Cloud} Blog | |
(also named lib.unison_blog_engine_2_1_2.README.sampleBlog) | |
test-blog-upgrade/main> add | |
⍟ I've added these definitions: | |
sampleBlog : '{Exception, Cloud} Blog | |
(also named lib.unison_blog_engine_2_1_2.README.sampleBlog) | |
test-blog-upgrade/main> lib.install @unison/blog-engine/main | |
I installed @unison/blog-engine/main as unison_blog_engine_main. | |
test-blog-upgrade/main> ls lib | |
1. base/ (7408 terms, 182 types) | |
2. unison_blog_engine_2_1_2/ (382009 terms, 10067 types) | |
3. unison_blog_engine_main/ (383096 terms, 10093 types) | |
og_engine_main | |
I couldn't automatically upgrade unison_blog_engine_2_1_2 to unison_blog_engine_main. | |
However, I've added the definitions that need attention to the top of | |
/home/bbarker/workspace/blog/scratch.u. | |
When you're done, you can run | |
upgrade.commit | |
to merge your changes back into main and delete the temporary branch. Or, if you decide to | |
cancel the upgrade instead, you can run | |
delete.branch /upgrade-unison_blog_engine_2_1_2-to-unison_blog_engine_main | |
to delete the temporary branch and switch back to main. | |
main> | |
Loading changes detected in ~/workspace/blog/scratch.u. | |
I found a value of type: Optional (BlogContext -> [CSS] -> Html) ->{Exception, unison_cloud_19_0_0.Cloud} Blog | |
where I expected to find: Blog | |
1 | sampleBlog : '{Exception, unison_cloud_18_0_6.Cloud} Blog | |
2 | sampleBlog = do | |
3 | slug = "myblog" | |
4 | title = "My Blog" | |
main> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment