PureScript v0.15.8 发布,小巧而强大的静态类型语言
PureScript v0.15.8 发布了。PureScript 是个小巧而强大的静态类型语言,可以编译成 JavaScript。PureScript 主要是由 Haskell 和 PureScript 编写的。
新功能:
生成的文档现在支持 dark 模式(#4438)。PureScript 文档有一个新的 dark 主题可用。它将根据你的浏览器或系统的配色方案偏好自动使用。
Bug 修复:
修复 instance deriving regression(#4432)
当类型不匹配时输出 type-error 发生的 label(#4411)
检查值声明时考虑 typed holes(#4437)。现在,编译器在为类型检查的值声明排序时会考虑 typed holes,从而允许建议更多 top-level values,而不是受限于 reverse lexicographical ordering。
Given:
module Main where newtype K = K Int aRinku :: Int -> K aRinku = K bMaho :: K bMaho = ?help 0 cMuni :: Int -> K cMuni = K dRei :: Int -> K dRei _ = bMaho
Before:
Hole 'help' has the inferred type Int -> K You could substitute the hole with one of these values: Main.cMuni :: Int -> K Main.K :: Int -> K
After:
Hole 'help' has the inferred type Int -> K You could substitute the hole with one of these values: Main.aRinku :: Int -> K Main.cMuni :: Int -> K Main.K :: Int -> K
Other improvements:
Internal:
- 将 license/changelog scrips 更新到最新的 Stack 解析器(#4445)
更新说明:https://github.com/purescript/purescript/releases/tag/v0.15.8

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
Redmine 4.2.10 和 5.0.5 发布
Redmine 4.2.10 和 5.0.5 现已发布。Redmine 是一个网页界面的项目管理与缺陷跟踪管理系统的自由及开放源代码软件工具。它集成了项目管理所需的各项功能:日历、燃尽图和甘特图以协助可视化表现项目与时间限制,问题跟踪和版本控制。此外,Redmine 也可以同时处理多个项目。 这 2 个维护版本包含一些安全修复程序,具体更新内容包括: 将 copyright 年份更新为 2023 年 Example plugin (extra/sample_plugin) 破坏Activity page Commonmarker 0.23.8 测试失败 允许使用 Puma 6.0.0 或更高版本 更新 RBPDF 到 1.21 重构:在 GroupsController 中使用 Group.visible 而不是手动可见性检查 Time Entry Import无法导入具有“User”格式的自定义字段 提及带有某些字符的用户时呈现不正确 当所有的 issue 日志都有注释和属性变化时,"Property changes"标签不会出现 从 Redmine 生成的 PDF 中复制时字符不正...
- 下一篇
Rescuezilla 2.4.2 发布,系统修复型发行版
Rescuezilla 是基于 Ubuntu 的专业 Linux 发行版,主要用于系统修复等救援工作。它有极其易于使用的图形环境,包括完整的系统备份、裸机恢复、分区编辑、取消删除文件、Web 浏览等功能。 目前 Rescuezilla 2.4.2 发布了,该版本带来如下更改: 删除了为 v2.3 (2021-12-24) 引入的 Intel 屏幕撕裂修复程序,该修复程序应修复 Intel 显卡上的黑屏 ( #281 ) 引入 Ubuntu 22.10 (Kinetic) 以获得对最新硬件的最佳支持,但将默认构建保留为 Ubuntu 22.04 (Jammy) 重新引入 32 位(Intel i386)构建,目前基于 Ubuntu 18.04(仿生)(#232),在 Rescuezilla v2.0 中暂时删除 注意:Partclone 向后兼容性不完善,32 位版本使用旧的 Ubuntu 存储库 partclone 版本,而不是最新编译版本 修复了 v2.4 中引入的备份模式损坏的 SSH 端口字段 ( #385 ) 安装 lxappearance(#274)、hexdump(bsdm...
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
推荐阅读
最新文章
- Docker使用Oracle官方镜像安装(12C,18C,19C)
- SpringBoot2全家桶,快速入门学习开发网站教程
- Docker快速安装Oracle11G,搭建oracle11g学习环境
- Hadoop3单机部署,实现最简伪集群
- Linux系统CentOS6、CentOS7手动修改IP地址
- CentOS8安装Docker,最新的服务器搭配容器使用
- CentOS7编译安装Cmake3.16.3,解决mysql等软件编译问题
- CentOS7编译安装Gcc9.2.0,解决mysql等软件编译问题
- CentOS8编译安装MySQL8.0.19
- CentOS7设置SWAP分区,小内存服务器的救世主