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

d2efdbbc01 RA22-015: Preparatory refactoring of lkt_resolve.py Raphaël AMIARD 2020-06-18 13:17:07 +02:00
0c82232b68 Transform diagnostics.Location into a dataclass Raphaël AMIARD 2020-06-16 16:58:59 +02:00
8425a29549 Get rid of location.text Raphaël AMIARD 2020-06-16 16:33:45 +02:00
137d48b77e Lkt lowering: replace Environment with a simple dict Pierre-Marie de Rodat 2020-06-17 18:23:13 +02:00
1f470745c2 Lkt lowering: simplify type ref resolution Pierre-Marie de Rodat 2020-06-17 17:43:18 +02:00
85b5fc0f11 Lkt lowering: start handling properties Pierre-Marie de Rodat 2020-06-17 16:07:45 +02:00
985b918b83 Lkt: add helper properties to lower instantiated generics in Langkit Pierre-Marie de Rodat 2020-06-17 16:04:33 +02:00
d8830bea8c Lkt lowering: make builtin types available Pierre-Marie de Rodat 2020-06-17 13:10:48 +02:00
78d17b01f2 dsl_unparse: use DSL names to unparse type references Pierre-Marie de Rodat 2020-06-17 12:40:00 +02:00
422ab186d6 Enforce type annotations in mypy-checked modules Pierre-Marie de Rodat 2020-06-17 11:00:12 +02:00
f548904c01 Run mypy on langkit/names.py Pierre-Marie de Rodat 2020-06-16 17:47:59 +02:00
9c3f981f4b Lkt lowering: refactor fields lowering Pierre-Marie de Rodat 2020-06-16 17:36:35 +02:00
2f61bd812f Lkt lowering: add type annotations to remaining functions Pierre-Marie de Rodat 2020-06-16 17:00:24 +02:00
e549451937 Travis CI: run type checking using mypy Pierre-Marie de Rodat 2020-06-16 16:51:17 +02:00
ee80628ea6 Lkt lowering: fix mypy diagnostics Pierre-Marie de Rodat 2020-06-16 16:43:00 +02:00
3ef804009a langkit.names: add type annotations Pierre-Marie de Rodat 2020-06-16 15:41:46 +02:00
32e97da30e mypy.ini: ignore the absence of stubs for funcy Pierre-Marie de Rodat 2020-06-16 15:27:15 +02:00
5e97979483 Lkt lowering: update obsolete docstring Pierre-Marie de Rodat 2020-06-16 15:14:26 +02:00
80edf24fc7 Minor reformatting Pierre-Marie de Rodat 2020-06-16 15:12:19 +02:00
71f773e0ff Rename SymbolNode to TokenNode Pierre-Marie de Rodat 2020-06-16 15:04:46 +02:00
5570e325c9 stylechecks: restore __future__ checks Pierre-Marie de Rodat 2020-06-16 15:04:04 +02:00
adf5360570 mypy: add mypy.ini Raphaël AMIARD 2020-06-16 15:21:41 +02:00
81fe3321b8 mypy: fix more diagnostics Raphaël AMIARD 2020-06-16 13:32:04 +02:00
1357ee5e4d mypy: Refactor annotations mechanism Raphaël AMIARD 2020-06-15 14:28:39 +02:00
c1a8b909de mypy: Annotate lkt_lowering.parse_annotations Raphaël AMIARD 2020-06-15 13:14:09 +02:00
2060a7c36d RA22-015: make token_node/root_node traits Raphaël AMIARD 2020-06-12 18:29:15 +02:00
44d515ee77 RA22-015: Refactor lkt_lowering to use Py3 type annotations Raphaël AMIARD 2020-06-13 01:39:50 +02:00
38d07deb45 mypy: annotate sources for base mypy support Raphaël AMIARD 2020-06-15 13:02:29 +02:00
4631a5ab32 RA22-015: Rename classes in test Raphaël AMIARD 2020-06-13 00:50:27 +02:00
16c8aa3fa3 Minor: update gitignore Raphaël AMIARD 2020-06-12 18:33:53 +02:00
2ded83b06d RA22-015: fix typo in prelude Raphaël AMIARD 2020-06-12 18:23:33 +02:00
1459ff6868 RA22-015: Implement calls on objects with no decl Raphaël AMIARD 2020-06-12 14:47:28 +02:00
bd21f406c0 RA22-015: Don't add the owning type to a method's type Raphaël AMIARD 2020-06-12 14:47:04 +02:00
d27e1b1815 Lkt: start a minimal doc for the language Pierre-Marie de Rodat 2020-06-12 14:32:11 +02:00
adaebf3a3a Lkt lowering: handle enum nodes (qualifier ones included) Pierre-Marie de Rodat 2020-06-12 12:23:49 +02:00
60a40ba0e5 Stop using ASTNodeType.alternatives Pierre-Marie de Rodat 2020-06-12 12:21:36 +02:00
55c4cb4554 CompileCtx.lkt_context: add an assertion Pierre-Marie de Rodat 2020-06-12 12:05:48 +02:00
8e12d3e9b2 Lkt lowering: fix wrong type passed to context creation Pierre-Marie de Rodat 2020-06-12 12:22:37 +02:00
55fe04716e dsl_unparse: fix syntax for qualifier enum nodes Pierre-Marie de Rodat 2020-06-12 11:50:53 +02:00
ab7f38ec53 Lkt nodes: introduce BasicClassDecl, a common ancestor for all classes Pierre-Marie de Rodat 2020-06-12 10:44:35 +02:00
cb82442032 Lkt nodes: fix a typo Pierre-Marie de Rodat 2020-06-12 10:40:46 +02:00
2bcae51d28 Lkt lowering: rework to be able to import liblktlang at the top-level Pierre-Marie de Rodat 2020-06-11 15:59:11 +02:00
747e70c270 Lkt lowering: refactor the processing of type declarations Pierre-Marie de Rodat 2020-06-11 15:47:20 +02:00
a7cd8f3a39 RA22-015: New syntax for enum classes Raphaël AMIARD 2020-06-11 16:24:43 +02:00
78156d3cfc RA22-015: fix reserved word avoidance in dsl_unparse Raphaël AMIARD 2020-06-04 14:32:28 +02:00
a121ed8e31 Remove explicit object base classes and super() arguments Pierre-Marie de Rodat 2020-06-11 15:22:19 +02:00
cc52e46c10 Generate and interpret the @@has_abstract_list node annotation Pierre-Marie de Rodat 2020-06-10 17:19:06 +02:00
b72147bbb7 Testsuite: add types_from_lkt=True wherever possible Pierre-Marie de Rodat 2020-06-10 16:50:00 +02:00
3687b3aaa3 Lkt lowering: handle ASTList[T] type references Pierre-Marie de Rodat 2020-06-10 16:25:11 +02:00
649d67ba47 Lkt lowering: start handling user and parsing fields Pierre-Marie de Rodat 2020-06-09 14:33:09 +02:00
770513f43d Generate and interpret the @token_node node annotation Pierre-Marie de Rodat 2020-06-09 15:20:09 +02:00
9eb73dba76 lkt_lowering: switch to a more argparse-like API Pierre-Marie de Rodat 2020-06-09 13:08:26 +02:00
9b07d9712c dsl_unparse: add the @null_field annotation Pierre-Marie de Rodat 2020-06-09 12:16:25 +02:00
c44324d06b Lkt lowering: inline the obsolete text_to_str abstraction Pierre-Marie de Rodat 2020-06-09 11:39:09 +02:00
5929163944 Lkt lowering: handle @abstract for nodes Pierre-Marie de Rodat 2020-06-09 11:30:51 +02:00
2b40a5ce99 Lkt: start handling the lowering of nodes Pierre-Marie de Rodat 2020-06-08 17:22:40 +02:00
b45e052204 Lkt lowering: prefer CompiledType objects over DSL ones Pierre-Marie de Rodat 2020-06-08 17:19:15 +02:00
3ef769d0ca lkt_lowering: minor annotations parsing adjustment Pierre-Marie de Rodat 2020-06-08 17:16:13 +02:00
21ce84653d Add the infrastructure to use node definitions from Lkt units Pierre-Marie de Rodat 2020-06-08 15:19:25 +02:00
bf5c12e4b2 Fix handling of invalid env kind in add_to_env Pierre-Marie de Rodat 2020-06-08 11:33:31 +02:00
8fa9f37483 Make sure all DSL collections expression accept null list nodes Pierre-Marie de Rodat 2020-06-04 17:56:22 +02:00
325c71234a Minor: Update README.md Raphaël AMIARD 2020-06-01 18:34:53 +02:00
b91cf8aa76 RA22-015: Fix inefficiency in dsl_unparse Raphaël AMIARD 2020-06-01 15:48:42 +02:00
3613e38a24 RA22-015: Transition manage.sh to python Raphaël AMIARD 2020-05-29 15:01:43 +02:00
b2a3f822d7 Travis CI: use e3-testsuite's --failure-exit-code option Pierre-Marie de Rodat 2020-06-03 17:43:38 +02:00
b387f52dbf Testsuite: remove the obsolete "--discriminant" option Pierre-Marie de Rodat 2020-06-03 17:39:47 +02:00
c1fad2e9a2 Lkt: rename STRING_DBQ lexing pattern to STRING_LIT Pierre-Marie de Rodat 2020-06-03 15:01:13 +02:00
e3b27842bb contrib/lkt_semantic/char: fix wrong expected output Pierre-Marie de Rodat 2020-06-03 14:58:45 +02:00
58a8661b18 ocaml_api/general/expected_concrete_syntax.lkt: fix missing String Pierre-Marie de Rodat 2020-06-03 14:47:03 +02:00
18b02e65ee dsl_unparse.py: fix unparsing of message for property error expressions Pierre-Marie de Rodat 2020-06-03 14:46:30 +02:00
c0972e13a8 Lkt: fix handling of escape sequences in character literals Pierre-Marie de Rodat 2020-06-03 14:44:09 +02:00
ec4c92e52e T511-017: Fix typo Maxim Reznik 2020-06-03 09:37:29 +03:00
e21ff492fa T511-017: make stylechecks work with pycodestyle Raphaël AMIARD 2020-06-01 17:47:17 +02:00
93be4e081d RA22-015: Don't try to resolve import's module name Raphaël AMIARD 2020-05-15 18:53:27 -04:00
4cd1ed1b9e RA22-015: Minor reformatting Raphaël AMIARD 2020-05-15 18:27:44 -04:00
ea9f14a94c RA22-015: Properly unparse string literals Raphaël AMIARD 2020-05-15 18:27:31 -04:00
9ff1b97499 RA22-015: Add support for character literals Raphaël AMIARD 2020-05-15 18:26:59 -04:00
c48dd94744 RA22-015: Make string implement proper traits Raphaël AMIARD 2020-05-15 18:26:12 -04:00
fd34e17a67 RA22-015: properly unparse String type Raphaël AMIARD 2020-05-15 11:47:35 -04:00
ec6639599b RA22-015: Initial support for generic covariance Raphaël AMIARD 2020-03-24 15:29:05 +01:00
8a14c6672c T529-011 Implement BigInteger using zarith in OCaml bindings Daniel Mercier 2020-05-29 14:12:12 +02:00
ef315c4345 Python API: fix ASTNode.dump_str with Python3 Pierre-Marie de Rodat 2020-06-01 11:58:12 +02:00
cfd80a7acf Reorganize testsuite scripts Pierre-Marie de Rodat 2020-05-29 12:12:57 +02:00
ecb79c800c grammar/recursive_list: revert unwanted baseline rewrite Pierre-Marie de Rodat 2020-05-29 12:03:36 +02:00
4634183dbe Merge pull request #349 from AdaCore/reznikmm-patch-1 Maxim Reznik 2020-05-28 22:08:05 +03:00
86062667f7 Try to fix MacOS build Maxim Reznik 2020-05-28 14:52:23 +03:00
a6c2fb4c6a Enforce Unix-style line endings for emitted sources Pierre-Marie de Rodat 2020-05-28 09:46:44 +02:00
5f3791b8b7 Testsuite: hide line number variations Pierre-Marie de Rodat 2020-05-27 06:25:15 -04:00
6b66ad1f86 Register the build-langkit_support.py script and fix misc/link_two_libs Pierre-Marie de Rodat 2020-05-26 14:58:20 +02:00
ec953cb1ff utils/travis-script.sh: update error patterns for testsuite logs Pierre-Marie de Rodat 2020-05-26 14:48:01 +02:00
35561d8edd Tidy up REQUIREMENTS.dev Pierre-Marie de Rodat 2020-05-26 14:14:41 +02:00
aeb3511b66 utils/travis-install.sh: install the testsuite framework Pierre-Marie de Rodat 2020-05-26 14:11:49 +02:00
8c7bdc05fe setup.py: remove enum packages Pierre-Marie de Rodat 2020-05-26 13:49:04 +02:00
2b9b33d6a0 Remove __future__ imports and adjust stylechecks Pierre-Marie de Rodat 2020-05-12 17:15:44 +02:00
92c3637a38 Transition to Python3 Pierre-Marie de Rodat 2020-05-12 17:15:20 +02:00
b2b33e9f97 Python API: stick to ASCII in generated sources Pierre-Marie de Rodat 2020-05-18 15:58:07 +02:00
3d25145310 Make legality checks on token families deterministic Pierre-Marie de Rodat 2020-05-11 17:44:23 +02:00
60aa7bd5dd Make grammar rules processing order deterministic Pierre-Marie de Rodat 2020-05-11 17:32:40 +02:00
d3db6f97a3 dsl_unparse: make the order of fields in New() expressions deterministic Pierre-Marie de Rodat 2020-05-11 17:14:19 +02:00
0e2868fd02 dsl_unparse: stop relying on the string_escape encoding Pierre-Marie de Rodat 2020-05-11 16:34:33 +02:00

... 33 34 35 36 37 ...