Ayman Nadeem
|
49ba306fe7
|
add QuantifiedConstraints to Python
|
2020-04-28 13:46:41 -04:00 |
|
Ayman Nadeem
|
bc30355385
|
add QuantifiedConstraintst to Ruby
|
2020-04-28 13:46:30 -04:00 |
|
Ayman Nadeem
|
2089d8d65a
|
change a to sym where it implies symbol
|
2020-04-28 13:46:10 -04:00 |
|
Ayman Nadeem
|
9da786c8c5
|
change a to ann because a is overloaded and confusing
|
2020-04-28 13:45:48 -04:00 |
|
Ayman Nadeem
|
284fe08f75
|
add UnmarshalField instance for new Err type
|
2020-04-28 13:44:54 -04:00 |
|
Ayman Nadeem
|
07166c17b2
|
Unmarshal Token instances now needs an additional param, f
|
2020-04-28 13:44:30 -04:00 |
|
Ayman Nadeem
|
d539ac70cd
|
provide explicit kind signature for f param to Token
|
2020-04-28 13:42:53 -04:00 |
|
Ayman Nadeem
|
6794da00cd
|
manually derive Show
|
2020-04-28 13:13:54 -04:00 |
|
Ayman Nadeem
|
ac263ada10
|
derive applicative since we can't autoderive it
|
2020-04-28 13:13:45 -04:00 |
|
Ayman Nadeem
|
7c6718cb88
|
add KindSignatures, StandaloneDeriving and TypeOperators to all Language.LANG.AST files
|
2020-04-28 11:07:08 -04:00 |
|
Ayman Nadeem
|
192c4887ea
|
alphabetize
|
2020-04-28 11:03:29 -04:00 |
|
Ayman Nadeem
|
41eaf07526
|
fix Parse.Err
|
2020-04-28 10:47:15 -04:00 |
|
Ayman Nadeem
|
324ecc3110
|
use Parse.Err
|
2020-04-28 10:47:07 -04:00 |
|
Ayman Nadeem
|
f3810df481
|
Err wraps a but has no args
|
2020-04-28 10:26:03 -04:00 |
|
Ayman Nadeem
|
2bb5ce1fad
|
need AST.Parse in Unmarshal
|
2020-04-27 17:45:08 -04:00 |
|
Ayman Nadeem
|
d95440e4e6
|
use ParseFail and ParseSucceed constructors
|
2020-04-27 17:42:50 -04:00 |
|
Ayman Nadeem
|
0af40b260a
|
auto-derive Functor and everything else
|
2020-04-27 17:42:16 -04:00 |
|
Ayman Nadeem
|
fae94854fd
|
add AST.Parse to exposed-modules list
|
2020-04-27 17:41:41 -04:00 |
|
Ayman Nadeem
|
d3b980af91
|
describe function of shape parameter introduced
|
2020-04-27 17:00:52 -04:00 |
|
Ayman Nadeem
|
09dfa147b7
|
replace token type synonym with example datatype of kind (*->*)->*->*
|
2020-04-27 16:59:59 -04:00 |
|
Ayman Nadeem
|
87349a4d55
|
provide description for Error type
|
2020-04-27 16:59:15 -04:00 |
|
Ayman Nadeem
|
c752315548
|
don't need typelits, since no Symbol/Nat data will index this datatype
|
2020-04-27 16:57:12 -04:00 |
|
Timothy Clem
|
24f78b50b1
|
Fix up the spec to assert proper Locs
|
2020-04-27 13:43:15 -07:00 |
|
Timothy Clem
|
91ddeda1e0
|
Fix Loc for Java tags
|
2020-04-27 13:23:09 -07:00 |
|
Timothy Clem
|
a1edfa5753
|
Whitespace fixes
|
2020-04-27 13:19:50 -07:00 |
|
Timothy Clem
|
96af592d9d
|
Fix Loc for CodeQL tags
|
2020-04-27 13:19:45 -07:00 |
|
Timothy Clem
|
6116d24979
|
Fix Loc for Go tags
|
2020-04-27 13:19:39 -07:00 |
|
Timothy Clem
|
ec39503c32
|
Fix Loc for PHP tags
|
2020-04-27 13:19:33 -07:00 |
|
Timothy Clem
|
9b0f39f4f6
|
Fix Loc for Python tags
|
2020-04-27 13:19:28 -07:00 |
|
Timothy Clem
|
cbe7ab894d
|
Fix Loc for Ruby tags
|
2020-04-27 13:19:19 -07:00 |
|
Ayman Nadeem
|
7d15acebf1
|
Merge pull request #543 from github/add-diagram
Revamp codegen docs
|
2020-04-27 12:41:51 -04:00 |
|
Ayman Nadeem
|
df03b302fa
|
make all github links permalinks
|
2020-04-27 12:34:03 -04:00 |
|
Ayman Nadeem
|
381b9308d5
|
add new diagram and new explanation
|
2020-04-27 12:19:12 -04:00 |
|
Timothy Clem
|
b3d7de8b51
|
Properly separate source line Loc from identifier Loc
|
2020-04-27 09:14:24 -07:00 |
|
Ayman Nadeem
|
5d0bd42a83
|
use <pre> instead of <code>
|
2020-04-27 11:26:26 -04:00 |
|
Ayman Nadeem
|
79c37006cf
|
Update codegen.md
|
2020-04-24 14:24:03 -04:00 |
|
Ayman Nadeem
|
2d9345ec39
|
Update codegen.md
|
2020-04-24 13:56:50 -04:00 |
|
Ayman Nadeem
|
a895c0a0a9
|
context for codegen
|
2020-04-24 13:56:44 -04:00 |
|
Ayman Nadeem
|
54cec8d188
|
heading
|
2020-04-24 13:56:37 -04:00 |
|
Ayman Nadeem
|
5e95f6fad5
|
This is now in Grammar.Examples
|
2020-04-24 13:56:30 -04:00 |
|
Ayman Nadeem
|
633cac77cb
|
headings
|
2020-04-24 13:56:10 -04:00 |
|
Ayman Nadeem
|
80e5b05eb0
|
format table of contents
|
2020-04-24 13:55:53 -04:00 |
|
Ayman Nadeem
|
ebc680f039
|
Update codegen.md
|
2020-04-24 13:55:40 -04:00 |
|
Ayman Nadeem
|
1892b303df
|
add instruction to read adding-a-new-language doc
|
2020-04-24 13:46:24 -04:00 |
|
Ayman Nadeem
|
00717435ce
|
toc should be upfront
|
2020-04-24 13:45:58 -04:00 |
|
Ayman Nadeem
|
b23c72d3b8
|
move this example under section discussing generating syntax
|
2020-04-24 13:45:34 -04:00 |
|
Ayman Nadeem
|
2796a6ff87
|
update links to point to Semantic instead of tree-sitter
|
2020-04-24 13:45:00 -04:00 |
|
Ayman Nadeem
|
55e91a4af4
|
🚮
|
2020-04-24 13:38:52 -04:00 |
|
Ayman Nadeem
|
eca92367e2
|
this is covered in adding-a-new-language
|
2020-04-24 13:38:10 -04:00 |
|
Ayman Nadeem
|
e3a46c4405
|
stub out functor instance
|
2020-04-24 13:32:18 -04:00 |
|