Skip to content

5.0.1
Compare
Choose a tag to compare
@favonia favonia released this 25 May 21:24
· 33 commits to main since this release
5.0.1
This tag was signed with the committer’s verified signature. The key has expired.
favonia favonia
GPG key ID: 06210CB7076F1EEC
Expired
Verified
Learn about vigilant mode.
bf1499b
This commit was signed with the committer’s verified signature. The key has expired.
favonia favonia
GPG key ID: 06210CB7076F1EEC
Expired
Verified
Learn about vigilant mode.

This version involves breaking changes to the API. Note: please skip the bad version 5.0.0.

Bug Fixes

  • Scope: hide the internal Modifier completely (#109) (6e3ca4e)

Features

  • Language: add the abbreviation id = seq [] (#106) (12ffa87)
  • Scope: added import_singleton (#105) (c12f9c5)
  • Scope: many operations now take optional modifiers (#108) (8c1ded9)

BREAKING CHANGES

All breaking changes come with type changes. That is, if OCaml is still happy with your code that worked with 4.0.0, your code will work with 5.0.0.

  • Scope.Make is taking only one module with the type parameters, not also a module implementing Modifier.S. That is, you should change the code

    module Modifier = Yuujinchou.Modifier.Make(Param)
module Scope = Yuujinchou.Scope.Make(Param)(Modifier)

    to just the following line

    module Scope = Yuujinchou.Scope.Make(Param)

  • Scope.S.modify is removed; instead, many operations now take optional modifiers (#108) (8c1ded9)

  • Language.any is renamed to Language.all (#107) (313f616)

  • If you have been passing contexts to operations in Scope.S, the labels for optional context arguments might have been adjusted for uniformity. Previously, some context arguments were named context, but now they are uniformly named as conetext_visible, context_export, or context_modifier depending on their usage.

Assets 2
Loading