Folkert
|
53a0f4f9a5
|
make def helper to optionally parse final expr
|
2021-03-16 23:37:36 +01:00 |
|
Folkert
|
1434ab6ed7
|
Merge remote-tracking branch 'origin/trunk' into expression-move
|
2021-03-16 23:11:26 +01:00 |
|
Folkert
|
f84f428960
|
fix comment
|
2021-03-16 23:11:10 +01:00 |
|
Richard Feldman
|
84e65da5e7
|
cargo fmt
|
2021-03-15 21:09:53 -04:00 |
|
Richard Feldman
|
e7524d30f9
|
Drop obsolete dbg!
|
2021-03-15 21:05:53 -04:00 |
|
Folkert
|
5adeedba9d
|
cleanup
|
2021-03-15 23:51:06 +01:00 |
|
Folkert
|
6d746269fc
|
clippy
|
2021-03-15 23:17:00 +01:00 |
|
Folkert
|
301f02172e
|
def parsing does not need to consider backpassing
|
2021-03-15 23:06:28 +01:00 |
|
Folkert
|
1b4a6aee04
|
another backpassing test
|
2021-03-15 23:01:59 +01:00 |
|
Folkert
|
66e7e3bc5e
|
parse single backpassing
|
2021-03-15 22:50:34 +01:00 |
|
Folkert
|
41bfb0b69a
|
all tests working again
|
2021-03-15 21:49:19 +01:00 |
|
Folkert
|
f57707c651
|
so close
|
2021-03-15 17:04:14 +01:00 |
|
Folkert
|
b18bd26067
|
cleanup
|
2021-03-15 13:27:23 +01:00 |
|
Folkert
|
9442914fb6
|
parse basic def
|
2021-03-15 13:24:26 +01:00 |
|
Folkert
|
240df052c5
|
parse leading unary minus again
|
2021-03-14 23:28:56 +01:00 |
|
Folkert
|
032a55383c
|
fix whitespace issue
|
2021-03-14 14:48:39 +01:00 |
|
Folkert
|
bde76db7bf
|
cleanup
|
2021-03-14 00:24:53 +01:00 |
|
Folkert
|
ee3661ea58
|
clean up has-type stuff
|
2021-03-14 00:01:39 +01:00 |
|
Folkert
|
adcb772949
|
clippy
|
2021-03-13 22:43:47 +01:00 |
|
Folkert
|
361eb25562
|
cleanup
|
2021-03-13 22:39:50 +01:00 |
|
Folkert
|
c26fd45d54
|
all is working again
|
2021-03-13 22:36:44 +01:00 |
|
Folkert
|
022ed7b24c
|
handle negated number literals
|
2021-03-13 19:41:07 +01:00 |
|
Folkert
|
6214f0caa8
|
fix end in expr_start
|
2021-03-13 16:05:15 +01:00 |
|
Folkert
|
0be4704f94
|
checkpoint working parse tests
|
2021-03-13 15:49:07 +01:00 |
|
Folkert
|
d2251cced2
|
only region within parens for unary ops
|
2021-03-12 23:22:48 +01:00 |
|
Folkert
|
376d4431ab
|
correct parsing of unary applies
|
2021-03-12 23:15:04 +01:00 |
|
Folkert
|
703a8de72f
|
basic structure
|
2021-03-12 22:21:27 +01:00 |
|
Folkert
|
28cc3348a6
|
add Position type
|
2021-03-12 16:49:24 +01:00 |
|
Folkert
|
f01424ac11
|
smarter unary minus parsing
|
2021-03-12 16:44:33 +01:00 |
|
Folkert
|
214112d751
|
Revert "store is_negative for all number literals in the parse ast"
This reverts commit 182fd5201d .
|
2021-03-12 16:43:52 +01:00 |
|
Folkert
|
1663822ac9
|
Revert "deadend"
This reverts commit 06278c2efe .
|
2021-03-12 16:37:44 +01:00 |
|
Folkert
|
06278c2efe
|
deadend
|
2021-03-12 16:37:00 +01:00 |
|
Folkert
|
182fd5201d
|
store is_negative for all number literals in the parse ast
|
2021-03-12 16:11:46 +01:00 |
|
Folkert
|
866fa14590
|
remove loc wrapper
|
2021-03-12 14:30:19 +01:00 |
|
Folkert
|
fd5ab353db
|
clippy
|
2021-03-12 03:46:52 +01:00 |
|
Folkert
|
f5f98b2400
|
clippy
|
2021-03-12 03:43:39 +01:00 |
|
Folkert
|
cba55734cb
|
clean up helpers
|
2021-03-12 03:41:01 +01:00 |
|
Folkert
|
b349ae7ab5
|
type variable errors
|
2021-03-12 03:18:31 +01:00 |
|
Folkert
|
16a2dfd058
|
remove unused functions
|
2021-03-12 03:10:57 +01:00 |
|
Folkert
|
e815e57dcf
|
remove more syntax errors
|
2021-03-12 03:04:47 +01:00 |
|
Folkert
|
b688fd11a9
|
remove syntax error
|
2021-03-12 02:54:25 +01:00 |
|
Folkert
|
9f146bf702
|
remove syntax error
|
2021-03-12 02:52:36 +01:00 |
|
Folkert
|
4e4854ceaa
|
remove unneeded argument
|
2021-03-12 02:48:07 +01:00 |
|
Folkert
|
362459b647
|
remove size from parser state
|
2021-03-12 02:39:47 +01:00 |
|
Folkert
|
f7744b4caa
|
remove is_indenting
|
2021-03-12 02:38:46 +01:00 |
|
Folkert
|
222638e9bb
|
confirm is_indenting is not needed
|
2021-03-12 02:28:57 +01:00 |
|
Folkert
|
c938a93dea
|
fix comment newline chomping issue
|
2021-03-12 02:24:00 +01:00 |
|
Folkert
|
5e4db62c46
|
remove Attempting and more
|
2021-03-12 02:09:48 +01:00 |
|
Folkert
|
98024b2a21
|
parse tag names in types
|
2021-03-12 01:49:09 +01:00 |
|
Folkert
|
4f58c792e6
|
removing old stuff
|
2021-03-12 01:37:27 +01:00 |
|