langkit

ada/langkit

Fork 0

mirror of https://github.com/AdaCore/langkit.git synced 2026-02-12 12:28:12 -08:00

Commit Graph

Select branches

Hide Pull Requests

18-sustained

18.0

18.1

18.2

19-sustained

19.0

19.1

19.2

20-sustained

20.0

20.1

20.2

21-sustained

21.0

21.1

21.2

22-sustained

22.0

22.1

22.2

23-sustained

23.0

23.1

23.2

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

a2c2-2020-stable

dependabot/pip/mako-1.2.2

gpl-2017

lts-18

lts-19

lts-20

lts-21

lts-22

master

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#165

#166

#167

#168

#169

#17

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#190

#192

#193

#194

#195

#196

#197

#198

#199

#2

#2

#20

#200

#201

#202

#203

#204

#205

#206

#207

#208

#209

#21

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#224

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#236

#237

#238

#239

#24

#240

#241

#242

#243

#244

#245

#246

#247

#248

#249

#25

#250

#251

#252

#253

#254

#255

#256

#257

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#269

#27

#270

#271

#272

#273

#274

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#317

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#330

#331

#332

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#351

#352

#354

#355

#356

#357

#358

#359

#36

#360

#361

#363

#364

#365

#366

#367

#368

#369

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#388

#389

#39

#390

#392

#393

#394

#395

#396

#397

#398

#399

#40

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#41

#410

#411

#412

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#431

#432

#433

#434

#435

#436

#438

#439

#44

#440

#441

#442

#443

#444

#445

#446

#447

#448

#449

#45

#450

#451

#453

#454

#455

#456

#457

#458

#459

#46

#460

#461

#462

#463

#464

#465

#466

#467

#468

#469

#47

#471

#472

#473

#474

#475

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#486

#487

#488

#489

#49

#490

#491

#493

#494

#495

#496

#497

#498

#499

#50

#500

#502

#503

#504

#505

#506

#507

#509

#51

#510

#511

#512

#513

#514

#515

#516

#517

#518

#519

#52

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#53

#530

#531

#532

#533

#534

#535

#536

#537

#538

#539

#54

#540

#541

#542

#543

#544

#545

#546

#547

#548

#549

#55

#550

#551

#552

#553

#554

#555

#556

#557

#558

#559

#56

#560

#561

#562

#563

#564

#565

#566

#567

#568

#569

#57

#570

#571

#572

#573

#574

#575

#576

#577

#578

#58

#58

#581

#582

#583

#584

#585

#585

#586

#587

#588

#589

#59

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#60

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#61

#611

#612

#613

#614

#615

#616

#617

#618

#619

#62

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#63

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#64

#640

#641

#642

#644

#645

#646

#648

#648

#649

#65

#650

#651

#651

#652

#655

#655

#66

#67

#68

#69

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

dsl_unparse

v21.0.0

v22.0.0

v23.0.0

v24.0.0

v25.0.0

v26.0.0

c7db698884 GDB helpers: fix a pasto Pierre-Marie de Rodat 2020-03-16 14:44:31 +01:00
8bf47a779a Update and complete comments for the rerooting mechanism Pierre-Marie de Rodat 2020-03-16 14:06:31 +01:00
ff6ad069a8 grammar/invalid_lkt: remove unused iteration index Pierre-Marie de Rodat 2020-03-13 15:45:31 +01:00
3978fb62b6 grammar/invalid_lexers: extend testcase Pierre-Marie de Rodat 2020-03-13 15:45:14 +01:00
dcffaba4a4 Add support for LKT lexers, transition tests Pierre-Marie de Rodat 2020-03-05 04:17:15 -05:00
899c5791e4 Lkt: make StringLit.p_is_regexp_literal public Pierre-Marie de Rodat 2020-03-13 13:46:26 +01:00
a6730e92f4 Lkt: document StringLit.p_denoted_value's edge case Pierre-Marie de Rodat 2020-03-13 13:41:46 +01:00
253b4b6f86 Lkt: document the StringLit unique type design Pierre-Marie de Rodat 2020-03-13 13:41:03 +01:00
f17112ac60 Lkt: add a TODO in StringLit.p_denoted_value's implementation Pierre-Marie de Rodat 2020-03-13 13:40:28 +01:00
8f9232f99e Regenerate lexer_example.lkt Pierre-Marie de Rodat 2020-03-12 17:30:55 +01:00
7f0417b37a dsl_unparse: fix token kind detection Pierre-Marie de Rodat 2020-03-12 17:30:46 +01:00
3b51a0dc51 Lkt: distinguish @foo and @foo() in syntax trees Pierre-Marie de Rodat 2020-03-12 16:36:21 +01:00
d916ccc1f8 Fix a docstring typo Pierre-Marie de Rodat 2020-03-06 10:38:34 -05:00
52da315495 Lkt: create stub declarations for tokens with no simple lexing rule Pierre-Marie de Rodat 2020-03-06 10:15:11 -05:00
71131d6ad8 Fix filename computation when displaying lkt diagnostics Pierre-Marie de Rodat 2020-03-06 10:20:25 -05:00
61ef33b1d7 grammar/case_rule: new testcase Pierre-Marie de Rodat 2020-03-06 05:55:54 -05:00
de58c96d16 Testsuite: factorize common lexers in the concrete syntax Pierre-Marie de Rodat 2020-03-06 04:23:24 -05:00
05ca4fbcb1 Slightly change lexer annotation syntax Pierre-Marie de Rodat 2020-03-06 03:48:27 -05:00
d366fbfd30 Make concrete syntax unparsing tunable Pierre-Marie de Rodat 2020-03-05 09:28:43 -05:00
6658d0847a Refactor annotations processing Pierre-Marie de Rodat 2020-03-05 08:22:38 -05:00
b6a67d2ddd Refactor and improve grammar validity checks/error messages Pierre-Marie de Rodat 2020-02-28 16:47:22 +01:00
d770ce9dea Make GDB helpers work with Python3 Pierre-Marie de Rodat 2020-03-12 18:29:16 +01:00
019ce34cd6 setup.py: add coverage.css to package_data Pierre-Marie de Rodat 2020-03-12 14:41:21 +01:00
3ae12509e3 Minor: clean build space for lib*lang before building Raphaël AMIARD 2020-03-09 12:53:21 +01:00
fea3298be7 RA22-015: lkt_resolve.py - color errors Raphaël AMIARD 2020-03-11 13:00:32 +01:00
b61c67b4ee RA22-015: fix langkit bug in diagnostics Raphaël AMIARD 2020-03-11 12:59:58 +01:00
9d98838fb4 RA22-015: sanity test for internal errors Raphaël AMIARD 2020-03-11 12:59:37 +01:00
1013127b1c RA22-015: check semantic errors in prelude Raphaël AMIARD 2020-03-11 12:58:25 +01:00
73b6e9e5e0 RA22-015: test list/array methods Raphaël AMIARD 2020-03-11 12:57:33 +01:00
4c06fb7efa RA22-015: Add some methods on ASTList Raphaël AMIARD 2020-03-06 14:21:15 +01:00
43dfc6690a RA22-015: Do a check_semantic pass directly in liblktlang Raphaël AMIARD 2020-03-04 12:36:22 +01:00
6469680387 RA22-015: TypingResult -> SemanticResult Raphaël AMIARD 2020-03-04 12:37:31 +01:00
1387d22598 RA22-015: Expand comment Raphaël AMIARD 2020-03-04 12:37:03 +01:00
6fd1cbda25 RA22-015: Add function types Raphaël AMIARD 2020-03-04 10:47:16 +01:00
72d4adc53f Fix Decl.short_image Raphaël AMIARD 2020-03-04 10:59:53 +01:00
d9a4365e5e RA22-015: add .length to arrays Raphaël AMIARD 2020-03-04 10:47:01 +01:00
d49038c3f3 RA22-015: SymbolType -> Symbol in dsl_unparse Raphaël AMIARD 2020-02-28 17:09:06 +01:00
a6f241f077 RA22-015: Boolean -> Bool in dsl_unparse Raphaël AMIARD 2020-02-28 16:41:00 +01:00
a27dc927d5 RA22-015: Remove as_bool from unparser result Raphaël AMIARD 2020-02-27 18:29:42 +01:00
b47bac6354 RA22-015: Enum class subclasses basic nameres Raphaël AMIARD 2020-02-28 11:59:42 +01:00
11ec546b87 RA22-015: fix referenced_decl on DotExpr Raphaël AMIARD 2020-02-28 11:59:32 +01:00
a98dccf1de RA22-015: Add colors to output of lkt_resolve.py Raphaël AMIARD 2020-02-28 11:45:50 +01:00
23553aacb5 RA22-015: improve comment for expr_type_impl Raphaël AMIARD 2020-02-27 18:25:09 +01:00
f6e3474bf3 RA22-015: Implement __call__ builtin for call to objects Raphaël AMIARD 2020-02-27 17:33:07 +01:00
2505ad2e44 RA22-015: fix rebindings and generic types fn calls Raphaël AMIARD 2020-02-27 17:33:04 +01:00
f22243e5a4 RA22-015: finish implementing function calls Raphaël AMIARD 2020-02-27 17:31:22 +01:00
7e98ba83be Travis CI: update obsolete GNAT Community download URL Pierre-Marie de Rodat 2020-03-05 11:28:15 -05:00
280bc9b7eb Lkt: add an import statement Pierre-Marie de Rodat 2020-02-28 12:17:07 +01:00
3558b8d07c lkt_syntax: move testcase to contrib/ Pierre-Marie de Rodat 2020-02-28 14:43:17 +01:00
da9447b749 Liblktlang.Implementation.Extensions: minor reformatting Pierre-Marie de Rodat 2020-02-28 12:06:03 +01:00
00ce77cb29 Lkt: add a default unit provider Pierre-Marie de Rodat 2020-02-28 11:45:50 +01:00
a5a0cb8509 Lkt: restore type-inferred list parser: list+(...)/list*(...) Pierre-Marie de Rodat 2020-02-28 04:26:12 -05:00
0612dde534 RA22-015: Make WithText the default token action. Romain Beguet 2020-02-28 12:13:04 +01:00
7287f3f275 RA22-015: Fix syntax of token families. Romain Beguet 2020-02-28 12:04:27 +01:00
4f84fb9e9c RA22-015: Try to infer ValDecls type when it is not provided. Romain Beguet 2020-02-28 11:33:07 +01:00
b88a7379e0 RA22-015: Add test cases for regexp typing. Romain Beguet 2020-02-27 18:27:05 +01:00
c0cf7a6f0d RA22-015: Add comment in string literals typing. Romain Beguet 2020-02-27 18:26:44 +01:00
2af05a3c90 contrib/lkt_semantic: update obsolete baseline Pierre-Marie de Rodat 2020-02-27 12:36:44 -05:00
cd58bb6983 Remove obsolete token prefix code Pierre-Marie de Rodat 2020-02-27 17:17:02 +01:00
c91c9fdcc2 Lkt: include node text in RefId's short image Pierre-Marie de Rodat 2020-02-27 11:04:34 -05:00
75d723be37 Move Lkt lowering logic to a new module Pierre-Marie de Rodat 2020-02-27 10:14:26 -05:00
7b274d372e Lkt: change the syntax for grammar pick expressions Pierre-Marie de Rodat 2020-02-27 09:38:09 -05:00
db68fe6ba7 langkit.parser: add support for GrammarOptGroup Pierre-Marie de Rodat 2020-02-27 09:48:59 -05:00
8d0ca9eb51 Lkt: change the syntax for grammar list expressions Pierre-Marie de Rodat 2020-02-27 09:15:04 -05:00
e51550fae4 RA22-015: Add regexp type and type regexp literals. Romain Beguet 2020-02-27 17:49:41 +01:00
f2fd233b9e RA22-015: Generalize typing logic from literals to any expression. Romain Beguet 2020-02-27 17:43:39 +01:00
caf9016585 RA22-015: Add helper properties to deal with prefixed strings. Romain Beguet 2020-02-27 17:48:58 +01:00
05bb6b4d57 RA22-015: activate stylechecks on lkt Raphaël AMIARD 2020-02-27 14:08:29 +01:00
34bd3c7460 RA22-015: Type call expressions Raphaël AMIARD 2020-02-26 14:05:28 +01:00
415a171411 RA22-015: Add doc to TypeExpr.designated_type Raphaël AMIARD 2020-02-26 14:00:43 +01:00
809632daf9 RA22-015: Properly type DotExpr Raphaël AMIARD 2020-02-26 13:58:31 +01:00
1eab64d399 RA22-015: Implement full_name on generic instantiations Raphaël AMIARD 2020-02-26 13:57:26 +01:00
c352fac76e P506-012: Refactor expr typing mechanism Raphaël AMIARD 2020-02-26 13:52:20 +01:00
dcc181d71f RA22-015: Add Decl.full_name & use it in diagnostics Raphaël AMIARD 2020-02-26 13:56:31 +01:00
b4bd982f47 RA22-015: Introduce generic instantiation mechanism Raphaël AMIARD 2020-02-26 13:34:44 +01:00
009b4c9b3e RA22-015: Generic decls introduce type decls Raphaël AMIARD 2020-02-26 13:35:28 +01:00
7bcee2f7f8 RA22-015: lowercase enum lits Raphaël AMIARD 2020-02-27 10:43:52 +01:00
badb36df51 RA22-015: put grammar name in lowercase Raphaël AMIARD 2020-02-27 10:43:26 +01:00
7777ff411a RA22-015: Fix generic instantiation parsing Raphaël AMIARD 2020-02-27 10:42:05 +01:00
c1979589f2 Minor: move grammar rule Raphaël AMIARD 2020-02-27 10:41:47 +01:00
3dfab64e9c RA22-015: Introduce enum classes Raphaël AMIARD 2020-02-27 10:37:30 +01:00
caa77ce797 Minor: code formatting Raphaël AMIARD 2020-02-27 10:36:03 +01:00
020642ebcc RA22-015: update langkit.vim file Raphaël AMIARD 2020-02-26 13:28:35 +01:00
e35c6b22d4 Propagate concrete syntax locations to lowered parsers Pierre-Marie de Rodat 2020-02-27 12:07:50 +01:00
85448c7b3f Add validation testcases for grammars using the concrete syntax Pierre-Marie de Rodat 2020-02-27 11:40:24 +01:00
4ca0a23a38 Reject abstract nodes in Transform parsers Pierre-Marie de Rodat 2020-02-27 11:34:28 +01:00
3459f459ff contrib/lkt_parse_1: remove testcase Pierre-Marie de Rodat 2020-02-27 04:52:38 -05:00
383670d486 Extend support for LKT grammars, transition tests Pierre-Marie de Rodat 2020-02-25 13:08:33 +01:00
98c7521ef4 DontSkip.traverse_dontskip: add rules without processing locations Pierre-Marie de Rodat 2020-02-26 17:42:27 +01:00
b01b60204e Pick/_pick_impl: accept optional location arguments Pierre-Marie de Rodat 2020-02-26 17:46:48 +01:00
402e45bf79 Change the naming convention in the DSL for enum alternative types Pierre-Marie de Rodat 2020-02-26 11:54:51 +01:00
9467a5a42c RA22-015: Add lexer parser and unparser to concrete syntax. Romain Beguet 2020-02-26 15:34:43 +01:00
e723071116 RA22-015: Unparse token names in lower case and avoid conflicts. Romain Beguet 2020-02-26 14:42:45 +01:00
fed6874e3b dsl_unparse: change the naming convention for grammars Pierre-Marie de Rodat 2020-02-26 11:14:20 +01:00
03514cf10d Extend the concrete syntax to support List parsers' list_cls setting Pierre-Marie de Rodat 2020-02-25 17:25:58 +01:00
084cc1509f dsl_unparse: fix precedence issues with extract parsers Pierre-Marie de Rodat 2020-02-25 16:54:52 +01:00
2d4a11d9cf diagnostics.print_context: honor the diagnostic style for filenames Pierre-Marie de Rodat 2020-02-25 16:41:23 +01:00
d8e21b08ba dsl_unparse: fix unparsing of List parsers (switch + and *) Pierre-Marie de Rodat 2020-02-25 15:52:04 +01:00
300edc76f6 Lkt: add support for the discard parser Pierre-Marie de Rodat 2020-02-25 15:47:55 +01:00
5353f6da3a dsl_unparse: preserve grammar rules order Pierre-Marie de Rodat 2020-02-25 15:10:55 +01:00

... 35 36 37 38 39 ...