Fixes issue #34 #37

Open
vcolella wants to merge 1 commit from vcolella/fix-infinit-symbol-error into master
vcolella commented 2023-02-01 22:11:14 +00:00 (Migrated from github.com)

O símbolo ∞ não estava sendo capturado por nenhum regex na função Sintaxe.separar(), lançando sempre o erro de expressão inválida.

Para corrigir, foi adicionado o símbolo ao regex do .TIPO_DERIVADA e .TIPO_VARIAVEL

O símbolo ∞ não estava sendo capturado por nenhum regex na função `Sintaxe.separar()`, lançando sempre o erro de expressão inválida. Para corrigir, foi adicionado o símbolo ao regex do `.TIPO_DERIVADA` e `.TIPO_VARIAVEL`
vcolella commented 2023-02-01 22:23:00 +00:00 (Migrated from github.com)

Fix para #34

Fix para #34
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin vcolella/fix-infinit-symbol-error:vcolella/fix-infinit-symbol-error
git switch vcolella/fix-infinit-symbol-error

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch master
git merge --no-ff vcolella/fix-infinit-symbol-error
git switch vcolella/fix-infinit-symbol-error
git rebase master
git switch master
git merge --ff-only vcolella/fix-infinit-symbol-error
git switch vcolella/fix-infinit-symbol-error
git rebase master
git switch master
git merge --no-ff vcolella/fix-infinit-symbol-error
git switch master
git merge --squash vcolella/fix-infinit-symbol-error
git switch master
git merge --ff-only vcolella/fix-infinit-symbol-error
git switch master
git merge vcolella/fix-infinit-symbol-error
git push origin master
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: sitegui/editorHP#37
No description provided.