Commit graph

Select branches

Hide pull requests

add-architecture-md

add-associativity

add-case-hover

add-checked-fmt-option

add-coc

add-codecov-yaml

add-coverage-target

add-ctx-to-constraints

add-db-to-collect

add-erasure-to-ast

add-examples-index

add-infix-declarations

add-lets-to-ast

add-lexer-for-operators

add-local-let

add-match-closure-field

add-note-declarations

add-parens-cst-token

add-qualified-names

add-spans-to-patterns

add-std-primitives

add-text-to-encoding-examples

add-uri-to-bound-ids

add-whnf-trait

allow-attrs-on-infix

ast2ir

async-driver

backend

collect-let-info

comatch-closure

compile-local-lets

compile-to-js

cross-module-diagnostics

debug-substitution

desugar-without-motive

discord

doccomments-empty-lines

document-import-order-convention

document-test-suite-filter

dont-clone-typectxts

dont-hide-data-in-docs

driver-errors

enable-cargo-package

enrich-level-ctx

eval-lets

externs/ast2ir

externs/elaboration

externs/info-docs

externs/lexing-parsing

externs/lifting

externs/lowering

factor-out-computation-of-motive

factor-out-of-stlc

fallible-subst

finetune-prettyprinter

fix-321

fix-326

fix-329

fix-361

fix-362

fix-364

fix-365

fix-395

fix-403

fix-405

fix-408

fix-432

fix-474

fix-604

fix-broken-main

fix-ci

fix-clippy

fix-deployment-ci

fix-deps-on-web

fix-driver

fix-error-message

fix-let-typing

fix-lookup

fix-lsp

fix-manifest-repo-link

fix-nix

fix-print-cocase-anno

fix-substitution-for-local-let

fix-typo-in-readme

fix-unification

fix-url-hyperlink

fix-var-bind

fix-web-ci

fix-web-demo-deploy

fix-webpack

fix-windows

format-examples

format-multiple

global-settings

globalizing-matches

hide-lsp

highlight-implicit-kw

hotfix-codecov

implement-356

implement-benchmarks

imports-on-wasm

improve-comatch-closure

improve-std-lib

improve-trace

improve-trace2

improve-web-editor

inline-codespan-dependency

inline-context

inline-rename-trait

lex-debugger

lift-local-lets

lift-to-edits

literals

literals-integers

literals-others

locate-libs

lower-let

lsp-use-decls

main

mangoiv/comments-in-tutorial

mangoiv/darwin-iconv

mangoiv/polarity-for-haskellers

mangoiv/releases

merge-transformations

miette-error-in-test-runner

multiline-string-todo-comment

names-in-generic-ctx

neutral-anno

new-substitution

no-fail-fast

non-linear-meta-args

normalize-across-modules

npm-fixes

parametrized-occurs

parser-errors

pol-compile

pp-dotcalls

precedence-printer

prettyprint-ir

refactor-bind-context

refactor-comatch-elab

refactor-conversion-checking

refactor-dep-graph

refactor-env

refactor-generic-context

refactor-ident-function

refactor-lifting

refactor-lifting-2

refactor-lifting-3

refactor-lifting-4

refactor-lowering-errors

refactor-tomls

refactor-web

remove-absurd-from-ir

remove-highlightjs-dependency

remove-info-field

remove-ir-lookup-tables

remove-type-cst

rename-bs-to-name

rename-crates

respect-lockfile-for-install

revisit-lambda-sugar

rewrite-hover-info

rust-2024-edition

semantic-highlighting

separate-unification

shift-inplace

simplify-conversion-checking

simplify-conversion-checking-2

simplify-index-unification

simplify-parser

small-refactor-in-cli

small-refactor-in-elab

small-refactorings

small-things-elab

split-exp

split-ident

stdlib

strip-down-web

switch-to-tower-lsp-community

syntactical-free-vars

track-names-of-hole-arguments

triage-examples

typecheck-let

unescaping-and-chars

update-codespan-dep

update-nix

update-wasm-bindgen-cli

upgrade-deps

upgrade-web-and-lsp

use-notes-in-examples

use-rust-comment-syntax

use-upstream-tower-lsp-server

values-in-ctx

web-editor-highlight-idents

work-on-db

zonk-in-type-info-table

zonk-in-unify

zonk-metavars

#1

#10

#101

#102

#103

#104

#106

#109

#117

#120

#128

#129

#130

#131

#132

#134

#135

#138

#139

#140

#141

#143

#144

#145

#146

#147

#148

#150

#151

#153

#154

#155

#157

#159

#160

#161

#162

#163

#164

#165

#168

#169

#171

#173

#174

#175

#176

#177

#178

#179

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#190

#191

#192

#193

#195

#196

#197

#198

#199

#2

#20

#200

#202

#203

#204

#205

#206

#209

#21

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#224

#225

#226

#228

#229

#231

#232

#233

#234

#235

#238

#239

#24

#240

#241

#242

#243

#244

#245

#246

#247

#248

#25

#251

#252

#253

#255

#256

#257

#258

#259

#260

#261

#262

#263

#264

#265

#266

#267

#268

#27

#272

#273

#274

#275

#276

#278

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#290

#291

#292

#293

#294

#295

#296

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#319

#32

#320

#322

#323

#324

#325

#327

#328

#33

#330

#331

#332

#333

#335

#336

#337

#339

#34

#340

#343

#347

#349

#35

#350

#351

#352

#353

#354

#355

#359

#36

#363

#366

#367

#368

#369

#370

#371

#372

#373

#374

#376

#377

#378

#379

#381

#382

#383

#384

#385

#386

#387

#388

#389

#390

#391

#392

#394

#396

#397

#398

#399

#4

#400

#401

#402

#404

#407

#409

#409

#41

#410

#411

#412

#413

#415

#416

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#430

#431

#433

#434

#435

#436

#437

#438

#440

#441

#444

#445

#446

#447

#448

#449

#45

#450

#451

#452

#453

#454

#455

#456

#457

#458

#459

#46

#460

#461

#462

#463

#464

#465

#466

#467

#468

#469

#47

#470

#471

#472

#473

#475

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#485

#488

#490

#491

#492

#493

#494

#495

#497

#498

#499

#5

#50

#500

#501

#502

#503

#506

#507

#508

#509

#510

#511

#512

#514

#515

#516

#517

#518

#519

#52

#521

#522

#523

#524

#524

#525

#526

#527

#528

#530

#531

#532

#533

#534

#535

#536

#537

#538

#539

#544

#545

#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

#572

#573

#576

#577

#578

#579

#580

#582

#583

#584

#585

#586

#587

#588

#589

#590

#591

#592

#594

#595

#596

#597

#598

#599

#6

#601

#602

#603

#606

#606

#608

#609

#613

#614

#615

#62

#63

#66

#67

#69

#7

#70

#76

#77

#8

#81

#82

#83

#85

#87

#88

#89

#9

#91

#92

#93

#94

#95

#96

#98

latest

Mono Color

• 54db456e28
  Compile to JS using SWC (#531) main Tim Süberkrüb 2025-12-17 14:00:26 +01:00
• 58ba5eca4b unimplemented error messages compile-to-js Rasmus Buurman 2025-12-16 18:00:08 +01:00
• c94d6ab002 Generate JS for LocalLet expression Rasmus Buurman 2025-12-16 16:00:47 +01:00
• 96ff058328 Unimplemented error message in codegen Rasmus Buurman 2025-12-16 15:40:04 +01:00
• fc998e68f8 Better FIXME comment Rasmus Buurman 2025-12-16 14:41:23 +01:00
• fdfafab8f9 Fix CI by ignoring some false positive lints Rasmus Buurman 2025-12-16 14:34:14 +01:00
• 0679f74cd9 Separate JS path in target_pol Rasmus Buurman 2025-12-16 13:49:04 +01:00
• 3a4ff763f5 Split ir_to_js into two separate functions Rasmus Buurman 2025-12-16 13:37:49 +01:00
• 97b69fc628 Dont call it Core API Rasmus Buurman 2025-12-16 13:25:44 +01:00
• ea1dd968b4 Revert "Fix usage of private API" Rasmus Buurman 2025-12-16 12:44:09 +01:00
• e97331665f Update all dependencies Rasmus Buurman 2025-12-16 12:41:17 +01:00
• e3b3adbca6 Update SWC dependencies Rasmus Buurman 2025-12-16 12:37:08 +01:00
• d57a4cc3dd Tidy up manifests Rasmus Buurman 2025-12-16 12:20:27 +01:00
• 711df68cc6 Fix usage of private API Tim Süberkrüb 2025-12-16 10:46:07 +01:00
• 53ebd42ed0 Improve comments Tim Süberkrüb 2025-06-03 18:07:28 +02:00
• 0b94a641f0 Fix invalid syntax JS syntax when arrow functions return objects Tim Süberkrüb 2025-06-03 17:58:50 +02:00
• d20657125f Use BackendResult Tim Süberkrüb 2025-06-03 17:33:34 +02:00
• 3859be07d6 Use arrow functions for object methods Tim Süberkrüb 2025-06-03 17:27:10 +02:00
• 7b0064e3ad Minor fix in comment Tim Süberkrüb 2025-06-03 17:10:13 +02:00
• 29908c34f2 Extract function to translate params Tim Süberkrüb 2025-06-03 16:48:41 +02:00
• 5cb1aa4da6 Extract functions to translate args Tim Süberkrüb 2025-06-03 16:40:09 +02:00
• 43a249dc6c Extract magic literals to constants Tim Süberkrüb 2025-06-03 16:29:33 +02:00
• e9f1da12ea Remove wrong semicolon Tim Süberkrüb 2025-06-03 16:24:38 +02:00
• f5d0fefcea Improve comments Tim Süberkrüb 2025-06-03 16:10:38 +02:00
• 3b0ca7fbdf Fix let syntax in comment Tim Süberkrüb 2025-06-03 15:36:29 +02:00
• 0bd306d437 Add missing text markers to doc comments Tim Süberkrüb 2025-06-03 15:20:08 +02:00
• c39f6a4c93 Compile to JS using SWC Tim Süberkrüb 2025-06-03 14:39:22 +02:00
• e2fde6102d
  Merge d59f6eac2f into fde43ec216 David Binder 2025-12-15 18:29:16 +01:00
• ba799b9613
  Merge 79bcfe54a8 into fde43ec216 MangoIV 2025-12-15 18:24:06 +01:00
• fde43ec216
  Read global app settings from environment and handle them appropriately (#615) Rasmus Buurman 2025-12-09 18:00:17 +01:00
• de7119be46
  Add F64 and Char literals (#614) Rasmus Buurman 2025-12-09 17:59:37 +01:00
• 7add9e7890
  Apply suggestions from code review literals-others Rasmus Buurman 2025-12-09 17:54:17 +01:00
• e869d02057 Improve color handling in report renderer global-settings Rasmus Buurman 2025-12-09 17:28:00 +01:00
• 56f822da83 Add --colorize CLI option Rasmus Buurman 2025-12-09 17:14:07 +01:00
• 1e6dd6c30d Use global settings in run/fmt commands Rasmus Buurman 2025-12-09 17:03:48 +01:00
• aaf58f6d3b Get global settings from environment Rasmus Buurman 2025-12-09 16:49:28 +01:00
• 8ec22fa0dd Use Debug print for F64 literals Rasmus Buurman 2025-12-09 15:11:19 +01:00
• 13cb7ebf9f Update error messages in parser tests Rasmus Buurman 2025-12-09 14:52:15 +01:00
• 2efd679137 Implement ast2ir and collect info for F64/Char Rasmus Buurman 2025-12-09 14:51:33 +01:00
• 5359eb91ec Use ordered_float::NotNan for float literals Rasmus Buurman 2025-12-09 14:43:54 +01:00
• 13bad313b0 Lower to AST variant Rasmus Buurman 2025-12-09 13:51:28 +01:00
• dda444a519 Parse float and char literals Rasmus Buurman 2025-12-09 13:41:59 +01:00
• bb5eae2734
  Replace Nat literals with I64 literals (#613) Rasmus Buurman 2025-12-09 15:56:25 +01:00
• 0902af4930 Update integer literal syntax literals-integers Rasmus Buurman 2025-12-09 13:29:48 +01:00
• d733bb471d Fix parsing of integer literals Rasmus Buurman 2025-12-09 12:30:16 +01:00
• a8869180ed Use new assert_cmd macro to get rid of warning Rasmus Buurman 2025-12-09 12:02:18 +01:00
• 4f6be8ab70 Apply lint Rasmus Buurman 2025-12-09 11:46:01 +01:00
• 914f87aa4f Update error messages in parser tests Rasmus Buurman 2025-12-09 11:44:57 +01:00
• 818305ac23 De-desugar Nat literals in polarity files Rasmus Buurman 2025-12-09 11:42:59 +01:00
• 2ed0ff842e Remove NatLit desugaring error variant Rasmus Buurman 2025-12-09 11:29:21 +01:00
• d6d1c3fbfa Fix integration test Rasmus Buurman 2025-12-09 11:27:09 +01:00
• bd4593689a Add I64 literals to AST and IR Rasmus Buurman 2025-12-09 11:12:46 +01:00
• 0c625ad3c4 Replace NatLit with I64Lit in lowering Rasmus Buurman 2025-12-09 11:03:59 +01:00
• 22462296d2 Introduce general literal type in CST Rasmus Buurman 2025-12-09 10:54:50 +01:00
• ad760ff697 Replace NatLit with I64Lit in parser Rasmus Buurman 2025-12-09 10:37:08 +01:00
• 5ed54904ae cargo update Rasmus Buurman 2025-12-09 10:24:28 +01:00
• 9d22355afa Remove num-bigint dependency Rasmus Buurman 2025-12-09 10:24:17 +01:00
• 4eed793cfc
  Merge 658bce0b08 into 24fb624557 David Binder 2025-12-06 13:22:26 +01:00
• 24fb624557
  Add string literal expressions (#609) Rasmus Buurman 2025-12-06 13:20:12 +01:00
• 00c445cf03 Improve comment literals Tim Süberkrüb 2025-12-06 13:08:40 +01:00
• 110642da50 Bikeshed some names Tim Süberkrüb 2025-12-06 13:06:27 +01:00
• 02424512f9 Show type of literals in hover info Tim Süberkrüb 2025-12-06 12:57:20 +01:00
• e7204a1f9e Add negative test for lowering error Rasmus Buurman 2025-12-04 16:55:32 +01:00
• 117ef55a76 Lowering error when no extern type decl available Rasmus Buurman 2025-12-04 16:45:27 +01:00
• 549c2f0a7e IR for string literals Rasmus Buurman 2025-12-02 16:29:27 +01:00
• 3e7899c12a Add todo comment for malformed string declarations Rasmus Buurman 2025-12-02 16:01:25 +01:00
• 2e20b83c80 Add hover info for string lit Rasmus Buurman 2025-12-02 15:56:49 +01:00
• 019528ff36 Add trivial lifting impls for literals Rasmus Buurman 2025-12-02 15:51:23 +01:00
• 3bbc8ad393 fix to use ExternCall Rasmus Buurman 2025-12-02 15:41:31 +01:00
• 201b53d19e normalizing for literals Rasmus Buurman 2025-12-02 15:33:33 +01:00
• 6470307d70 Typechecking for literals Rasmus Buurman 2025-12-02 15:10:12 +01:00
• b47b598dc4 Fix tests and lints Rasmus Buurman 2025-12-02 14:50:40 +01:00
• 7f9361e8fd Add many TODOs Rasmus Buurman 2025-12-02 14:49:09 +01:00
• 10d9c42e75 Prototype lowering for strlit Rasmus Buurman 2025-12-02 14:31:14 +01:00
• 55264a0b45 Inline strlit structure Rasmus Buurman 2025-12-02 14:03:36 +01:00
• baeff1becc Add literal impls in AST Rasmus Buurman 2025-12-02 13:58:52 +01:00
• a6e848b968 Implement Occurs for Variable and TypeUniv Rasmus Buurman 2025-12-02 13:57:20 +01:00
• 5b4f53a5f0 Add explaining comment in occurs trait Rasmus Buurman 2025-12-02 13:51:40 +01:00
• 86f5e17986 Sketch lowering of literals (WIP) Rasmus Buurman 2025-12-02 01:19:23 +01:00
• 93721a14f3
  Bugs in prettyprinter(#607) (#608) Syogo-Suganoya 2025-11-28 22:44:32 +09:00
• 65cd3cebe1 Update DocComment implementation to use as_str() for formatting Syogo-Suganoya 2025-11-28 14:44:06 +09:00
• 9f1de8f135 Refactor Print implementations in decls.rs Syogo-Suganoya 2025-11-28 14:27:30 +09:00
• 7d7fc6c9ec WIP: locate_libs locate-libs Rasmus Buurman 2025-11-25 14:50:01 +01:00
• 658bce0b08 More WIP fix-604 David Binder 2025-11-24 18:31:54 +00:00
• a15a8ff4fa Finish arguments stuff David Binder 2025-11-24 17:35:21 +00:00
• d3c27c007a Set correct file ending David Binder 2025-11-24 17:24:52 +00:00
• 1116e06ea1 Add selection of backends David Binder 2025-11-24 17:19:48 +00:00
• d59f6eac2f fff semantic-highlighting David Binder 2025-05-19 18:43:03 +01:00
• 6c95194ef5 Finish implementation David Binder 2025-05-19 18:18:39 +01:00
• f774dec703 Work on sem tokens David Binder 2025-05-19 17:02:32 +01:00
• 68d5602c58 more work David Binder 2025-05-19 16:50:31 +01:00
• 2a47c3cfb9 Work on semantic tokens David Binder 2025-05-19 16:39:32 +01:00
• b74392498e Add semantic tokens David Binder 2025-05-19 12:49:20 +01:00
• ed60b71917 More work on DB David Binder 2025-05-16 13:49:52 +01:00
• ba1b7f89f4 Some more code David Binder 2025-05-16 13:31:31 +01:00
• 0711b4ad8e Start adding semantic tokens David Binder 2025-05-08 19:18:52 +01:00
• c04a05ebaf
  Add qualified names (#603) David Binder 2025-11-24 14:48:33 +00:00
• 19c82473ea
  Add Char, String, I64, F64 extern declarations (#602) David Binder 2025-11-20 15:21:04 +00:00
• 8b115a20ce append is more useful than prepend add-std-primitives Tim Süberkrüb 2025-11-20 15:09:33 +01:00
• 30d5fd28c9 Bikeshed prim names Tim Süberkrüb 2025-11-20 15:04:54 +01:00