Code

Aliasing#2301

Code

Merged

lukaszcz merged 18 commits intomainanoma/juvix:mainfrom 2188-aliasinganoma/juvix:2188-aliasingCopy head branch name to clipboardAug 25, 2023

+631-286

Commits

Commits on Aug 24, 2023

• wip

  janmasrovira

  committed
  2bbd850

  Copy full SHA for 2bbd850

• wip

  janmasrovira

  committed
  7958b88

  Copy full SHA for 7958b88

• ScopedIden

  janmasrovira

  committed
  27ceeba

  Copy full SHA for 27ceeba

• translate and parse

  janmasrovira

  committed
  4738ea3

  Copy full SHA for 4738ea3

• pp Alias

  janmasrovira

  committed
  b253eac

  Copy full SHA for b253eac

• fix loop and add test

  janmasrovira

  committed
  7b5cefe

  Copy full SHA for 7b5cefe

• set namekind

  janmasrovira

  committed
  06d6839

  Copy full SHA for 06d6839

• refactor AName

  janmasrovira

  committed
  49fec40

  Copy full SHA for 49fec40

• register scoped iden

  janmasrovira

  committed
  da976b0

  Copy full SHA for da976b0

• let wip

  janmasrovira

  committed
  cb9222a

  Copy full SHA for cb9222a

• alias in let

  janmasrovira

  committed
  34b7fec

  Copy full SHA for 34b7fec

• extend example

  janmasrovira

  committed
  9142c7f

  Copy full SHA for 9142c7f

• fixities

  janmasrovira

  committed
  eb20dfd

  Copy full SHA for eb20dfd

• scopedIdenFinal

  janmasrovira

  committed
  498f7c3

  Copy full SHA for 498f7c3

• add alias name kind

  janmasrovira

  committed
  bf58516

  Copy full SHA for bf58516

• ormolu

  janmasrovira

  committed
  a43a5ff

  Copy full SHA for a43a5ff

• html

  janmasrovira

  committed
  9d707d0

  Copy full SHA for 9d707d0

• pragmas in let

  janmasrovira

  committed
  2ab5125

  Copy full SHA for 2ab5125