Timothy Clem
|
105c5a5743
|
Comment about another style choice
|
2018-08-21 13:25:07 -07:00 |
|
Timothy Clem
|
dea542c678
|
Not using this yet
|
2018-08-21 13:24:58 -07:00 |
|
Timothy Clem
|
1a9200b783
|
tokenizing for Ruby blocks (functions)
|
2018-08-21 13:17:13 -07:00 |
|
Timothy Clem
|
9e0e56479e
|
Handle comments with trailing seps
|
2018-08-21 13:16:49 -07:00 |
|
Timothy Clem
|
5ac0b5a900
|
Continue to refine tokenize api with Ruby as example
|
2018-08-21 11:16:39 -07:00 |
|
Timothy Clem
|
3b6c51aa70
|
No need for TComment yet
|
2018-08-21 11:16:16 -07:00 |
|
Timothy Clem
|
6d3dc92505
|
Just sequenceA_ contextTerms for now
|
2018-08-21 11:15:59 -07:00 |
|
Timothy Clem
|
c622251f56
|
Work on Ruby method tokenizing
|
2018-08-21 09:39:37 -07:00 |
|
Timothy Clem
|
51d3422191
|
New splice api
|
2018-08-21 09:39:19 -07:00 |
|
Timothy Clem
|
e8aa27bee5
|
Some renames just to preventing name ambiguity
|
2018-08-21 09:39:10 -07:00 |
|
Timothy Clem
|
7680ba55c8
|
Follow naming changes in JSON translator
|
2018-08-21 09:38:39 -07:00 |
|
Timothy Clem
|
f2a2168e2f
|
imperative_ does sep for us now
|
2018-08-21 09:38:28 -07:00 |
|
Timothy Clem
|
b6ee794f08
|
Use some of the new helpers
|
2018-08-21 09:38:14 -07:00 |
|
Timothy Clem
|
f507e4f118
|
Flesh out tokenizing helpers a bit
|
2018-08-21 09:37:41 -07:00 |
|
Timothy Clem
|
9379865adc
|
Just reformatting
|
2018-08-21 09:37:26 -07:00 |
|
Timothy Clem
|
4ecd10c8ed
|
Make sure we handle unhandled in typesetting
|
2018-08-21 09:37:06 -07:00 |
|
Timothy Clem
|
4e63bd9a80
|
Few more ruby test functions
|
2018-08-21 09:36:45 -07:00 |
|
Timothy Clem
|
cfa38c0a4a
|
Helper function to run just to translating
|
2018-08-21 09:36:32 -07:00 |
|
Timothy Clem
|
b0311ff77e
|
Ruby test hardness for ghci
|
2018-08-20 18:11:41 -07:00 |
|
Timothy Clem
|
cbdb932af8
|
Ruby translation step for the pipeline
|
2018-08-20 18:11:30 -07:00 |
|
Timothy Clem
|
e6c36296f1
|
Some Tokenize instances
|
2018-08-20 18:11:05 -07:00 |
|
Timothy Clem
|
11252f9ba7
|
JSON has to handle all this now
|
2018-08-20 18:10:28 -07:00 |
|
Timothy Clem
|
8e9136fd57
|
Introduce concept of unhandled splices in the stream
|
2018-08-20 18:10:13 -07:00 |
|
Timothy Clem
|
634900a58c
|
Function just to run the tokenizing step
|
2018-08-20 18:08:48 -07:00 |
|
Timothy Clem
|
c1b615d285
|
Some common tokenizing helpers
|
2018-08-20 18:08:24 -07:00 |
|
Timothy Clem
|
1d751ef79a
|
Mini Ruby
|
2018-08-20 11:23:37 -07:00 |
|
Timothy Clem
|
80ee53ed9d
|
s/prettyPrint/tokenize
|
2018-08-20 10:38:03 -07:00 |
|
Timothy Clem
|
a473a346c9
|
Slightly different JSON printing options
|
2018-08-20 10:37:55 -07:00 |
|
Timothy Clem
|
ae20bf5477
|
Docs on remark function
|
2018-08-20 10:37:33 -07:00 |
|
Timothy Clem
|
3c53862e19
|
Merge remote-tracking branch 'origin/master' into source-aware-reprinter
|
2018-08-20 10:17:38 -07:00 |
|
Timothy Clem
|
4e5983c5e0
|
Fix lints
|
2018-08-20 10:08:53 -07:00 |
|
Timothy Clem
|
92a15e2bcb
|
Better docs and param naming
|
2018-08-20 09:58:28 -07:00 |
|
Timothy Clem
|
b5fdc2d079
|
New take on layout rules
|
2018-08-20 09:52:30 -07:00 |
|
Timothy Clem
|
d42d02fe62
|
Organize imports, not using TokenizerEffs
|
2018-08-20 09:52:19 -07:00 |
|
Timothy Clem
|
1dc89961b2
|
Remove Rule
|
2018-08-20 09:52:03 -07:00 |
|
Timothy Clem
|
ea553c69db
|
Util experiments without using Rule
|
2018-08-20 09:51:41 -07:00 |
|
Timothy Clem
|
552d3fbaf2
|
Translator Monad
|
2018-08-20 09:51:29 -07:00 |
|
Timothy Clem
|
7d185d3001
|
Fully flesh out JSON specific translation step
|
2018-08-20 09:04:08 -07:00 |
|
Timothy Clem
|
193e17b277
|
Docs and clean up imports
|
2018-08-20 09:03:51 -07:00 |
|
Timothy Clem
|
e417b5cbda
|
We have entire context now
|
2018-08-20 09:03:43 -07:00 |
|
Timothy Clem
|
b9a3e3d254
|
Relax need for Eff
|
2018-08-20 09:03:23 -07:00 |
|
Timothy Clem
|
f98cda72cb
|
Bring back re-write experiments in Util
|
2018-08-20 09:03:12 -07:00 |
|
Timothy Clem
|
512ba1f8b6
|
Docs, move these notes
|
2018-08-20 09:02:59 -07:00 |
|
Timothy Clem
|
506bc50350
|
Cleanup, comments, export list
|
2018-08-20 09:02:47 -07:00 |
|
Timothy Clem
|
13e2ba2956
|
default JSON pipeline
|
2018-08-17 16:53:36 -07:00 |
|
Timothy Clem
|
933782ab78
|
Use machines a bit more directly
|
2018-08-17 16:21:55 -07:00 |
|
Timothy Clem
|
cd3233549a
|
WIP, language translation as an additional step in pipeline
|
2018-08-17 15:17:14 -07:00 |
|
Timothy Clem
|
d9218cfd1f
|
Cleanup names a bit
|
2018-08-17 13:15:32 -07:00 |
|
Timothy Clem
|
f239a7a483
|
Typesetting in the pipeline too
|
2018-08-17 12:46:54 -07:00 |
|
Timothy Clem
|
9de1897694
|
WIP - basic translating in machines
|
2018-08-17 11:43:32 -07:00 |
|