Mario Carneiro
|
dd5948d641
|
chore: snake-case attributes (part 1)
|
2022-10-19 09:28:08 -07:00 |
|
Leonardo de Moura
|
7e08130c8f
|
test(tests/playground/parser): add leanWhitespace parser
|
2019-03-30 12:48:18 -07:00 |
|
Leonardo de Moura
|
c9bd22c265
|
test(tests/playground/parser): add strLit
|
2019-03-30 08:04:59 -07:00 |
|
Leonardo de Moura
|
146292d3d6
|
fix(tests/playground): parser experiments
|
2019-03-28 10:32:39 -07:00 |
|
Leonardo de Moura
|
548e7c5436
|
chore(tests/playground): fix playground tests
|
2019-03-21 18:30:58 -07:00 |
|
Sebastian Ullrich
|
f34d37c371
|
chore(tests): port tests, fix at least compiler tests
|
2019-03-21 15:11:05 -07:00 |
|
Leonardo de Moura
|
3184023ab3
|
feat(tests/playground): force test to backtrack
|
2019-03-19 16:34:08 -07:00 |
|
Leonardo de Moura
|
adffbdd5a8
|
test(tests/playground): new parser monad
|
2019-03-19 15:14:58 -07:00 |
|
Leonardo de Moura
|
6d0ec3a8c9
|
refactor(library/init/io): implement io monad using estate monad
|
2019-03-16 15:34:58 -07:00 |
|
Leonardo de Moura
|
3eedc327c7
|
feat(tests/playground/flat_parser): tail recursive many combinator
|
2019-03-14 16:11:51 -07:00 |
|
Leonardo de Moura
|
39dd079e37
|
feat(runtime): low tech allocation profiler
```
@[extern 4 "lean_io_allocprof"]
constant allocprof {α : Type} (msg : @& string) (fn : io α) : io α
```
|
2019-03-14 15:15:29 -07:00 |
|
Leonardo de Moura
|
39e752d28a
|
chore(tests/playground/flat_parser): remove debugging stuff
|
2019-03-14 11:05:13 -07:00 |
|
Leonardo de Moura
|
44cdb1fc56
|
chore(tests/playground/flat_parser): add new file_map
Goal: minimize the number of constructor object allocations.
They derailed me when I was looking for performance bottlenecks in the
flat_parser.
|
2019-03-14 08:38:08 -07:00 |
|
Leonardo de Moura
|
e50d8e0b92
|
chore(tests/playground/flat_parser): continue experiment
|
2019-03-13 16:40:12 -07:00 |
|
Leonardo de Moura
|
114f7ed190
|
feat(tests/playground/flat_parser): minor edits
We need a low level string.iterator to efficiently implement
primitives such as `str`.
|
2019-03-09 08:08:37 -08:00 |
|
Leonardo de Moura
|
489eaf3b71
|
test(tests/playground/flat_parser): experiment
|
2019-03-08 17:09:42 -08:00 |
|