Code

Pattern match sum types#38

Code

Merged

danieljharvey merged 23 commits intotrunkdanieljharvey/wasm-calc:trunkfrom djh/pattern-match-sum-typesdanieljharvey/wasm-calc:djh/pattern-match-sum-typesCopy head branch name to clipboardAug 15, 2024

+1,028-287

Commits

Commits on Jul 22, 2024

• WIP

  danieljharvey

  committed
  6d34d1e

  Copy full SHA for 6d34d1e

• Typecheck those constructor patterns

  danieljharvey

  committed
  4dc13dc

  Copy full SHA for 4dc13dc

• Add data type map and start doing lookup 'n' shit

  danieljharvey

  committed
  d80865a

  Copy full SHA for d80865a

Commits on Jul 25, 2024

• Move helpers to FromExpr, start keeping data type map

  danieljharvey

  committed
  bbaa913

  Copy full SHA for bbaa913

Commits on Jul 31, 2024

• Smash smash smash

  danieljharvey

  committed
  088d5d9

  Copy full SHA for 088d5d9

Commits on Aug 8, 2024

• Loads of monad was not needed oh no

  danieljharvey

  committed
  947e9fd

  Copy full SHA for 947e9fd

Commits on Aug 10, 2024

• Oh well

  danieljharvey

  committed
  2513f12

  Copy full SHA for 2513f12

• It works but doesn't

  danieljharvey

  committed
  646cd57

  Copy full SHA for 646cd57

Commits on Aug 11, 2024

• Nearly ready to work out memory offset, what a chore

  danieljharvey

  committed
  9878b04

  Copy full SHA for 9878b04

Commits on Aug 12, 2024

• A broken case

  danieljharvey

  committed
  4ccc662

  Copy full SHA for 4ccc662

• More tests

  danieljharvey

  committed
  7d86d7b

  Copy full SHA for 7d86d7b

• Well shit

  danieljharvey

  committed
  a66196d

  Copy full SHA for a66196d

• Beautiful

  danieljharvey

  committed
  78557fc

  Copy full SHA for 78557fc

• Woof

  danieljharvey

  committed
  34c3a74

  Copy full SHA for 34c3a74

Commits on Aug 14, 2024

• Fix unification

  danieljharvey

  committed
  50e3325

  Copy full SHA for 50e3325

• Well, shit

  danieljharvey

  committed
  a3a9ca5

  Copy full SHA for a3a9ca5

• Tests for List

  danieljharvey

  committed
  b5c0f68

  Copy full SHA for b5c0f68

• Oh yes

  danieljharvey

  committed
  7ea4308

  Copy full SHA for 7ea4308

• Well, well, well

  danieljharvey

  committed
  39d4bdf

  Copy full SHA for 39d4bdf

• Linties

  danieljharvey

  committed
  58e4df1

  Copy full SHA for 58e4df1

Commits on Aug 15, 2024

• Revert demo

  danieljharvey

  committed
  7f14c18

  Copy full SHA for 7f14c18

• Get rid of rando errors

  danieljharvey

  committed
  b89ff5f

  Copy full SHA for b89ff5f

• That'll do

  danieljharvey

  committed
  9ada7f8

  Copy full SHA for 9ada7f8