Code

Add define-type-alias#1294

Code

Open

YarinHeffes wants to merge 21 commits intocoalton-lang:maincoalton-lang/coalton:mainfrom YarinHeffes:type-aliasYarinHeffes/coalton:type-aliasCopy head branch name to clipboard

+882-67

Commits

Commits on Oct 7, 2024

• added basic define-alias toplevel form

  YarinHeffes

  committed
  758cf3d

Commits on Oct 8, 2024

• fixed alias substitution for constructors and struct-fields

  YarinHeffes

  committed
  a125e4a

• added alias tests

  YarinHeffes

  committed
  074488b

• improved alias error messages

  YarinHeffes

  committed
  688322c

• removed with-aliases-from

  YarinHeffes

  committed
  287f089

• Merge branch 'coalton-lang:main' into type-alias

  YarinHeffes

  authored
  77a2443

• alias coalton-release fix

  YarinHeffes

  committed
  e05bd8a

Commits on Oct 16, 2024

• added parametrized type aliases

  YarinHeffes

  committed
  db74f65

• added tests for parametrized type aliases

  YarinHeffes

  committed
  ffbef6e

• added describe-alias

  YarinHeffes

  committed
  f252499

• added define-alias.txt tests

  YarinHeffes

  committed
  9dda5c2

• add tutorial documentation for type aliases

  YarinHeffes

  committed
  314ff0b

• added type alias documentation guide

  YarinHeffes

  committed
  fde68b5

• Merge branch 'main' into type-alias

  YarinHeffes

  authored
  c9ba647

Commits on Oct 17, 2024

• removed empty line

  YarinHeffes

  committed
  5851da6

• changed :nil to nil

  YarinHeffes

  committed
  ff0e7f7

• added documentation to *pprint-aliases*

  YarinHeffes

  committed
  9b3beda

• changed define-alias -> define-type-alias

  YarinHeffes

  committed
  57366b7

• Improved error message for unused type alias arguments

  YarinHeffes

  committed
  1aba695

• typo fix

  YarinHeffes

  committed
  e6784b8

Commits on Nov 19, 2024

• minor fixes

  YarinHeffes

  committed
  8619ceb