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

38b1e3a6be Lkt: rework the syntax tree to represent null-conditional expressions Pierre-Marie de Rodat 2025-03-19 16:21:52 +00:00
4318ed3125 Merge branch 'mr/pmderodat/dynvar-homonym-arg' into 'master' Pierre-Marie de Rodat 2025-03-26 14:02:42 +00:00
bf1e6b4351 Lkt: enhance diagnostics for conflicting arg/dynvar declarations Pierre-Marie de Rodat 2025-03-26 08:21:04 +00:00
0a901fe7a0 Merge branch 'mr/pmderodat/node-builder-types' into 'master' Pierre-Marie de Rodat 2025-03-26 14:01:25 +00:00
e000be98ce Make the order of node builder types deterministic again Pierre-Marie de Rodat 2025-03-26 12:35:02 +00:00
bc5a7ee391 Merge branch 'mr/pmderodat/mem-leaks' into 'master' Pierre-Marie de Rodat 2025-03-25 13:46:02 +00:00
07f8d27ae7 Fix scope issues in the compilation of expressions that led to memleaks Pierre-Marie de Rodat 2025-03-25 10:25:33 +00:00
40a049cb06 Merge branch 'mr/pmderodat/lkt-args-param' into 'master' Pierre-Marie de Rodat 2025-03-25 09:33:26 +00:00
7940479092 Lkt: use consistent naming for arguments/parameters Pierre-Marie de Rodat 2025-03-19 10:46:43 +00:00
2109507f7f Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-03-25 09:06:38 +00:00
7ccaa046ee langkit.expressions: remove obsolete docstring Pierre-Marie de Rodat 2025-03-24 15:24:33 +00:00
3da22a7193 Merge branch 'mr/pmderodat/python-dsl-wip' into 'master' Pierre-Marie de Rodat 2025-03-24 15:59:02 +00:00
507d36822a langkit.expressions: rename/reorganize expression classes Pierre-Marie de Rodat 2025-03-18 11:30:58 +00:00
2594d56508 Remove abstract expressions Pierre-Marie de Rodat 2025-03-17 20:43:54 +00:00
821ec19f43 lexical_envs/invalid_add_to_env: extend for add_to_env_kv() Pierre-Marie de Rodat 2025-03-17 20:34:49 +00:00
5eb6cdec65 properties/implicit_entity_cast: new testcase Pierre-Marie de Rodat 2025-03-14 16:07:07 +00:00
d55ff8471e properties/dynvar_missing_binding: add missing parents in property call Pierre-Marie de Rodat 2025-03-14 13:10:21 +00:00
64c605f2af lkt/nodes.lkt: remove invalid default field value Pierre-Marie de Rodat 2025-03-14 11:27:32 +00:00
d356421994 Represent default field/argument values as resolved expressions Pierre-Marie de Rodat 2025-03-14 11:17:31 +00:00
4e392c46b3 langkit.expressions.collections: minor refactoring Pierre-Marie de Rodat 2025-03-11 14:11:57 +00:00
96690776f2 Lower Lkt expressions just before the expression construction pass Pierre-Marie de Rodat 2025-02-28 10:09:35 +00:00
7e3b7f7009 properties/invalid_then: fix an error in the grammar Pierre-Marie de Rodat 2025-02-28 10:30:11 +00:00
c3aa5341c0 Refactor the compilation of expressions in the frontend Pierre-Marie de Rodat 2025-02-24 15:01:32 +00:00
f65b76dced Stop using AbstractVariable to represent local variables internally Pierre-Marie de Rodat 2025-02-20 14:51:22 +00:00
6b09a18ba0 langkit.expressions: simplify the construct cache for abstract vars. Pierre-Marie de Rodat 2025-02-18 10:52:25 +00:00
c792032f6d langkit.expressions: minor refactoring Pierre-Marie de Rodat 2025-02-18 10:51:15 +00:00
873a358db8 langkit.expressions: assume only one property at a time is compiled Pierre-Marie de Rodat 2025-02-18 10:37:46 +00:00
78a8bfc535 Remove the obsolete expression "prepare" compilation pass Pierre-Marie de Rodat 2025-02-18 10:23:52 +00:00
ff5e9ad9ec langkit.expressions: introduce the ExprDebugInfo class Pierre-Marie de Rodat 2025-02-17 15:47:29 +00:00
e189b01577 langkit.compiled_types: remove TypeRepo.Defer Pierre-Marie de Rodat 2025-02-13 16:01:03 +00:00
1ec6d6d457 langkit.java_api: remove clauses for non-existing type Pierre-Marie de Rodat 2025-02-13 16:00:47 +00:00
bf0e3ca7bd langkit.ocaml_api: remove clause for non-existing type Pierre-Marie de Rodat 2025-02-13 15:55:59 +00:00
22623c3c30 langkit.expressions.envs: remove unused/obsolete global Pierre-Marie de Rodat 2025-02-13 15:52:49 +00:00
59af80587d langkit.frontend.resolver: do not use TypeRepo.Defer Pierre-Marie de Rodat 2025-02-13 15:20:33 +00:00
19bcd1be56 Remove processings of node types from CompiledTypeRepo Pierre-Marie de Rodat 2025-02-13 14:14:34 +00:00
c5a89de2bd Remove processings of enum types from CompiledTypeRepo Pierre-Marie de Rodat 2025-02-12 20:56:00 +00:00
e815f52726 Remove the obsolete CompiledTypeRepo.pending_list_types field Pierre-Marie de Rodat 2025-02-12 20:50:46 +00:00
2777c7e3c2 Remove processings of composite types from CompiledTypeRepo Pierre-Marie de Rodat 2025-02-12 20:49:47 +00:00
9ab743d987 Remove CompiledTypeRepo.root_grammar_class Pierre-Marie de Rodat 2025-02-12 15:57:49 +00:00
e249119a3f langkit.compiled_types: avoid get_context in context-owned objects Pierre-Marie de Rodat 2025-02-12 15:51:12 +00:00
0e5712bef3 langkit.railroad_diagrams: refactor to avoid get_context Pierre-Marie de Rodat 2025-02-12 15:02:01 +00:00
00513e57a0 langkit.parsers: refactor to avoid get_context Pierre-Marie de Rodat 2025-02-12 14:52:33 +00:00
d8028629e3 langkit.parsers: remove parser resolution Pierre-Marie de Rodat 2025-02-12 14:56:02 +00:00
5a295db0df langkit.unparsers: refactor to avoid get_context Pierre-Marie de Rodat 2025-02-12 14:30:53 +00:00
cdfbbcd421 langkit.envs: refactor to avoid get_context Pierre-Marie de Rodat 2025-02-12 14:21:56 +00:00
a1f9af68df langkit.emitter: refactor to avoid get_context Pierre-Marie de Rodat 2025-02-12 14:17:43 +00:00
d10e58db80 langkit.documentation: refactor to avoid get_context Pierre-Marie de Rodat 2025-02-12 13:08:06 +00:00
497c3877c1 lkm: assume that all commands needs a context Pierre-Marie de Rodat 2025-02-12 11:37:29 +00:00
e49b7032db lkm: remove the "help" subcommand Pierre-Marie de Rodat 2025-02-12 11:35:32 +00:00
de99320f1b langkit.documentation: minor refactoring Pierre-Marie de Rodat 2025-02-12 10:58:44 +00:00
a0e4aed9d0 Remove CompiledTypeRepo.dynamic_vars Pierre-Marie de Rodat 2025-02-12 10:32:08 +00:00
899648f416 Remove CompiledTypeRepo.env_metadata Pierre-Marie de Rodat 2025-02-12 10:30:58 +00:00
4d81f6877a langkit.expressions: remove the obsolete resolve_property helper Pierre-Marie de Rodat 2025-02-12 09:06:54 +00:00
0c177eaff2 Make type information mandatory for all members Pierre-Marie de Rodat 2025-02-11 20:56:09 +00:00
3fbe91d659 langkit.envs: remove obsolete Python DSL handling Pierre-Marie de Rodat 2025-02-11 20:23:13 +00:00
8030b57a08 Remove support for "abstract runtime check" properties Pierre-Marie de Rodat 2025-02-11 19:44:56 +00:00
b20b6728b6 Move null-conditional expansion to Lkt expression lowering code Pierre-Marie de Rodat 2025-02-11 16:24:38 +00:00
a45ad856c3 Locations are now mandatory: simplify type hints/assertions accordingly Pierre-Marie de Rodat 2025-02-11 14:32:24 +00:00
d2e0acae0a Add type annotations to langkit.expressions Pierre-Marie de Rodat 2025-02-11 15:07:51 +01:00
3d2e0e9f57 langkit.expressions: remove dead code Pierre-Marie de Rodat 2025-02-10 16:02:27 +00:00
30d4905bbd Remove support to infer DSL location from Python tracebacks Pierre-Marie de Rodat 2025-02-07 16:36:09 +00:00
0fa6433cf8 langkit.expressions: rework handling of node/self special variables Pierre-Marie de Rodat 2025-02-10 12:33:50 +00:00
06d9630b1d Refactor processing of "uses entity info" for lazy fields Pierre-Marie de Rodat 2025-02-10 13:21:11 +00:00
dcc6ab712c langkit.expressions: remove obsolete Python DSL helper Pierre-Marie de Rodat 2025-02-10 09:23:53 +00:00
7e0acb71f9 langkit.parsers: remove obsolete Python DSL helpers Pierre-Marie de Rodat 2025-02-07 16:31:39 +00:00
385e268cc2 langkit.lexer: remove obsolete Python DSL helpers Pierre-Marie de Rodat 2025-02-07 16:31:23 +00:00
627d930213 langkit.expressions.envs: remove obsolete Python DSL helpers Pierre-Marie de Rodat 2025-02-10 09:28:39 +00:00
4cbf3e1226 langkit.envs: remove obsolete Python DSL helpers Pierre-Marie de Rodat 2025-02-07 16:20:21 +00:00
a40af5d5b4 Determine compiled type member owner at member initialization time Pierre-Marie de Rodat 2025-02-07 13:35:56 +00:00
95c9b77573 langkit.expressions: remove obsolete PropertyDef.__init__ wrappers Pierre-Marie de Rodat 2025-02-07 09:59:05 +00:00
d536a2ef39 langkit.expressions: remove obsolete Python DSL-specific function Pierre-Marie de Rodat 2025-02-07 09:25:14 +00:00
0c54619a24 langkit.expression: remove obsolete Python DSL syntactic sugar Pierre-Marie de Rodat 2025-02-06 19:31:23 +00:00
b9970fee2c langkit.expressions: remove the Cond expression Pierre-Marie de Rodat 2025-02-06 19:24:02 +00:00
73c90cf267 Remove freezing for AbstractExpression Pierre-Marie de Rodat 2025-02-06 15:13:29 +00:00
3fa15742e5 langkit.expressions: remove "magic" attributes Pierre-Marie de Rodat 2025-02-06 13:36:35 +00:00
cd1ccd7f3c langkit.frontend.types: remove support for obsolete attributes Pierre-Marie de Rodat 2025-02-06 13:15:27 +00:00
3789b55b61 langkit.expressions: remove support for composed attributes Pierre-Marie de Rodat 2025-02-05 15:03:01 +00:00
2aa2368a51 Merge branch 'mr/pmderodat/parser-null-qualifier' into 'master' Pierre-Marie de Rodat 2025-03-24 08:59:55 +00:00
63691b7e58 null(T) parsers do not produce null nodes when T is a qualifier Pierre-Marie de Rodat 2025-03-19 16:10:23 +00:00
ec13aa1279 Merge branch 'topic/lkt/add_docstrings_in_prelude' into 'master' Rémi Segard 2025-03-19 10:46:13 +00:00
bfabbf657a Add docstrings in prelude.lkt Remi Segard 2025-02-19 17:56:15 +01:00
64b87cab01 Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-03-17 16:16:21 +00:00
1bea0521d4 langkit.expressions: remove the now-unused method Pierre-Marie de Rodat 2025-02-05 14:24:45 +00:00
fb4b3b95cb NullCond.Check: remove an obsolete check Pierre-Marie de Rodat 2025-02-05 14:22:18 +00:00
fee15bd6c5 langkit.expressions: merge do_prepare into the No constructor Pierre-Marie de Rodat 2025-02-05 14:20:33 +00:00
374b385314 langkit.expressions: merge do_prepare into the Let constructor Pierre-Marie de Rodat 2025-02-05 13:45:03 +00:00
efc5c97e95 langkit.expressions: remove Block/Var Pierre-Marie de Rodat 2025-02-05 13:15:36 +00:00
79a7156bc9 langkit.expressions: merge do_prepare into the Match constructor Pierre-Marie de Rodat 2025-02-05 12:34:10 +00:00
f5d282ec15 langkit.expressions: merge do_prepare into the New constructor Pierre-Marie de Rodat 2025-02-05 11:15:33 +00:00
6bfab37284 langkit.expressions: merge do_prepare into the Cast constructor Pierre-Marie de Rodat 2025-02-05 11:09:07 +00:00
718964ebb1 langkit.expressions: merge do_prepare into coll. expr. constructors Pierre-Marie de Rodat 2025-02-05 11:02:21 +00:00
0d015c8d93 langkit.expressions: merge do_prepare into the Then constructor Pierre-Marie de Rodat 2025-02-05 10:22:15 +00:00
4efd55ca37 langkit.expressions: merge do_prepare into the Predicate constructor Pierre-Marie de Rodat 2025-02-05 09:10:50 +00:00
09eb5b1bcc Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-03-17 10:29:17 +00:00
389841b6f6 Remove duplicate resolution code in Lkt grammar lowering Pierre-Marie de Rodat 2025-02-05 09:00:51 +00:00
ba0a1bd001 Reorganise sources for Lkt lowering Pierre-Marie de Rodat 2025-02-04 14:28:40 +00:00
e5880a4d8c Merge branch 'mr/pmderodat/ocaml' into 'master' Pierre-Marie de Rodat 2025-03-14 21:26:24 +00:00
319f25c044 Add a Valgrind suppression for the update to OCaml 4.12.1 Pierre-Marie de Rodat 2025-03-14 16:17:28 +00:00
4fd245b9a1 Merge branch 'mr/pmderodat/python-dsl' into 'master' Pierre-Marie de Rodat 2025-03-13 13:49:13 +00:00
fec3185291 Store GenericInterface/InterfaceProfileMethod instances instead of names Pierre-Marie de Rodat 2025-02-04 13:18:08 +00:00

... 4 5 6 7 8 ...