Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Develop how to load files in packages and use it for handling hyphenation dictionaries #436

Merged

Conversation

gfngfn
Copy link
Owner

@gfngfn gfngfn commented Mar 25, 2024

As a first step toward loading local files in packages, we introduce a very straightforward mechanism, here : string, for referring to the directory of the source file.

  • Add token here
  • Add base type hyphenation
  • Add primitive set-hyphenation-dictionary : hyphenation -> context -> context
  • Add primitive load-hyphenation-dictionary : string -> hyphenation
  • Create package hyph-english and migrate english.satysfi-hyph to it
  • Remove the hardcoded loading operation of english.satysfi-hyph from satysfi
  • Register hyph-english to the package registry
  • Make document classes use hyph-english
  • Register document classes to the package registry

@gfngfn gfngfn mentioned this pull request Mar 26, 2024
34 tasks
@gfngfn gfngfn changed the title [WIP] Develop how to load files in packages Develop how to load files in packages Mar 26, 2024
@gfngfn gfngfn changed the title Develop how to load files in packages Develop how to load files in packages and use it for handling hyphenation dictionaries Mar 26, 2024
@gfngfn gfngfn marked this pull request as ready for review March 26, 2024 08:41
@gfngfn gfngfn merged commit 891ac43 into dev-0-1-0-separate-saphe-from-satysfi Mar 26, 2024
4 checks passed
@gfngfn gfngfn deleted the dev-how-to-load-files-in-packages branch March 26, 2024 08:51
@gfngfn gfngfn restored the dev-how-to-load-files-in-packages branch March 26, 2024 13:44
@gfngfn gfngfn deleted the dev-how-to-load-files-in-packages branch April 7, 2024 18:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant