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

bc9c861ac1 Remove trailing whitespaces in OCaml templates Pierre-Marie de Rodat 2020-07-27 12:41:29 +02:00
817a7e75af Fix too long lines in OCaml templates Pierre-Marie de Rodat 2020-07-27 12:40:20 +02:00
3a7f46995e TN: T716-038 Add typed lookup utility for Ocaml bindings creuse 2020-07-16 16:30:57 +02:00
45e2b1bae9 Format Ocaml bindings test with latest ocaml format creuse 2020-07-16 17:58:47 +02:00
89489a3236 TN: T716-014 Expose filename member for analysis unit in Ocaml bindings creuse 2020-07-15 17:47:17 +02:00
a63979b6d5 Enable Lkt lowering in several tests Pierre-Marie de Rodat 2020-07-02 17:16:32 +02:00
eb9e131778 Lkt lowering: start the handling of map expressions Pierre-Marie de Rodat 2020-07-02 17:03:16 +02:00
af9235468e Python API: add more precise __getitem__ type hints for list nodes Pierre-Marie de Rodat 2020-07-02 16:33:14 +02:00
1500750906 langkit.documentation: add type hints for Mypy Pierre-Marie de Rodat 2020-07-02 15:10:38 +02:00
b3c00f3a3c langkit.common: add type hints for Mypy Pierre-Marie de Rodat 2020-07-02 14:47:18 +02:00
08cc6b47b9 langkit.caching: add type hints for Mypy Pierre-Marie de Rodat 2020-07-02 14:43:57 +02:00
f3d20edaf9 Add type hints for Mypy to language API classes Pierre-Marie de Rodat 2020-07-02 14:39:29 +02:00
7de5c59cc5 Ada API: remove the Debug_Text functions Pierre-Marie de Rodat 2020-07-02 13:04:33 +02:00
1ea639c206 misc/diag_empty_source: fix test description Pierre-Marie de Rodat 2020-07-02 13:03:25 +02:00
bb856abf68 Node APIs: rename short_image to image Pierre-Marie de Rodat 2020-07-02 12:50:03 +02:00
342a3d31ce Lexical envs: minor renaming Pierre-Marie de Rodat 2020-07-02 12:04:25 +02:00
30100d2037 Make origin filename/charset info available from Token_Reference Pierre-Marie de Rodat 2020-07-01 10:21:37 -04:00
c1652d6022 dsl_unparse: fix unparsing of foo._.is_a(Bar) Pierre-Marie de Rodat 2020-07-01 10:20:05 -04:00
64fff4ff71 dsl_unparse: fix unparsing of foo._.at(n) Pierre-Marie de Rodat 2020-07-01 10:12:42 -04:00
a262008e83 grammar/recursive_list: revert unwanted baseline rewrite Pierre-Marie de Rodat 2020-07-01 10:10:52 -04:00
f044468f1a Ada API: fix the exc. message for invalid conversions in As_* functions Pierre-Marie de Rodat 2020-07-01 08:28:40 -04:00
101393ed7c Rename Children_With_Trivia to Children_And_Trivia Pierre-Marie de Rodat 2020-07-01 06:48:51 -04:00
2d2ca75325 Children_With_Trivia: also return ghost nodes Pierre-Marie de Rodat 2020-06-30 11:53:36 -04:00
6fa402f0be Travis CI: use Python 3.8 Pierre-Marie de Rodat 2020-07-01 08:41:43 -04:00
294f1136d6 Run Mypy on the whole Langkit codebase Pierre-Marie de Rodat 2020-06-29 16:55:56 +02:00
f141dda32d Lkt: add missing doc for the public GrammarDecl.lexer property Pierre-Marie de Rodat 2020-06-29 16:54:46 +02:00
1cc4ac5579 CompileCtx.check_lkt: really avoid semchecks on syntax errors Pierre-Marie de Rodat 2020-06-29 16:40:05 +02:00
d8330b66ce Minor reformattings Pierre-Marie de Rodat 2020-06-29 16:37:23 +02:00
021c96fc91 RA22-015: Exempt resolution of LexerCaseRule Raphaël AMIARD 2020-06-28 19:53:08 +02:00
785bd72f4a RA22-015: type BinOp Raphaël AMIARD 2020-06-27 14:01:32 +02:00
14727ffbe7 RA22-015: type paren expr Raphaël AMIARD 2020-06-27 14:01:23 +02:00
d4ce7e6cea RA22-015: integrate lkt_check pass into langkit Raphaël AMIARD 2020-06-23 12:51:17 +02:00
be6993e0c4 RA22-015: Add Node.symbol property Raphaël AMIARD 2020-06-27 14:02:17 +02:00
3eef9cdc25 RA22-015: make Node a base class rt. a trait Raphaël AMIARD 2020-06-26 16:18:15 +02:00
235a6333fb RA22-015: Correct static_match Raphaël AMIARD 2020-06-26 17:01:36 +02:00
99dba44a63 RA22-015: Rework base enums Raphaël AMIARD 2020-06-26 12:44:09 +02:00
5d5da66f38 RA22-015: Register built-in lexer rules Raphaël AMIARD 2020-06-26 12:33:30 +02:00
e46ded476e mypy: activate liblktlang type checking Raphaël AMIARD 2020-06-25 17:59:44 +02:00
f2c6d30415 RA22-015: Rework unparsing annotations Raphaël AMIARD 2020-06-25 12:32:23 +02:00
ede794d5aa RA22-015: update langkit vim syntax Raphaël AMIARD 2020-06-25 12:31:55 +02:00
33bf389b7f Minor: add newlines in lkt grammar Raphaël AMIARD 2020-06-25 12:31:43 +02:00
7b17d5d3c6 RA22-015: Encapsulate lexer family decl in a FullDecl Raphaël AMIARD 2020-06-25 12:30:16 +02:00
da8d9a2da6 RA22-015: Async make of libpython/lktlang Raphaël AMIARD 2020-06-25 12:27:51 +02:00
3004284000 Lkt lowering: add support for the @with_lexer annotation Pierre-Marie de Rodat 2020-06-29 17:19:40 +02:00
4652df5ab7 Minor: remove now useless docstring type annotations Raphaël AMIARD 2020-06-24 16:22:08 +02:00
e13d197870 RA22-015: Resolve TokenRefs Raphaël AMIARD 2020-06-24 16:21:52 +02:00
119379f643 RA22-015 dsl_unparse: Unparse @with_lexer annotation Raphaël AMIARD 2020-06-24 14:14:47 +02:00
88ca82827e Minor: Fix initialization of CompileCtx.lkt_units Raphaël AMIARD 2020-06-23 12:47:35 +02:00
bfd9096e24 Minor: update gitignore Raphaël AMIARD 2020-06-23 12:47:01 +02:00
9b6b5c8b26 RA22-015: Don't parse ?/! as part of identifiers Raphaël AMIARD 2020-06-23 12:46:49 +02:00
dc0bf8fe66 RA22-015 refactoring: Rename GrammarToken -> TokenRef Raphaël AMIARD 2020-06-23 12:41:50 +02:00
70ef352914 Enable Mypy checks on langkit.passes Pierre-Marie de Rodat 2020-06-29 16:19:46 +02:00
3377a54968 compile_context: turn LexerPass and GrammarPass into real pass subcls Pierre-Marie de Rodat 2020-06-29 16:00:14 +02:00
5f7c9ffde0 mypy.ini: sort the list of Langkit modules Pierre-Marie de Rodat 2020-06-29 15:54:28 +02:00
4a23213f9b RA22-015 refactoring: Put lkt lowering into a dedicated pass Raphaël AMIARD 2020-06-19 12:56:03 +02:00
970ab37f81 RA22-015: Decl.full_decl goes through GenericDecls Raphaël AMIARD 2020-06-19 11:05:47 +02:00
1140c23651 RA22-015: handle @property annotation on FunDecls Raphaël AMIARD 2020-06-18 16:07:35 +02:00
e085739b5f RA22-015: Proper error on invalid TypeRef Raphaël AMIARD 2020-06-19 11:03:42 +02:00
cf9e2e094d Lkt lowering: refactor checks for traits while lowering types Pierre-Marie de Rodat 2020-06-24 11:07:45 +02:00
1c7c4bc4c7 dsl_unparse: replace "@abstract @abstract_stub" with "@not_implemented" Pierre-Marie de Rodat 2020-06-24 10:59:10 +02:00
53d31c710c Lkt lowering: force the default value to False for flag annotations Pierre-Marie de Rodat 2020-06-24 10:44:05 +02:00
931cee0169 Lkt lowering: minor refactoring Pierre-Marie de Rodat 2020-06-24 10:37:39 +02:00
033d3e9ec1 langkit.libmanage: make setenv update MYPYPATH Pierre-Marie de Rodat 2020-06-24 09:05:36 +02:00
c64a5213d7 Python API: generate stubs for Mypy Pierre-Marie de Rodat 2020-06-23 17:36:49 +02:00
a025850b2d Lkt: accept only declarations in token family blocks Pierre-Marie de Rodat 2020-06-24 10:24:23 +02:00
613852e15b Python API: simplify the binding of diagnostics Pierre-Marie de Rodat 2020-06-24 09:14:30 +02:00
d40c65b684 Prepare the codebase before the introduction of stubs for lib*lang Pierre-Marie de Rodat 2020-06-24 09:07:41 +02:00
fe20c7ef4f Python API: remove duplicate binding for Node.unit Pierre-Marie de Rodat 2020-06-23 16:54:34 +02:00
5149867738 CompiledType: add a mypy_type_hint property Pierre-Marie de Rodat 2020-06-23 16:48:02 +02:00
64246c00b2 Python API: hide implementation details for enum bindings Pierre-Marie de Rodat 2020-06-23 14:54:38 +02:00
23e804830f Testsuite: extend line number substitutions for new-style diagnostics Pierre-Marie de Rodat 2020-06-24 10:27:20 +02:00
fb0a1c822c Lkt lowering: handle IsA expressions Pierre-Marie de Rodat 2020-06-19 16:19:56 +02:00
1ffef97021 Lkt lowering: handle abstract properties Pierre-Marie de Rodat 2020-06-19 15:47:51 +02:00
b450afb699 Lkt lowering: force enum type lowering on use in expressions Pierre-Marie de Rodat 2020-06-19 14:01:17 +02:00
b4d63d1617 Lkt lowering: handle struct types and field default values Pierre-Marie de Rodat 2020-06-19 14:00:45 +02:00
5677679ecb dsl_unparse: handle struct field default values Pierre-Marie de Rodat 2020-06-19 13:42:41 +02:00
b7a64496a4 Lkt lowering: fix the handling of @export with inheritance Pierre-Marie de Rodat 2020-06-18 18:37:50 +02:00
6600963d0f dsl_unparse: fix handling for abstract properties Pierre-Marie de Rodat 2020-06-18 18:25:07 +02:00
abd302e4d9 Lkt lowering: handle enum types Pierre-Marie de Rodat 2020-06-18 16:02:05 +02:00
98b6f190a2 Lkt lowering: handle "null" literal expressions Pierre-Marie de Rodat 2020-06-19 18:51:38 +02:00
0d52fb585e dsl_unparse: emit declarations for enum types Pierre-Marie de Rodat 2020-06-18 15:14:31 +02:00
2231c89662 Lkt lowering: add support for If expressions Pierre-Marie de Rodat 2020-06-18 14:31:09 +02:00
3cbd2e8373 Lkt lowering: add support for call expressions Pierre-Marie de Rodat 2020-06-18 14:15:46 +02:00
03dfba8f72 Lkt lowering: add support for number literals Pierre-Marie de Rodat 2020-06-18 14:13:35 +02:00
206b676a73 Lkt lowering: extend support for binary operators Pierre-Marie de Rodat 2020-06-18 14:13:02 +02:00
c8c4bb48a1 Lkt lowering: add support for boolean literals Pierre-Marie de Rodat 2020-06-18 13:28:00 +02:00
f2b402f13f Lkt lowering: handle more expression kinds Pierre-Marie de Rodat 2020-06-18 13:03:40 +02:00
2b1d6a934a langkit.diagnostics: fix handling of empty source files Pierre-Marie de Rodat 2020-06-22 17:21:46 +02:00
ac775600f7 $.Debug_Text: raise a Property_Error on null nodes Pierre-Marie de Rodat 2020-06-22 16:25:57 +02:00
5b302e774a Revert "libmanage.py: pass --install-name to GPRinstall" Pierre-Marie de Rodat 2020-06-19 13:15:58 +02:00
d635f70d34 Add calls to sorted() in templates to avoid variations in output sources Pierre-Marie de Rodat 2020-06-19 11:51:02 +02:00
d1762f3072 langkit.diagnostics: fix the display of warnings Pierre-Marie de Rodat 2020-06-18 20:00:30 +02:00
358ca57ea5 langkit.diagnostics: fix the assumption that liblktlang is available Pierre-Marie de Rodat 2020-06-18 19:53:51 +02:00
cab1b6d0b8 libmanage.py: pass --install-name to GPRinstall Pierre-Marie de Rodat 2020-06-18 12:19:14 -04:00
12eec892c6 RA22-015: type check all of langkit.diagnostics Raphaël AMIARD 2020-06-17 18:09:33 +02:00
0e3e6e72d7 RA22-015: Simplify the diagnostic's context stack Raphaël AMIARD 2020-06-18 15:01:12 +02:00
b7a8004ff3 RA22-015: Some more typing of langkit.diagnostics Raphaël AMIARD 2020-06-18 10:45:56 +02:00
2495c037bc RA22-015: Use the new error printing mechanism Raphaël AMIARD 2020-06-18 16:09:24 +02:00
335aca19aa RA22-015: Get rid of infra to store LKNodes on the context stack Raphaël AMIARD 2020-06-18 13:24:38 +02:00
3ef0e4706c RA22-015: Move lkt_resolve error printing to langkit.diagnostics Raphaël AMIARD 2020-06-18 13:26:11 +02:00

... 32 33 34 35 36 ...