Code

Type Hole Inference (post merge)#1155

Code

Draft

RaefM wants to merge 141 commits intodevhazelgrove/hazel:devfrom thi-old-engine-with-mergehazelgrove/hazel:thi-old-engine-with-mergeCopy head branch name to clipboard

+4,361-619

Commits

Commits on Oct 30, 2022

• update Typ.re to reflect new provenances and matched patterns with constraints

  RaefM

  committed
  08ac8a8

Commits on Nov 1, 2022

• got new notion of matched functions and provenances compiling

  RaefM

  committed
  a87c395

Commits on Dec 26, 2022

• wip; ammend later

  RaefM

  committed
  ec96408

• merge with recent changes from haz3l-tests and improved casts

  RaefM

  committed
  8c7a0d6

• fix remaining compiler errors after merge

  RaefM

  committed
  e5b4b7a

Commits on Dec 29, 2022

• adds constraints to Typ.re; doesn't compile yet

  RaefM

  committed
  09ddeea

Commits on Dec 31, 2022

• adds constraint generation to static type checking

  RaefM

  committed
  c4488cd

• adds all the inference modules; unlinked to UI or log in this commit

  RaefM

  committed
  5ad3ee9

Commits on Jan 3, 2023

• links inference to UI. currently untested. changes existing code in Measured.re (offset of grout set based on associated annotation, if any) and in Code.re (text for grout set to annotation, if any)

  RaefM

  committed
  431c20f

Commits on Jan 15, 2023

• makes annotation maps mutable. merges mk_map and mk_annotations

  RaefM

  committed
  94669dd

• makes annotations be accumulated in a single source

  RaefM

  committed
  7dd160d

Commits on Jan 18, 2023

• fix unsolved annotations bug. adds toggle for turning annotations on and off

  RaefM

  committed
  be649cb

• adjusts coloring of annotations. removes empty hole svg when annotations present. fixes issues with lists in inference

  RaefM

  committed
  c48b065

Commits on Jan 19, 2023

• fix bug with things solved as unknown retaining their annotations from previous edits

  RaefM

  committed
  d75fb75

Commits on Jan 25, 2023

• fix occurs stack overflowing. clear annotations on slide clear

  RaefM

  committed
  fece0e9

• moves unsolved annotations to the cursorinspector; replaces code annotation with red emptyholedec svg

  RaefM

  committed
  e298ce1

• quick fix to compiler error

  RaefM

  committed
  2927ce5

Commits on Jan 26, 2023

• quick change to unsolved printing to make it neater

  RaefM

  committed
  55f3631

• fixed issue where cursor is misdrawn after hole suggestions change

  anandrav

  committed
  b03f2c8

• fix printing of annotations types to be consistent; fix annotation colors

  RaefM

  committed
  ead7b45

Commits on Jan 29, 2023

• comments for our roadmap for non global inf maps

  RaefM

  committed
  bdb43df

• create annotations in Editor.new_state

  Show description for 0f9aa93
  anandrav

  committed
  0f9aa93

• removed global annotation_map from Measured, still present in Code.of_grout

  anandrav

  committed
  a2fe31b

• removed global annotation_map from Code.of_grout

  anandrav

  committed
  493febf

• removed globals from svg_display_settings() (makes grout red)

  anandrav

  committed
  4c78da2

• no longer using var accumulated_annotations, still using annotations_enabled flag

  anandrav

  committed
  b61229f

Commits on Jan 31, 2023

• fix bug where type annotations don't show when editor first loaded

  anandrav

  committed
  1e305f4

• removed type annotations from editor.state.meta

  anandrav

  committed
  aa9e622

Commits on Feb 2, 2023

• remove annotations_enabled global var and refactor names of types

  RaefM

  committed
  677cf8d

• add accept suggestions on clicking enter when to the right of a solved annotation

  RaefM

  committed
  2a37937

Commits on Feb 3, 2023

• small fix related to hole molds

  RaefM

  committed
  a2e767d

Commits on Feb 9, 2023

• remove prov specific typing in annotations (makes acceptance suggestion weird)

  RaefM

  committed
  9fd5630

• merge in dev

  RaefM

  committed
  715d5cd

• add documentation (housed in rei files where possible) and did some cleanup

  RaefM

  committed
  a4a1f68

• merge more recent dev changes

  RaefM

  committed
  0d47347

Commits on Feb 28, 2023

• updated UI

  anandrav

  committed
  24a96d9

• dotted line around unsolved type hole

  anandrav

  committed
  ea15b86

Commits on Mar 1, 2023

• removed ? from CI and added ! to unsolved hole in editor

  anandrav

  committed
  e2645a1

• renames eqclasses to potential type sets

  RaefM

  committed
  7d5925a

Commits on Mar 19, 2023

• merge dev

  RaefM

  committed
  981f15a

Commits on Mar 23, 2023

• fill type hole is atomic action

  anandrav

  committed
  afd91e8

Commits on Mar 24, 2023

• hole filling on click (not hover yet)

  anandrav

  committed
  444490b

• makes the buttons for cursorinspector suggestions hoverable to see results if it were to be accepted

  RaefM

  committed
  0c8f678

• made buttons brighter on hover

  RaefM

  committed
  5f81e86

Commits on Apr 8, 2023

• refactor and combine certain functions

  RaefM

  committed
  14cb043

• wip

  RaefM

  committed
  b4dbdf7

Commits on May 12, 2023

• refactor inference results code to be more consistent

  RaefM

  committed
  c471ad6

Commits on May 22, 2023

• CI hexagons looking good- grout suggestions being funky with lines and coloration but hexagons appearing

  RaefM

  committed
  db487be

• Merge branch 'dev' of https://github.com/hazelgrove/hazel into haz3l-thi-mutable-ui-experiments-and-merge

  RaefM

  committed
  3e32023

Commits on Jun 12, 2023

• fixes issues with svg in suggestions but introduces new issue with the positioning of words relative to the svg.... also need to update type.view and typ.typ_to_string to unambiguously parenthesize…

  Show description for 86ac43f
  RaefM

  committed
  86ac43f

Commits on Jun 14, 2023

• fix weird positioning issues

  RaefM

  committed
  866be93

• makes parenthesization less/un ambiguous (always parenthesizes left child in a type if it is arr/sum). fixes some other stylistic issues. It may be better to decrease spacing as the current formatt…

  Show description for 7e4d53d
  RaefM

  committed
  7e4d53d

• Merge branch 'dev' of https://github.com/hazelgrove/hazel into haz3l-thi-mutable-ui

  RaefM

  committed
  34fbb14

Commits on Jul 11, 2023

• Fix UI bugs

  RaefM

  committed
  c497f61

Commits on Jul 12, 2023

• add message to CI on errors

  RaefM

  committed
  8af2bea

• fix weird hover bug

  RaefM

  committed
  64d109e

• add text to consistent suggestions in ci

  RaefM

  committed
  7985faf

Commits on Aug 23, 2023

• merged type_provenance cases 'Internal' and 'TypeHole'

  anandrav

  committed
  7607246

• rename Anonymous to NoProvenance

  anandrav

  committed
  1afa3ee

• renamed Inference prov case to Matched

  anandrav

  committed
  4119c85

Commits on Aug 25, 2023

• rewrite pt. 1

  anandrav

  committed
  1db78ad

Commits on Aug 26, 2023

• rewrite pt. 2

  anandrav

  committed
  25f1808

• functional again

  anandrav

  committed
  7c431e9

• cleanup

  anandrav

  committed
  887574b

Commits on Oct 8, 2023

• must resolve conflicts in Statics and CursorInspector

  anandrav

  committed
  e7aee26

• attempt to resolve cursorinspector merge errors

  disconcision

  committed
  788fd55

• statics still WIP, does not compile

  anandrav

  committed
  44a649f

Commits on Oct 10, 2023

• resolving remaining merge type errors. starts up fine but UI is utterly borked, suspect CI+css issues

  disconcision

  committed
  1c2f440

• resolve some css issues; UI now renders okay, but still some issues

  disconcision

  committed
  3251d22

• Update Elaborator.re

  disconcision

  authored
  8afd381

Commits on Nov 15, 2023

• add logging

  RaefM

  committed
  c07e305

• setup logging

  anandrav

  committed
  6b60d72

• consider tuples conflicting if they have different arity

  anandrav

  committed
  adf926e

• fixed how unknown types are displayed

  anandrav

  committed
  30442f0

• added comments to clarify last change

  anandrav

  committed
  7484d17

• occurs check

  anandrav

  committed
  a8bf67f

Commits on Dec 6, 2023

• Fix a bunch of todos and missing constraints

  RaefM

  committed
  3179e5a

Commits on Dec 11, 2023

• changed grout width back to 1 for inference suggestions

  anandrav

  committed
  9a78e94

• added labels for more clarity

  anandrav

  committed
  bdacad6

• merged dev, probably does not compile.

  anandrav

  committed
  6de7a0b

• fixed some compiler errors, more to go...

  anandrav

  committed
  9d17cf2

Commits on Dec 19, 2023

• Merge branch 'dev' of https://github.com/hazelgrove/hazel into thi-merge-dev2

  RaefM

  committed
  51819c7

• fix build failures after latest merge

  RaefM

  committed
  6a4bdc9

• Fix join constraint threading

  RaefM

  committed
  3571c92

• Fix some issues with join_constraints and missing constraints for uexp_to_info_map

  RaefM

  committed
  03facf9

• Review and fix issues in upat_to_info_map

  RaefM

  committed
  2b3152b

Commits on Dec 23, 2023

• Refactor to use new provenances where synswitch is separated out to ensure it doesnt get overwritten and so that type holes and expholes can be traced back. Return suggestions ONLY for typeholes

  RaefM

  committed
  ab14eeb

• make debug print string more useful

  RaefM

  committed
  c0b0820

• sub in old inference module

  RaefM

  committed
  6650633

• Make things compile after substituting in the old inference algos

  RaefM

  committed
  26c7fa1

Commits on Dec 24, 2023

• debug wip

  RaefM

  committed
  bf04f1c

Commits on Dec 25, 2023

• remove init syn; still broken lines

  RaefM

  committed
  301117e

• Fix UI measured-grout view mismatch issues; Add PatternVar provenance to existence of unannotated patterns

  RaefM

  committed
  d89198a

• get rid of debug logs

  RaefM

  committed
  51336d5

Commits on Dec 26, 2023

• Add logic to also build out indirect suggestions in global_inference_info; fix issues with branch constraints

  RaefM

  committed
  4efc804

• ADTs seem to work; stack overflowing on the examples page for ADTs though

  RaefM

  committed
  115b25f

Commits on Dec 28, 2023

• fix stack overflow issue

  RaefM

  committed
  dcb3d72

• Fix issue where solved as type alias and its body type val resulted in unsolved

  RaefM

  committed
  4049dfe

• Fix CI hover issues

  RaefM

  committed
  36bc5af

Commits on Dec 31, 2023

• Add logic to suggest results for unsolved exp holes, but the paste happens before the variable name. Will add direction to jump action to specify end

  RaefM

  committed
  3187947

• Add directional jump; unsolved exphole suggestions working

  RaefM

  committed
  92c5a82

• remove debug logs

  RaefM

  committed
  0e757f8

• Add suggestions for solved/nested inconsistency exp holes too (easily removable if we want)

  RaefM

  committed
  732fff7

• fix issue where annotated patterns were also candidates for annot insertion

  RaefM

  committed
  1ab2c53

• rename NonTypeHoleId to NotSuggestableHoleId

  RaefM

  committed
  ba8f2a2

• fix issue of ? being pasted in

  RaefM

  committed
  d0639da

• autoformatting

  RaefM

  committed
  757b07d

Commits on Jan 5, 2024

• fix ADT issue

  RaefM

  committed
  19fc24e

Commits on Jan 6, 2024

• Moved acceptance logic into Tab and out of Enter. Should talk to Andrew about a more elegant way to inject these

  RaefM

  committed
  32d0d55

• fix text alignment in CI

  RaefM

  committed
  4916324

• fix issue where holes become offset when UpdateAssistant operations occur

  RaefM

  committed
  051cb41

Commits on Jan 7, 2024

• make exp hole suggestions only pop up on directly constrained unannotated pat vars on ci hover

  RaefM

  committed
  f529616

Commits on Jan 12, 2024

• fix sneaky internals causing not-as-good-as-they-could-be solutions

  RaefM

  committed
  aa06ada

• Added new update settings_action

  RaefM

  committed
  ed8a2bf

• switched all logic over to new toggle in nut bar

  RaefM

  committed
  887c67f

• fix stray debug change

  RaefM

  committed
  8114313

Commits on Jan 13, 2024

• cleanup prints and todos

  RaefM

  committed
  7374be6

• fix measurement issue after suggestion accept

  RaefM

  committed
  95ddccd

• Add inference_enabled to init to fix issue of weird offset holes on startup, slide change, or reload

  RaefM

  committed
  db7ef98

• fix stack overflow issue for nested occurs check failures

  RaefM

  committed
  c988481

• make occurs check failures have special ci text

  RaefM

  committed
  d533620

• fix clunky CI types when parens involved

  RaefM

  committed
  1247487

Commits on Jan 14, 2024

• Fix issue where occurs failures were given solved UI. Fix issue where annotated patterns had less-than-ideal results due to missing subsumption constraints. Fix issue where tab didn't accept before…

  Show description for 5255070
  RaefM

  committed
  5255070

• Make all CI unknowns be the hexagon

  RaefM

  committed
  c7ddca2

Commits on Jan 15, 2024

• remove debug logs again

  RaefM

  committed
  6d9b105

• hackily disable cons suggestion in patterns

  disconcision

  committed
  fe27c3a

Commits on Jan 18, 2024

• Make occurs failures involving type holes show conflicts in CI. Shift more logic for occurs failure handling into CI, where prompts can explain the unsolved status

  RaefM

  committed
  12c3f12

• Simplify CI text; fix bug where sum was being printed as prod

  RaefM

  committed
  7f60039

• Add names when ityps are made into sum types based on position

  RaefM

  committed
  6ce7dc7

• Fix stack overflow issue when nullary sum occurs

  RaefM

  committed
  c765aac

• fix ambiguous parens on sums in arrows

  RaefM

  committed
  e263e23

• Hackily disable cons suggestion in patterns (#1162)

  cyrus-

  authored
  11e6aa6

Commits on Jan 22, 2024

• merge updated nut menu

  RaefM

  committed
  76c382e

• Merge branch 'thi-old-engine-with-merge' of https://github.com/hazelgrove/hazel into thi-old-engine-with-merge

  RaefM

  committed
  db7f533

• finalize merge conflicts

  RaefM

  committed
  2f43770

• make it so if statics turns off, infernce does too

  RaefM

  committed
  5fad881

Commits on Feb 26, 2024

• Fix empty list type paste bug and solutions

  RaefM

  committed
  14f1e19

• Fix issue where type aliases weren't always constrainted to self

  RaefM

  committed
  dc83c58

• whoops- fix usage of wrong type in prev commit

  RaefM

  committed
  298a51d

Commits on Mar 29, 2024

• test - rerun GitHub Action

  thomasporter522

  committed
  d7f07bf

Commits on Apr 1, 2024

• added constructor names to internal types

  thomasporter522

  committed
  55273cb