Code

Implement more core features#15

Code

Merged

purefunctor merged 57 commits intomainpurefunctor/purescript-analyzer:mainfrom more-inferencepurefunctor/purescript-analyzer:more-inferenceCopy head branch name to clipboardJan 14, 2024

+2,683-1,270

Commits

Commits on Dec 8, 2023

• Separate contexts into files

  purefunctor

  committed
  4459389

  Copy full SHA for 4459389

• Move result structs into rules.rs

  purefunctor

  committed
  2a23f9d

  Copy full SHA for 2a23f9d

• Implement substitution during inference

  purefunctor

  committed
  b100eca

  Copy full SHA for b100eca

Commits on Dec 9, 2023

• Remove the reference type

  purefunctor

  committed
  f83e24c

  Copy full SHA for f83e24c

• Remove unnecessary lifetimes

  purefunctor

  committed
  ddeb2e7

  Copy full SHA for ddeb2e7

Commits on Dec 10, 2023

• Move lowering into rules and simplify

  purefunctor

  committed
  b3a243a

  Copy full SHA for b3a243a

• Simplify code for building the nominal map

  purefunctor

  committed
  33ab30a

  Copy full SHA for 33ab30a

• Make TypeVariableBinding an enum

  purefunctor

  committed
  c386473

  Copy full SHA for c386473

• Add data and constructor in the nominal map

  purefunctor

  committed
  2399cd5

  Copy full SHA for 2399cd5

Commits on Dec 12, 2023

• Implement initial data lowering

  purefunctor

  committed
  9030763

  Copy full SHA for 9030763

• Parse data annotations

  purefunctor

  committed
  19b8e98

  Copy full SHA for 19b8e98

• Add data annotations to AST

  purefunctor

  committed
  67e725e

  Copy full SHA for 67e725e

• Add data annotation to positional map

  purefunctor

  committed
  d6506b9

  Copy full SHA for d6506b9

• Nit fix

  purefunctor

  committed
  d4f8af9

  Copy full SHA for d4f8af9

• Implement DataGroup in NominalMap

  purefunctor

  committed
  00563ed

  Copy full SHA for 00563ed

• Add InFile to access functions

  purefunctor

  committed
  724ace7

  Copy full SHA for 724ace7

• Export DataGroup in resolver.rs

  purefunctor

  committed
  023defe

  Copy full SHA for 023defe

Commits on Dec 13, 2023

• New implementation for lowering data declarations

  purefunctor

  committed
  b8f20e4

  Copy full SHA for b8f20e4

• Integrate data lowering into SurfaceContext

  purefunctor

  committed
  f4ff41f

  Copy full SHA for f4ff41f

• Simplify return type for data_surface_query

  purefunctor

  committed
  f6876e1

  Copy full SHA for f6876e1

Commits on Dec 15, 2023

• Implement initial resolution for constructors

  purefunctor

  committed
  b8d59cc

  Copy full SHA for b8d59cc

Commits on Dec 17, 2023

• Add visitor for Type

  purefunctor

  committed
  63b1b0d

  Copy full SHA for 63b1b0d

• Implement resolution for type references

  purefunctor

  committed
  c159a7a

  Copy full SHA for c159a7a

• Rename type and query

  purefunctor

  committed
  3ed0a52

  Copy full SHA for 3ed0a52

• Implement Default for WithScope and ValueGroupScope

  purefunctor

  committed
  6616a28

  Copy full SHA for 6616a28

• Initial resolutions for data group

  purefunctor

  committed
  b4f7f1e

  Copy full SHA for b4f7f1e

• Pass resolutions during lowering

  purefunctor

  committed
  9c92fc3

  Copy full SHA for 9c92fc3

• Simplify API for unification

  purefunctor

  committed
  5e76f39

  Copy full SHA for 5e76f39

Commits on Dec 18, 2023

• Add InFile to type resolutions

  purefunctor

  committed
  b4feaf4

  Copy full SHA for b4feaf4

• Remove parenthesis if constructor is an application

  purefunctor

  committed
  c35f44e

  Copy full SHA for c35f44e

Commits on Dec 20, 2023

• Implement type inference for constructors

  purefunctor

  committed
  ae8ea91

  Copy full SHA for ae8ea91

Commits on Dec 21, 2023

• Implement the interner crate

  purefunctor

  committed
  64d885a

  Copy full SHA for 64d885a

Commits on Dec 22, 2023

• Implement Interner using a specialized HashTable

  purefunctor

  committed
  8d0ae9d

  Copy full SHA for 8d0ae9d

• Add interner to SourceDatabase

  purefunctor

  committed
  417db59

  Copy full SHA for 417db59

• Use interned strings for the type core

  purefunctor

  committed
  183b8a4

  Copy full SHA for 183b8a4

Commits on Dec 23, 2023

• Simplify interner even further

  purefunctor

  committed
  8b52128

  Copy full SHA for 8b52128

• Make data_id carry the FileId

  purefunctor

  committed
  63ce7e4

  Copy full SHA for 63ce7e4

• Implement resolution for constructor expressions

  purefunctor

  committed
  69afb4c

  Copy full SHA for 69afb4c

• Extract into infer_expr functions

  purefunctor

  committed
  c3c649c

  Copy full SHA for c3c649c

• Fix clippy hint

  purefunctor

  committed
  7060af5

  Copy full SHA for 7060af5

Commits on Dec 25, 2023

• Make sure to substitute the substitutions

  purefunctor

  committed
  d79b46d

  Copy full SHA for d79b46d

• Implement type instantiation

  purefunctor

  committed
  e63a51c

  Copy full SHA for e63a51c

Commits on Dec 26, 2023

• Add the data_groups function to NominalMap

  purefunctor

  committed
  3a91eda

  Copy full SHA for 3a91eda

• Add iter for DataGroupTypes

  purefunctor

  committed
  a9b0cd3

  Copy full SHA for a9b0cd3

• Add tests for constructors

  purefunctor

  committed
  d6a0a68

  Copy full SHA for d6a0a68

Commits on Dec 30, 2023

• Make names interned

  purefunctor

  committed
  215c28d

  Copy full SHA for 215c28d

• Be more lenient with InDb

  purefunctor

  committed
  9487fd7

  Copy full SHA for 9487fd7

• Make module names cheaper

  purefunctor

  committed
  353944a

  Copy full SHA for 353944a

• Add documentation about internal representation of names

  purefunctor

  committed
  fb8eb68

  Copy full SHA for fb8eb68

• Implement new ModuleMap

  purefunctor

  committed
  beb29e3

  Copy full SHA for beb29e3

Commits on Jan 6, 2024

• Initial implementation for imports and exports

  purefunctor

  committed
  a6927e0

  Copy full SHA for a6927e0

• Move module exports and imports to surface

  purefunctor

  committed
  818938f

  Copy full SHA for 818938f

• Fix various clippy lints

  purefunctor

  committed
  887bfbc

  Copy full SHA for 887bfbc

Commits on Jan 7, 2024

• Make more types use interned names

  purefunctor

  committed
  20ed392

  Copy full SHA for 20ed392

Commits on Jan 12, 2024

• Add parsing for data members in export list

  purefunctor

  committed
  eb93db6

  Copy full SHA for eb93db6

Commits on Jan 13, 2024

• Add import and export checks for data

  purefunctor

  committed
  e73d46f

  Copy full SHA for e73d46f

Commits on Jan 14, 2024

• Collect imported nominal maps in advance

  purefunctor

  committed
  ef25055

  Copy full SHA for ef25055