Richard Smith
|
33fdabf462
Merge type of diagnostic and its substitutions. (#351)
|
5 år sedan |
Jeremy G. Siek
|
05db2012ab
replace uses of AssocList with Dictionary (#344)
|
5 år sedan |
Chandler Carruth
|
5d6593ee39
Speed up and simplify the configuration of testing CI. (#335)
|
5 år sedan |
Dave Abrahams
|
2f83c4be48
Separate parsing from type-checking and evaluation. (#345)
|
5 år sedan |
Richard Smith
|
62ff5597e4
Cleanups from review of #326. (#346)
|
5 år sedan |
Richard Smith
|
9a873b46de
Move numeric literal parsing out into its own files. (#326)
|
5 år sedan |
Dave Abrahams
|
5884aa1a5c
Give syntax files more useful and mnemonic names.
|
5 år sedan |
Dave Abrahams
|
45c487de70
executable semantics/syntax: move to a subpackage.
|
5 år sedan |
Dave Abrahams
|
18690b43bb
Bison/Flex are now installed and built by bazel.
|
5 år sedan |
Dave Abrahams
|
3078f34f5e
Shallow clone submodules.
|
5 år sedan |
Dave Abrahams
|
81dc56b312
[executable semantics] Trivial lexer cleanup (#341)
|
5 år sedan |
Chandler Carruth
|
d2c1aa5701
Move back to continuously updating Bazel. (#302)
|
5 år sedan |
Dave Abrahams
|
5ea7fd44c1
Don't recursively fetch submodules in CI. (#338)
|
5 år sedan |
Jon Meow
|
1edfb1786e
Language-level safety strategy (#196)
|
5 år sedan |
Jeremy G. Siek
|
fd96e0e630
add command-line flag to enable/disable tracing output (#325)
|
5 år sedan |
Jeremy G. Siek
|
cd18e24176
Create a Dictionary abstraction over the raw Cons list. (#327)
|
5 år sedan |
Dave Abrahams
|
1204f2bdcc
GitHub testing action (#331)
|
5 år sedan |
Jon Meow
|
30648724c9
Use llvm's CommandLine for parsing (#332)
|
5 år sedan |
Jon Meow
|
d48b17adc7
Update pattern_variable_fail.golden due to error (#334)
|
5 år sedan |
Jeremy G. Siek
|
5457916abb
fix interpreter's handling of optional else of if statement (#323)
|
5 år sedan |
Jeremy G. Siek
|
b2c9203143
adding missing exit for pattern variable in wrong context and a test case for it (#324)
|
5 år sedan |
Geoff Romer
|
9d0b48478f
Fix compilation errors in choice1.6c (#322)
|
5 år sedan |
Richard Smith
|
6a2f7c9984
Comments proposal (#198)
|
5 år sedan |
Jeremy G. Siek
|
675c1056bf
update goldens to match fixes in PR #308 (#321)
|
5 år sedan |
Richard Smith
|
ec6fde4d61
String literals proposal (#199)
|
5 år sedan |
Geoff Romer
|
fe328b2a7b
Add test coverage for a trailing comma in the alternatives list, and empty parentheses in an alternative declaration. (#305)
|
5 år sedan |
Dave Abrahams
|
f5300a84e5
Revert "improve abstraction for AssocList, fix bug in optional else (#315)" (#320)
|
5 år sedan |
Geoff Romer
|
8b3bb7c5e9
Fix type errors in function calls (#308)
|
5 år sedan |
Jeremy G. Siek
|
bf6bb800c4
improve abstraction for AssocList, fix bug in optional else (#315)
|
5 år sedan |
Dave Abrahams
|
102ea3ccaf
Value semantics for Declaration. (#313)
|
5 år sedan |