Skip to content

test #26

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.

Sign up for GitHub

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

Closed
Ycyken wants to merge 315 commits into from
Closed

test #26

Changes from all commits
Commits
Show all changes
315 commits
Select commit Hold shift + click to select a range
3455a82
tests: remove old test
Ycyken Oct 14, 2024
54a24f1
ref: fix formatting
Ycyken Oct 14, 2024
e867705
feat: add possibility of digits in variable name
Ycyken Oct 15, 2024
c7b2fb6
fix: add whitespaces skip in integer and variable parsers
Ycyken Oct 15, 2024
89de711
feat: add parsing of unary operators
Ycyken Oct 16, 2024
c91ec5e
ref: formatting
Ycyken Oct 16, 2024
ee2f80c
fix: change deprecated functions
Ycyken Oct 16, 2024
e4ec029
fix: add possibility of sum with ite and LetIn
Ycyken Oct 18, 2024
cc6c42f
docs: fix Ast constructor docs
Ycyken Oct 18, 2024
b04f53a
fix: change function for identifiers parsing
p1onerka Oct 19, 2024
2bd0d1b
fix: replace unary operators after binary for correct work
p1onerka Oct 19, 2024
bb987f8
fix: delete self-application of if and let
p1onerka Oct 19, 2024
b478f3a
fix: change logic of p_apply so first function name will always be co…
p1onerka Oct 19, 2024
f69ec9b
fix: order of unary expressions and applying complex expressions
Ycyken Oct 20, 2024
fc9530b
fix: add tab and line break to skip_ws1 symbols
Ycyken Oct 20, 2024
7d21c5f
feat: implemented REPL
Ycyken Oct 20, 2024
556b172
fix: add flush stdout in REPL
Ycyken Oct 20, 2024
09ea9a0
fix: incorrect expr in ITE and parentheses parsing
Ycyken Oct 21, 2024
f1129ea
fix: change REPL logic
p1onerka Oct 21, 2024
8f00d13
ref: add types of run result in REPL
Ycyken Oct 21, 2024
1107f0b
fix: spaces after ;; in REPL
Ycyken Oct 21, 2024
033eb26
ref: fix fmt
Ycyken Oct 21, 2024
c39fca0
fix: add REPL run after emtpy input
Ycyken Oct 21, 2024
ce4d296
fix: print empty input to stdout in REPL
Ycyken Oct 21, 2024
11cf802
fix: empty print in REPL
Ycyken Oct 21, 2024
a1f1221
fix: exclude extra null literal
p1onerka Oct 21, 2024
b73cf64
fix: change arguments in LetIn from list option to list with empty l…
p1onerka Oct 21, 2024
9c5085a
fix: change arguments in Let from list option to list with empty list…
p1onerka Oct 21, 2024
0994fcc
ref: eta reduction
Ycyken Oct 21, 2024
2a53f82
fix: change printer output so it matches F# syntax, edit example
p1onerka Nov 8, 2024
40b3ad3
feat: implement parser for option and tuple, change corresponding pri…
p1onerka Nov 9, 2024
ba6538f
feat: implemet type cast to identifiers
p1onerka Nov 9, 2024
59e1677
feat: update example
p1onerka Nov 9, 2024
3ed7159
fix: print of booleans
p1onerka Nov 9, 2024
9a4f645
fix: formatting
p1onerka Nov 9, 2024
3358f17
fix: add equal sign
p1onerka Nov 10, 2024
466c283
feat: implement mutual recursion through and
p1onerka Nov 10, 2024
77dee16
feat: update example
p1onerka Nov 10, 2024
e573bcf
fix: formatting
p1onerka Nov 10, 2024
e7168f8
fix: add \n to printer
p1onerka Nov 10, 2024
11eb66b
feat: implement lists parser
p1onerka Nov 11, 2024
e70a5e4
fix: formatting
p1onerka Nov 11, 2024
b315f9b
feat: implemented basic qcheck
Ycyken Nov 9, 2024
f55b73f
tests: commented old tests
Ycyken Nov 9, 2024
a5d68be
fix: fix bin_expr printer
Ycyken Nov 9, 2024
a90612a
feat: implemented ITE and LetIn qcheck
Ycyken Nov 9, 2024
f993741
feat: implement some pretty_printer exprs, fix variable generator
Ycyken Nov 10, 2024
a3455fd
feat: split AstPrinter and PrettyPrinter, change REPL behaviour
Ycyken Nov 11, 2024
8726f4f
fix: parentheses in ITE pretty_printer
Ycyken Nov 11, 2024
576607f
fix: unary expression pretty_printer
Ycyken Nov 11, 2024
867dfd2
fix: tuple size in generator
Ycyken Nov 11, 2024
ea7bfce
feat: add Let to gen_construction
Ycyken Nov 11, 2024
c2e5017
feat: implement tuple pretty printer
Ycyken Nov 11, 2024
ccfb454
feat: implement basic func_call generator
Ycyken Nov 11, 2024
055b1bb
feat: change Let and LetIn AST
Ycyken Nov 11, 2024
69f9508
fix: let and letin pretty_printer
Ycyken Nov 11, 2024
352ab96
fix: func_call pretty printer
Ycyken Nov 11, 2024
bddc33c
feat: implement func_def shrinker
Ycyken Nov 11, 2024
1302880
ref: lint alerts
Ycyken Nov 11, 2024
71762cc
build: add qcheck dependency
Ycyken Nov 11, 2024
5ea1821
fix: resolve merge conflicts
p1onerka Nov 12, 2024
8a5f61f
fix: formatting
p1onerka Nov 12, 2024
eb46e16
build: fix qcheck dependencies
Ycyken Nov 12, 2024
239b067
ref: create gen_construction.mli
Ycyken Nov 12, 2024
6332019
build: fix qcheck dependencies
Ycyken Nov 12, 2024
f8bcebd
ref: fix release errors
Ycyken Nov 12, 2024
41a37b8
fix: fix bug in list parser, complete list pretty printer
p1onerka Nov 15, 2024
7bba637
fix: delete outdated functions from comments
p1onerka Nov 15, 2024
c583317
feat: add parser for match wildcard
p1onerka Nov 15, 2024
0f877ca
ref: remove old empty files
Ycyken Nov 15, 2024
452bc53
ref: formatting
Ycyken Nov 15, 2024
aa47ddb
fix: tuple parser: expressions inside tuple
Ycyken Nov 15, 2024
4941955
fix: Lambda pretty printer
Ycyken Nov 15, 2024
01f87d2
fix: renaming
Ycyken Nov 15, 2024
f1b3228
ref: less spaces in list pretty printer
Ycyken Nov 15, 2024
fc84a00
fix: expr shrinker
Ycyken Nov 15, 2024
0c8571f
fix: tuple ast printer
Ycyken Nov 15, 2024
0df8b43
ref: improve printers
Ycyken Nov 16, 2024
0d63e4d
feat: add @@deriving qcheck for ast
Ycyken Nov 16, 2024
0b29330
feat: implement lists, tuple and variables patterns parser
Ycyken Nov 16, 2024
62ff5c7
fix: add open KeywordChecker
Ycyken Nov 16, 2024
c62880f
feat: add more shrinkers
Ycyken Nov 16, 2024
c19aa0d
ref: remove unused function
Ycyken Nov 16, 2024
1a89bbf
fix: reduce deep of manual generator
Ycyken Nov 16, 2024
62c3e4b
fix: change auto gen_expr to manual in manual gen_statement
Ycyken Nov 16, 2024
67a84f4
feat: add const parsing to patterns (match), rework const parsing
p1onerka Nov 16, 2024
61c9649
fix: add separator to option parsing
p1onerka Nov 16, 2024
49ae652
fix: rewrite let and letin via let*
p1onerka Nov 17, 2024
49c3146
feat: add string parser
p1onerka Nov 17, 2024
e3d663e
fix: formatting
p1onerka Nov 17, 2024
96a68b7
fix: treat rec flag correctly
p1onerka Nov 17, 2024
f53cbc2
fix: edit print of pattern tuple
p1onerka Nov 17, 2024
9861db7
fix: formatting
p1onerka Nov 17, 2024
0e0ee34
fix: print of args in lambda
p1onerka Nov 17, 2024
4fa2703
feat: implement auto-derived qcheck
Ycyken Nov 17, 2024
19cdf1e
feat: add parser for lambda
p1onerka Nov 17, 2024
d95ae4d
feat: temporary remove Variants in Ast
Ycyken Nov 17, 2024
99fa873
feat: temporary remove ActivePatterns in Ast
Ycyken Nov 18, 2024
4964d23
feat: implement signed ints parser, change int generator to non negative
Ycyken Nov 18, 2024
15a864c
feat: improve Lambda shrinker
Ycyken Nov 18, 2024
f2a6d9c
feat: implement pattern shrinker
Ycyken Nov 18, 2024
eca52c3
fix: enable any expr inside of apply
p1onerka Nov 18, 2024
f464450
fix: add breackets to treat apply correctly
p1onerka Nov 18, 2024
4d476dd
ref: rename Function_def to Apply
Ycyken Nov 18, 2024
f99f3a1
feat: create general List type
Ycyken Nov 18, 2024
60377ed
fix: lists and string parsers
p1onerka Nov 18, 2024
1f75807
ref: delete outdated functions
p1onerka Nov 18, 2024
b643252
fix: add missing dependency
p1onerka Nov 18, 2024
2671d51
fix: new opam
p1onerka Nov 18, 2024
7f5eb61
fix: update test config
p1onerka Nov 18, 2024
4e93fba
fix: exclude unused declarations
p1onerka Nov 18, 2024
10340a9
fix: unused dependencies
p1onerka Nov 18, 2024
f198618
ref: eta reduction
p1onerka Nov 18, 2024
efd3c48
feat: expr and let_bind generators starts with small_nat
Ycyken Nov 18, 2024
aa53b8e
feat: implemet bit opers parsers
p1onerka Nov 18, 2024
02672d2
fix: boolean parsing
p1onerka Nov 18, 2024
3c1fa89
feat: string literal generator without double quotes and backslash
Ycyken Nov 18, 2024
d8c9120
fix: add breackets over fun
p1onerka Nov 18, 2024
990f781
feat: string generator generates small strings
Ycyken Nov 18, 2024
5d333e7
fix: parsing of option
p1onerka Nov 18, 2024
902c434
fix: pattern in match priority
p1onerka Nov 18, 2024
24bab47
fix: unit and if parsing
p1onerka Nov 18, 2024
d3031bf
feat: change match pretty printer
Ycyken Nov 18, 2024
1370805
feat: implement unary expression shrinker
Ycyken Nov 18, 2024
aed3f16
fix: match expr shrinker
Ycyken Nov 18, 2024
da35d77
fix: match inner expr parser
Ycyken Nov 18, 2024
27ecdd9
fix: remove skip_ws in the end of parsers
Ycyken Nov 18, 2024
4929201
ref: comment unused function
Ycyken Nov 19, 2024
0104f60
ref: remove manual generator
Ycyken Nov 19, 2024
c07ec79
ref: rename qcheck modules
Ycyken Nov 19, 2024
5ac344e
fix: cons list parser
Ycyken Nov 19, 2024
78f7b61
tests: reduced number of tests in qcheck.t
Ycyken Nov 19, 2024
4b68211
fix: match pretty printer
Ycyken Nov 21, 2024
029c5af
feat: add Option pattern and parentheses parsing in patterns
Ycyken Nov 21, 2024
c789176
fix: List expr and patterns generators was not sized
Ycyken Nov 21, 2024
4aeb7f0
fix: Option parsing - remove extra skip_ws
Ycyken Nov 21, 2024
939c059
fix: remove extra whitespaces skip in parsers
Ycyken Nov 21, 2024
f684cea
perf: reduces size of generated Ast
Ycyken Nov 22, 2024
5bc9047
feat: add weights in ident generator
Ycyken Nov 22, 2024
6076e3f
feat: implement escaped sequences parser
Ycyken Nov 22, 2024
f179b01
tests: implement string generator with escape sequences
Ycyken Nov 22, 2024
6dd7921
perf: reduce let size generation
Ycyken Nov 22, 2024
fa74321
fix: n delimeter for qcheck
p1onerka Nov 23, 2024
388d843
fix: list and cons parsers
Ycyken Nov 23, 2024
00644d5
fix: cons and list parser
p1onerka Nov 23, 2024
5174a16
feat: improve Let shrinker
Ycyken Nov 24, 2024
0c0a41d
fix: order of Application and Option
Ycyken Nov 24, 2024
167d86b
fix: Cons pattern pretty printer
Ycyken Nov 24, 2024
9e56615
ref: remove extra skip_ws
Ycyken Nov 24, 2024
636735f
ref: unified shrinkers style
Ycyken Nov 24, 2024
5cedc63
tests: change seed in qcheck.t
Ycyken Nov 24, 2024
8bc776d
tests: promote
Ycyken Nov 24, 2024
2f7807d
ref: remove deriving eq
Ycyken Nov 24, 2024
1317a26
tests: reduces size of expr generator
Ycyken Nov 24, 2024
3994991
ref: add empty mli for tests to show that nothing is public
p1onerka Nov 25, 2024
b3fbbb1
feat: add infer types, their prettyr printer and module R w comments …
p1onerka Nov 30, 2024
4323761
feat: substitution module with comments (to delete later)
p1onerka Nov 30, 2024
2d5b163
feat: add scheme and environment modules
p1onerka Nov 30, 2024
c5e49ec
feat: inferencer for constants and bin expr
p1onerka Nov 30, 2024
a0f3b09
feat: update REPL and example
p1onerka Nov 30, 2024
40018de
feat: implement ite and all binexpr operators inference
Ycyken Dec 7, 2024
64a6f4a
feat: implement some pattern and expr inference
Ycyken Dec 8, 2024
3e247ec
feat: change repl to print types
Ycyken Dec 8, 2024
9306e03
fix: arrow of many types constructor and lambda inference
Ycyken Dec 8, 2024
daaafbc
feat: add tuple, list, option inference
Ycyken Dec 9, 2024
fdf86d3
ref: fail errors
Ycyken Dec 9, 2024
a353624
feat: implement cons, list and tuple patterns
Ycyken Dec 9, 2024
3415edf
feat: mli for typedTree
p1onerka Dec 9, 2024
21fe543
fix: call of helper in pp
p1onerka Dec 9, 2024
26e76a4
ref: formatting
p1onerka Dec 9, 2024
f5b2fa3
fix: implement substitution for all types
Ycyken Dec 9, 2024
66481bd
feat: inferencer.mli
Ycyken Dec 9, 2024
c8d1451
lint: unused value
Ycyken Dec 9, 2024
c9099ab
resolve merge conflics
Ycyken Dec 9, 2024
bdbd9a5
resolve merge conflics
Ycyken Dec 9, 2024
bd52657
Merge remote-tracking branch 'kakadu/master' into 'master'
Ycyken Dec 11, 2024
a2bf023
ref: eta reduction
Ycyken Dec 14, 2024
0053cad
feat: implement LetIn inference
Ycyken Dec 15, 2024
96cd905
ref: move duplicated code to functions
Ycyken Dec 15, 2024
87feba2
ref: move function from mutual recursion definition
Ycyken Dec 15, 2024
283f3cb
fix: Let bind inference with arguments
Ycyken Dec 15, 2024
3ee7bcb
feat: implement Let statements inference, REPL with TypeEnvironment
Ycyken Dec 15, 2024
8d3d4c0
ref: remove old comments
Ycyken Dec 15, 2024
a2325ad
fix: inference of Let with shadowing
Ycyken Dec 15, 2024
41d269b
fix: recursive generalize
Ycyken Dec 16, 2024
c98aed7
fix: REPL now runs with new state
Ycyken Dec 16, 2024
82af8dd
fix: extend env in let rec
Ycyken Dec 16, 2024
42cd949
fix: apply parser
Ycyken Dec 16, 2024
c685d44
feat: implement match inference
Ycyken Dec 16, 2024
d7f8d4a
fix: let bind inference
Ycyken Dec 16, 2024
1d8c2bb
ref: lint and fmt
Ycyken Dec 16, 2024
dfd1cd6
ref: eta reduction
Ycyken Dec 16, 2024
8d4654f
fix: let binds like 'let rec x = x + 1'
Ycyken Dec 17, 2024
64c8d61
feat: add function
Ycyken Dec 17, 2024
a0b6a00
ref: add type case = pattern * expr
Ycyken Dec 18, 2024
0942aed
feat: infix operators
p1onerka Dec 18, 2024
9170dba
feat: implement patterns in let bindings
Ycyken Dec 18, 2024
df741fe
ref: lint
Ycyken Dec 18, 2024
3e8ed38
fix: tuple inference
Ycyken Dec 18, 2024
367a112
fix: recursive let inference
Ycyken Dec 19, 2024
6f74e0f
feat: tuples without parens
p1onerka Dec 19, 2024
e17faf3
fix: tuples without parens + example
p1onerka Dec 19, 2024
f305125
fix: add '->' to keywords
Ycyken Dec 19, 2024
6face78
fix: add '|' in keywords and add operator keywords check
Ycyken Dec 19, 2024
bab838b
ref: tuple parser
Ycyken Dec 19, 2024
c677d3e
feat: add print_int to start environment
Ycyken Dec 19, 2024
b058dda
fix: application and if in semicolon list
p1onerka Dec 19, 2024
d95acf6
fix: option in tuple + example
p1onerka Dec 19, 2024
715d052
feat: types in arguments of application
Ycyken Dec 19, 2024
0c5ce91
feat: match with single argument
p1onerka Dec 19, 2024
4c8fc61
feat: first case in function and match
p1onerka Dec 19, 2024
000c7d5
fix: order of application and tuple
Ycyken Dec 19, 2024
03500c1
fix: -dparsetree option in REPL
Ycyken Dec 19, 2024
50bd797
fix: generalizing in type inference
Ycyken Dec 19, 2024
4dd532d
ref: pattern parser
Ycyken Dec 19, 2024
ea6d00a
fix: match inference
Ycyken Dec 19, 2024
ed98eb3
fix: LetIn inference
Ycyken Dec 19, 2024
1c22029
feat: implement pattern and expr Constraints
Ycyken Dec 19, 2024
f618cf7
fix: Expr constraint parser
Ycyken Dec 19, 2024
959d55d
fix: Pattern constraint parser
Ycyken Dec 19, 2024
298b6b2
fix: types pretty printer
Ycyken Dec 19, 2024
bd71b8f
feat: input file now works without delimiters
Ycyken Dec 19, 2024
a3e01e4
feat: add cram tests for inferencer
Ycyken Dec 20, 2024
7432db4
feat: implement REPL with indents, printing of names
Ycyken Dec 20, 2024
9c6e9d8
fix: add subst returning in LetIn inference
Ycyken Dec 20, 2024
12e3f46
fix: and parsing in REPL
p1onerka Dec 20, 2024
6d667f4
fix: repl with file
Ycyken Dec 20, 2024
a9acc25
ref: linter
Ycyken Dec 20, 2024
8fcec1a
feat: REPL with file prints without duplicates
Ycyken Dec 21, 2024
8b4c335
feat: tuple type pretty printer with '*' instead of ','
Ycyken Dec 21, 2024
417c215
tests: promote tests
Ycyken Dec 21, 2024
6ade315
ref: linter
Ycyken Dec 21, 2024
23acfc9
feat: inference of polymorphic patterns in Match
Ycyken Dec 26, 2024
b9b20a7
ref: change types pp logic
p1onerka Dec 26, 2024
953cd49
ref: formatting
p1onerka Dec 26, 2024
cfb8efe
ref: peek_sep1
p1onerka Dec 27, 2024
16fad50
ref: not empty list check
p1onerka Dec 27, 2024
12b47ef
tests: improve Let, LetIn, Constraint shrinkers, change types generator
Ycyken Dec 27, 2024
1602be3
fix: ast_printer and ast pretty_printer
Ycyken Dec 27, 2024
0216157
fix: ast_printer, ast pp, remove unused deriving
Ycyken Dec 27, 2024
4c52670
feat: qcheck printer shows generated and parsed ast
Ycyken Dec 27, 2024
a329908
fix: tuple priority in parser
Ycyken Dec 27, 2024
cd3aae2
tests: dune promote
Ycyken Dec 27, 2024
b093ac2
fix: change list to set in extracting names from pattern, add many bo…
Ycyken Dec 27, 2024
b039f0c
ref: rename typ generator
Ycyken Dec 27, 2024
0c8bbc5
tests: change qcheck printer to ast printer
Ycyken Dec 27, 2024
7b65886
ref: remove repeated code from match and function inference
Ycyken Dec 27, 2024
c4d57e5
ref: eta reduction, remove redundant match
Ycyken Dec 27, 2024
bdbe09c
ref: remove old comments
Ycyken Dec 27, 2024
c7b720b
Merge remote-tracking branch 'kakadu/master' into master
Ycyken Dec 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view

These merge commits were added into this branch cleanly.

There are no new changes to show.