Skip to content

test#26

Closed
Ycyken wants to merge 315 commits intoremfrom
master
Closed

test#26
Ycyken wants to merge 315 commits intoremfrom
master

Conversation

@Ycyken
Copy link
Owner

@Ycyken Ycyken commented Dec 31, 2024

No description provided.

Ycyken and others added 30 commits October 15, 2024 00:17
@Ycyken
tests: remove old test
3455a82 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: fix formatting
54a24f1 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
feat: add possibility of digits in variable name
e867705 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: add whitespaces skip in integer and variable parsers
c7b2fb6 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
feat: add parsing of unary operators
89de711 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: formatting
c91ec5e 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: change deprecated functions
ee2f80c 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: add possibility of sum with ite and LetIn
e4ec029 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
docs: fix Ast constructor docs
cc6c42f 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@p1onerka @Ycyken
fix: change function for identifiers parsing
b04f53a 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@p1onerka @Ycyken
fix: replace unary operators after binary for correct work
2bd0d1b 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@p1onerka @Ycyken
fix: delete self-application of if and let
bb987f8 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@p1onerka @Ycyken
fix: change logic of p_apply so first function name will always be co…
b478f3a 
…rrect

Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@Ycyken
fix: order of unary expressions and applying complex expressions
f69ec9b 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: add tab and line break to skip_ws1 symbols
fc9530b 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
feat: implemented REPL
7d21c5f 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: add flush stdout in REPL
556b172 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: incorrect expr in ITE and parentheses parsing
09ea9a0 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@p1onerka @Ycyken
fix: change REPL logic
f1129ea 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@Ycyken
ref: add types of run result in REPL
8f00d13 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: spaces after ;; in REPL
1107f0b 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: fix fmt
033eb26 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: add REPL run after emtpy input
c39fca0 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: print empty input to stdout in REPL
ce4d296 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: empty print in REPL
11cf802 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@p1onerka @Ycyken
fix: exclude extra null literal
a1f1221 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@p1onerka @Ycyken
fix: change arguments in LetIn from list option to list with empty li…
b73cf64 
…st as no arguments case

Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@p1onerka @Ycyken
fix: change arguments in Let from list option to list with empty list…
9c5085a 
… as no arguments case

Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@Ycyken
ref: eta reduction
0994fcc 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@p1onerka
fix: change printer output so it matches F# syntax, edit example
2a53f82 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
Ycyken and others added 28 commits December 21, 2024 01:12
@Ycyken
feat: add cram tests for inferencer
a3e01e4 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
feat: implement REPL with indents, printing of names
7432db4 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: add subst returning in LetIn inference
9c6e9d8 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@p1onerka @Ycyken
fix: and parsing in REPL
12e3f46 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@Ycyken
fix: repl with file
6d667f4 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: linter
a9acc25 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
feat: REPL with file prints without duplicates
8fcec1a 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
feat: tuple type pretty printer with '*' instead of ','
8b4c335 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
tests: promote tests
417c215 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: linter
6ade315 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
feat: inference of polymorphic patterns in Match
23acfc9 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@p1onerka @Ycyken
ref: change types pp logic
b9b20a7 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@p1onerka @Ycyken
ref: formatting
953cd49 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@p1onerka @Ycyken
ref: peek_sep1
cfb8efe 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@p1onerka @Ycyken
ref: not empty list check
16fad50 
Signed-off-by: Ksenia Kotelnikova <xeniia.ka@gmail.com>
@Ycyken
tests: improve Let, LetIn, Constraint shrinkers, change types generator
12b47ef 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: ast_printer and ast pretty_printer
1602be3 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: ast_printer, ast pp, remove unused deriving
0216157 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
feat: qcheck printer shows generated and parsed ast
4c52670 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: tuple priority in parser
a329908 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
tests: dune promote
cd3aae2 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
fix: change list to set in extracting names from pattern, add many bo…
b093ac2 
…unds check

Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: rename typ generator
b039f0c 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
tests: change qcheck printer to ast printer
0c8bbc5 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: remove repeated code from match and function inference
7b65886 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: eta reduction, remove redundant match
c4d57e5 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
ref: remove old comments
bdbe09c 
Signed-off-by: Gleb Nasretdinov <gleb.nasretdinov@proton.me>
@Ycyken
Merge remote-tracking branch 'kakadu/master' into master
c7b720b
@Ycyken Ycyken deleted the branch rem December 31, 2024 20:35
@Ycyken Ycyken closed this Dec 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Ycyken @p1onerka