gfngfn/SATySFi issues and pull requests

#336 - Make modules and staging constructs coexist

Pull Request - State: closed - Opened by gfngfn over 2 years ago

#335 - Perform the static interpretation

Pull Request - State: closed - Opened by gfngfn over 2 years ago

#322 - Add nix support

Pull Request - State: open - Opened by Nymphium almost 3 years ago - 4 comments

#315 - fix #306. use pcre-ocaml as regexp backend

Pull Request - State: open - Opened by leque about 3 years ago
Labels: breaking change

#311 - Try building with oldest dependencies

Pull Request - State: open - Opened by na4zagin3 about 3 years ago

#294 - [WIP] Develop 0.1.0

Pull Request - State: open - Opened by gfngfn over 3 years ago - 2 comments

#290 - Add char

Pull Request - State: open - Opened by puripuri2100 over 3 years ago - 6 comments

#182 - Add some list functions.

Pull Request - State: open - Opened by puripuri2100 over 5 years ago - 5 comments
Labels: enhancement

#179 - Improve hyphenation pattern matching

Pull Request - State: open - Opened by matsud224 almost 6 years ago
Labels: enhancement

#100 - Fix types of documented primitives

Pull Request - State: closed - Opened by na4zagin3 over 6 years ago - 1 comment

#99 - rewrite gen_code.rb in OCaml

Pull Request - State: closed - Opened by leque over 6 years ago - 4 comments
Labels: refactoring

#98 - Update demo to make it typesetable.

Pull Request - State: closed - Opened by omasanori over 6 years ago - 1 comment

#97 - Download Junicode and IPAex fonts by `make lib`.

Pull Request - State: closed - Opened by omasanori over 6 years ago - 2 comments

#96 - Check doc builds

Pull Request - State: open - Opened by qnighy over 6 years ago - 1 comment

#95 - Fix docs regarding recent breaking changes.

Pull Request - State: closed - Opened by qnighy over 6 years ago - 1 comment

#94 - Fails to compile x'_1^2

Issue - State: closed - Opened by qnighy over 6 years ago

#93 - fix doc/math1.saty

Pull Request - State: closed - Opened by theoremoon over 6 years ago - 1 comment

#92 - Add name suggestion on error message

Pull Request - State: closed - Opened by matsud224 over 6 years ago - 1 comment
Labels: enhancement

#91 - build with dune

Pull Request - State: closed - Opened by leque over 6 years ago - 2 comments

#90 - Add exhaustiveness checker

Pull Request - State: closed - Opened by matsud224 over 6 years ago
Labels: enhancement

#89 - Force to install camlimages >=5.0.1

Pull Request - State: closed - Opened by nekketsuuu over 6 years ago - 1 comment

#88 - Fix stack overflow bug of VM

Pull Request - State: closed - Opened by matsud224 over 6 years ago - 1 comment
Labels: bug

#87 - VM causes strange stack overflow (while naïve interpreter does NOT)

Issue - State: closed - Opened by gfngfn over 6 years ago
Labels: bug

#86 - remove camlimages' version constraint for OPAM

Pull Request - State: closed - Opened by nekketsuuu over 6 years ago - 1 comment

#85 - Bit operations

Pull Request - State: closed - Opened by konn over 6 years ago - 2 comments
Labels: enhancement

#84 - The most recent SATySFi fails to build on macOS

Issue - State: closed - Opened by konn over 6 years ago - 2 comments

#83 - Byte-compiler supported version won't compile on macOS with ruby-2.5.0

Issue - State: closed - Opened by konn over 6 years ago - 5 comments

#82 - Fixed lexer not to ignore beginning-of-line spaces

Pull Request - State: closed - Opened by matsud224 over 6 years ago - 2 comments
Labels: bug

#81 - Can we shadow primitive types?

Issue - State: open - Opened by nekketsuuu over 6 years ago - 2 comments
Labels: bug

#80 - Feature request: use type constructors outside a module

Issue - State: open - Opened by nekketsuuu over 6 years ago - 1 comment
Labels: enhancement, language design

#79 - Feature request: module open

Issue - State: closed - Opened by nekketsuuu over 6 years ago - 1 comment
Labels: enhancement, language design

#78 - Simplify .merlin file

Pull Request - State: closed - Opened by nekketsuuu over 6 years ago - 3 comments

#77 - add bytecode compiler and vm

Pull Request - State: closed - Opened by matsud224 over 6 years ago - 1 comment
Labels: enhancement

#76 - Add header to tests/glue1.saty

Pull Request - State: closed - Opened by nekketsuuu over 6 years ago

#75 - A new syntax for string literals

Issue - State: closed - Opened by gfngfn over 6 years ago - 1 comment
Labels: enhancement, language design

#74 - simplify `opam install` invocation in .travis.yml

Pull Request - State: closed - Opened by leque over 6 years ago - 1 comment

#73 - add new math commands

Pull Request - State: closed - Opened by forestaa over 6 years ago - 3 comments

#72 - add demo/satysfi-logo.jpg to generate demo.pdf

Pull Request - State: open - Opened by e-kwsm almost 7 years ago - 4 comments

#71 - A new syntax sugar for math list

Issue - State: closed - Opened by gfngfn almost 7 years ago - 1 comment
Labels: enhancement, language design

#70 - Handle JPEG images with different color models

Pull Request - State: closed - Opened by sakas-- almost 7 years ago - 1 comment

#69 - Say crossref resolved only when no `?`.

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 4 comments

#68 - SATySFi says that all cross references were solved while they aren't

Issue - State: closed - Opened by yudai-nkt almost 7 years ago - 2 comments

#67 - Change root dirs in Win32.

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 7 comments

#66 - Add Nix installation method

Pull Request - State: open - Opened by mt-caret almost 7 years ago - 8 comments

#65 - Remove jbuilder pin as ocaml/dune#567 is resolved

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 3 comments

#64 - Broken embedded text information

Issue - State: closed - Opened by qnighy almost 7 years ago - 1 comment

#63 - Interpreter Optimization

Issue - State: closed - Opened by qnighy almost 7 years ago
Labels: enhancement

#62 - Use opam repo

Pull Request - State: closed - Opened by nekketsuuu almost 7 years ago - 4 comments

#61 - Pushing back patches of external dependencies

Issue - State: closed - Opened by qnighy almost 7 years ago - 2 comments

#60 - Implements `string-compare`

Pull Request - State: open - Opened by konn almost 7 years ago - 2 comments
Labels: enhancement

#59 - Odd behaviour of type with multiple parameters

Issue - State: closed - Opened by konn almost 7 years ago - 2 comments
Labels: bug

#58 - use Junicode fonts in stdja.satyh

Pull Request - State: closed - Opened by pandaman64 almost 7 years ago - 1 comment

#57 - Nested partial application of polymorphic functions results in Stack Overflow at compile time

Issue - State: open - Opened by konn almost 7 years ago - 4 comments
Labels: bug

#56 - Implements `string_scan`

Pull Request - State: closed - Opened by konn almost 7 years ago - 1 comment
Labels: enhancement

#55 - Unicode-aware string primitives

Pull Request - State: closed - Opened by konn almost 7 years ago - 1 comment
Labels: enhancement

#54 - Parser error reform

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 3 comments
Labels: enhancement, refactoring

#53 - reduce prerequisite (use curl if possible)

Pull Request - State: closed - Opened by nyuichi almost 7 years ago - 5 comments
Labels: build

#52 - mention homebrew formula

Pull Request - State: closed - Opened by nyuichi almost 7 years ago - 1 comment
Labels: build, document

#51 - Type constructor order

Issue - State: closed - Opened by qnighy almost 7 years ago - 1 comment
Labels: language design

#50 - Switch to comma-separated lists?

Issue - State: closed - Opened by qnighy almost 7 years ago - 10 comments
Labels: language design

#49 - Update installation instructions to avoid issue #46.

Pull Request - State: closed - Opened by qnighy almost 7 years ago
Labels: build

#48 - Implements `break-on-regex` and `string-match` primitives

Pull Request - State: closed - Opened by konn almost 7 years ago - 4 comments
Labels: enhancement

#47 - Workaround travis error by pinning versions.

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 3 comments
Labels: build

#46 - Travis started to fail

Issue - State: closed - Opened by qnighy almost 7 years ago - 8 comments
Labels: bug

#45 - Remove uCoreLib from dependencies

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 1 comment
Labels: refactoring

#44 - Add .editorconfig.

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 2 comments

#43 - A collection of refactoring/bugfixes to the lexer

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 1 comment
Labels: bug, refactoring

#42 - Remove redundant dependencies for macOS

Pull Request - State: closed - Opened by equal-l2 almost 7 years ago - 7 comments
Labels: build, document

#41 - Remove unit token.

Pull Request - State: closed - Opened by qnighy almost 7 years ago - 1 comment

#40 - Switch from uCoreLib to uucp and utext

Issue - State: closed - Opened by objmagic almost 7 years ago - 2 comments
Labels: refactoring

#39 - Setup ocp-indent

Issue - State: open - Opened by objmagic almost 7 years ago

#38 - lib-satysfi is copied to unexpected directory when `opam install satysfi`

Issue - State: closed - Opened by nekketsuuu almost 7 years ago - 23 comments
Labels: bug

#37 - enable testing on CI

Issue - State: open - Opened by nekketsuuu almost 7 years ago - 2 comments

#36 - Add autoconf in README.md to be required on macOS

Pull Request - State: closed - Opened by iwasa-kosui almost 7 years ago - 6 comments

#35 - autoconf is required to install SATySFi, autoconf is not preinstalled on macOS and Ubuntu

Issue - State: closed - Opened by iwasa-kosui almost 7 years ago - 6 comments

#34 - Support multiple configuration directories

Pull Request - State: closed - Opened by nyuichi almost 7 years ago - 2 comments

#33 - Faster Travis CI

Pull Request - State: closed - Opened by nekketsuuu almost 7 years ago - 7 comments

#32 - add some math commands to math.satyh

Pull Request - State: closed - Opened by ToruNiina almost 7 years ago - 7 comments
Labels: enhancement

#31 - Inconsistency about the `/ColorSpace` entry for embedded JPEG images

Issue - State: closed - Opened by gfngfn almost 7 years ago - 3 comments
Labels: bug

#30 - Add a command line option --type-check-only

Pull Request - State: closed - Opened by sakas-- almost 7 years ago - 5 comments
Labels: enhancement

#29 - How about using labels to categorize issues?

Issue - State: closed - Opened by nekketsuuu almost 7 years ago - 1 comment

#28 - Consider adding a polymorphic version of `itemize`

Issue - State: open - Opened by gfngfn almost 7 years ago
Labels: enhancement

#27 - fix CI error on MacOS (fix #24)

Pull Request - State: closed - Opened by sunaemon almost 7 years ago - 2 comments
Labels: build

#26 - consider using ocamlgraph for some graph structure implementation

Issue - State: open - Opened by objmagic almost 7 years ago
Labels: refactoring

#25 - Add more explicit installation instructions

Pull Request - State: closed - Opened by nekketsuuu almost 7 years ago - 1 comment
Labels: build

#24 - Travis CI for macOS always failed

Issue - State: closed - Opened by nekketsuuu almost 7 years ago - 3 comments
Labels: build

#23 - Missing dependency of uchar

Issue - State: closed - Opened by nekketsuuu almost 7 years ago - 5 comments
Labels: build

#22 - Set version and release

Issue - State: closed - Opened by nekketsuuu almost 7 years ago - 1 comment

#21 - Switch to dune

Issue - State: closed - Opened by objmagic almost 7 years ago - 1 comment
Labels: build

#20 - Add Dockerfile

Pull Request - State: closed - Opened by TETRA2000 almost 7 years ago - 1 comment

#19 - show expanded path to SATYSFI_LIB_ROOT

Pull Request - State: closed - Opened by na4zagin3 almost 7 years ago - 2 comments

#18 - Fix post-install message

Issue - State: closed - Opened by na4zagin3 almost 7 years ago - 2 comments

#17 - `cd tests ; make` fails due to missing files

Issue - State: closed - Opened by na4zagin3 almost 7 years ago - 2 comments

#16 - bump camel version to >= 4.06.0

Pull Request - State: closed - Opened by objmagic almost 7 years ago - 7 comments
Labels: build

#15 - Support OCaml >= 4.06.0

Issue - State: closed - Opened by objmagic almost 7 years ago - 1 comment
Labels: build

#14 - Use opam repo instead of submodules

Issue - State: closed - Opened by objmagic almost 7 years ago - 12 comments
Labels: build

#13 - Should we manually install Arno Pro fonts?

Issue - State: closed - Opened by nekketsuuu almost 7 years ago - 4 comments

#12 - `opam install satysfi` doesn't terminate (due to timeout of unicode.org)

Issue - State: closed - Opened by nekketsuuu almost 7 years ago - 1 comment
Labels: bug, build

#11 - update core to v0.10.0

Pull Request - State: closed - Opened by nekketsuuu almost 7 years ago - 1 comment
Labels: build

#10 - (Unix.Unix_error "Illegal seek" sysconf "") with glibc-2.26

Issue - State: closed - Opened by nekketsuuu almost 7 years ago

GitHub / gfngfn/SATySFi issues and pull requests