Code

module system#1020

Code

Open

gensofubi wants to merge 105 commits intodevhazelgrove/hazel:devfrom haz3l-modulehazelgrove/hazel:haz3l-moduleCopy head branch name to clipboard

+7,591-42

Commits

Commits on May 17, 2023

• copy module from let

  gensofubi

  committed
  1135c5c

Commits on May 19, 2023

• a try on module

  gensofubi

  committed
  46cbc73

• minor changes

  gensofubi

  committed
  27c2d02

• keyword module done

  gensofubi

  committed
  1c66f50

• formatted

  gensofubi

  committed
  e07aed2

Commits on May 21, 2023

• concrete module typing (but no typeann yet) and dot access operator

  gensofubi

  committed
  9845316

Commits on May 24, 2023

• change the expected def pattern in module to Tag

  gensofubi

  committed
  29a4ffe

• change dot form to fit submodule

  gensofubi

  committed
  b261e45

Commits on May 31, 2023

• detailed typing information for modules and auto hole-insert fixed

  gensofubi

  committed
  2bb2e3f

Commits on Jun 1, 2023

• type annotation for module

  gensofubi

  committed
  e8ca644

Commits on Jun 2, 2023

• fit for module with 1 or 0 members

  gensofubi

  committed
  4aba625

Commits on Jun 7, 2023

• unsuccessful trial on fixing a bug

  gensofubi

  committed
  85fa3bd

• partially solve

  gensofubi

  committed
  3d26edd

• adjust behavior when module typeann is not consistent with member typeann

  gensofubi

  committed
  e1563a6

• adjust the behavior when member names are not consistent with module typeann

  gensofubi

  committed
  0a727c2

Commits on Jun 10, 2023

• Merge branch 'adt-defs-after' into haz3l-module

  gensofubi

  committed
  9c8d63e

Commits on Jun 11, 2023

• again change the expected def pattern in module to Tag

  gensofubi

  committed
  403eac5

Commits on Jun 14, 2023

• basic type members

  gensofubi

  committed
  3620771

Commits on Jun 15, 2023

• add comments

  gensofubi

  committed
  e97369c

Commits on Jun 16, 2023

• basic type alias in module's annotation

  gensofubi

  committed
  3f7db25

Commits on Jun 17, 2023

• change precedence for sum type alias in module annotation

  gensofubi

  committed
  b1c3b6d

• fix for Tags in module

  gensofubi

  committed
  9377765

• in analitic mode, use constructors without prefix

  gensofubi

  committed
  fc8a9d5

Commits on Jun 18, 2023

• differ module type member with type variable with same name

  gensofubi

  committed
  0a11c6f

• fix minor problems

  gensofubi

  committed
  9bb1796

• adjust typing information display for module type members

  gensofubi

  committed
  0f11919

Commits on Jun 21, 2023

• Providing warnings for using type members that are not defined, and inconsistency for type members

  gensofubi

  committed
  45b8c80

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  c9cbf2a

Commits on Jun 28, 2023

• module langdoc copied from let

  gensofubi

  committed
  a6691dc

Commits on Jun 29, 2023

• module def langdoc

  gensofubi

  committed
  09384db

• Merge remote-tracking branch 'origin/adt-defs-after' into haz3l-module

  gensofubi

  committed
  477650a

Commits on Jun 30, 2023

• tyalias pat langdoc

  gensofubi

  committed
  658e4f5

• dot expression langdoc

  gensofubi

  committed
  f097644

• module type langdoc

  gensofubi

  committed
  0f25baa

Commits on Jul 1, 2023

• dot type langdoc

  gensofubi

  committed
  e247813

Commits on Jul 2, 2023

• fit the problem on using member variable with member type

  gensofubi

  committed
  449ac63

• adjust type view: remove trailing comma, let the earlier definitions to be displayed first

  gensofubi

  committed
  a02f806

• add tyalias for module having member type with same name

  gensofubi

  committed
  9373f44

Commits on Jul 5, 2023

• change dot type to be a Typ postfix

  gensofubi

  committed
  d2034ba

• type view adjusted

  gensofubi

  committed
  a57da2b

Commits on Jul 7, 2023

• Merge remote-tracking branch 'origin/adt-defs-after' into haz3l-module

  gensofubi

  committed
  24f6748

• fix exception when Applying Constructors defined in modules

  gensofubi

  committed
  1513e98

Commits on Jul 10, 2023

• add comments in Statics.re and Module.re, remove unused function in Ctx.re

  gensofubi

  committed
  d8108d6

Commits on Jul 11, 2023

• change error message for an invalid module name

  gensofubi

  committed
  14d5025

Commits on Jul 12, 2023

• detailed member value in DHDoc_Exp

  gensofubi

  committed
  9285692

Commits on Jul 13, 2023

• change dot to infix

  gensofubi

  committed
  c4c61b9

Commits on Jul 14, 2023

• Merge remote-tracking branch 'origin/adt-defs-after' into haz3l-module

  gensofubi

  committed
  660d88b

• rec type mem consistency

  gensofubi

  committed
  888ac62

• type member bug fix

  gensofubi

  committed
  1dc51e7

Commits on Jul 31, 2023

• Merge remote-tracking branch 'origin/adt-defs-after' into haz3l-module

  gensofubi

  committed
  8aaa894

Commits on Aug 7, 2023

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  483fc79

Commits on Aug 15, 2023

• change the cursor inspector print

  gensofubi

  committed
  cc51001

• langdoc modify

  gensofubi

  committed
  09aae62

Commits on Aug 16, 2023

• fix about ctrs in ana mode

  gensofubi

  committed
  4efc2e6

• change cls for capitalized var standing for modules

  gensofubi

  committed
  5f76744

Commits on Aug 17, 2023

• langdoc for module vars(exp,pat,typ)

  gensofubi

  committed
  abfe6db

Commits on Aug 27, 2023

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  c148a98

Commits on Aug 31, 2023

• Merge branch 'dev' into haz3l-module

  gensofubi

  committed
  d23540d

Commits on Sep 10, 2023

• Merge branch 'dev' into haz3l-module

  gensofubi

  authored
  0c421f2

Commits on Sep 17, 2023

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  b41f68c

Commits on Oct 14, 2023

• Merge branch 'dev' into haz3l-module

  gensofubi

  authored
  bf5b462

Commits on Nov 9, 2023

• fix double casting on dot accessing

  gensofubi

  committed
  d64aaed

Commits on Nov 27, 2023

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  e5b514a

Commits on Dec 4, 2023

• change ModuleVal type to ClosureEnvironment

  gensofubi

  committed
  024dabe

• fix modules annotated with typevars

  gensofubi

  committed
  4a084be

Commits on Dec 24, 2023

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  b92bc48

Commits on Jan 8, 2024

• basic module alias

  gensofubi

  committed
  11e3b27

• fix curly bracket problem

  gensofubi

  committed
  4da0991

• fix dot parsing problem

  gensofubi

  committed
  82c8f61

• Merge branch 'haz3l-module' into module-alias

  gensofubi

  committed
  b371fbc

Commits on Feb 17, 2024

• evaluator merged

  gensofubi

  committed
  715b677

Commits on Feb 23, 2024

• merged without stepper for module

  gensofubi

  committed
  fe99078

• Merge branch 'dev' into haz3l-module

  gensofubi

  authored
  d0ad37c

Commits on Mar 1, 2024

• Module alias (#1156)

  cyrus-

  authored
  70688dc

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  ff1ad0b

Commits on Mar 2, 2024

• stepper partly done with a bug

  gensofubi

  committed
  baca0d2

• fix incorrect use of Mark

  gensofubi

  committed
  5684b0a

• fix nested module bug

  gensofubi

  committed
  3cd13bc

Commits on Mar 4, 2024

• remove redundant evaluator for module

  gensofubi

  committed
  bb29147

• signature correction

  gensofubi

  committed
  78661a9

• cursor inspector message correction

  gensofubi

  committed
  6b57f29

• context inspector of projections updated

  gensofubi

  committed
  f7bdc10

Commits on Mar 18, 2024

• fix documentation bugs

  gensofubi

  committed
  946242b

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  c4a746c

Commits on Mar 20, 2024

• fix type inconsistency warning on module patterns

  gensofubi

  committed
  73ca90a

Commits on Mar 21, 2024

• fixing alignment and linebreak use in cell-result

  gensofubi

  committed
  314111c

• Do not show members not included in the signature

  gensofubi

  committed
  c3408cd

Commits on Mar 22, 2024

• fix invalid module exception

  gensofubi

  committed
  1ae0263

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  e5ad167

• modules documentation page

  gensofubi

  committed
  40c1aa7

Commits on Mar 31, 2024

• module types and nested member types inspector correction

  gensofubi

  committed
  2a243b4

Commits on Apr 4, 2024

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  9c95134

• merge

  gensofubi

  committed
  61ae8bb

Commits on Apr 12, 2024

• basic casting issues

  gensofubi

  committed
  5c4b189

• fix alignment

  gensofubi

  committed
  a9dd6e7

Commits on Apr 14, 2024

• bug fix

  gensofubi

  committed
  5b00e37

• add holes to undefined but declared members

  gensofubi

  committed
  0678bcf

• final refine of modules with signatures

  gensofubi

  committed
  b77204f

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  c356d29

Commits on Apr 19, 2024

• Cast for modules with Unknown type

  gensofubi

  committed
  87320ca

Commits on May 4, 2024

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  9e42970

• hole type casting fix

  gensofubi

  committed
  450701b

Commits on May 20, 2024

• incomplete module type created for dot analyzing

  gensofubi

  committed
  5e567bf

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  42f59bb

Commits on May 30, 2024

• Merge remote-tracking branch 'origin/dev' into haz3l-module

  gensofubi

  committed
  67986f0