Code

Editor Componentization#1297

Code

Merged

cyrus- merged 152 commits intodevhazelgrove/hazel:devfrom editor-outputhazelgrove/hazel:editor-outputCopy head branch name to clipboardDec 11, 2024

+10,025-8,819

Commits

Commits on Apr 30, 2024

• Separate out adding parentheses from printing

  Negabinary

  committed
  4722680

  Copy full SHA for 4722680

Commits on May 1, 2024

• Exp to Segment

  Negabinary

  committed
  679be52

  Copy full SHA for 679be52

Commits on May 2, 2024

• Merge branch 'remove-dhexp' into editor-output

  Negabinary

  committed
  5e5213a

  Copy full SHA for 5e5213a

Commits on May 3, 2024

• Move StepperView functions

  Negabinary

  committed
  6d5907f

  Copy full SHA for 6d5907f

• Add whitespaces

  Negabinary

  committed
  65a2456

  Copy full SHA for 65a2456

• Start multi-line pretty printing

  Negabinary

  committed
  796d23c

  Copy full SHA for 796d23c

Commits on May 6, 2024

• Separate code from cell

  Negabinary

  committed
  37478ee

  Copy full SHA for 37478ee

• Delete unused lines

  Negabinary

  committed
  2ccb05c

  Copy full SHA for 2ccb05c

Commits on May 8, 2024

• Get closer (I think) to being able to select steps

  Negabinary

  committed
  7a4fa25

  Copy full SHA for 7a4fa25

Commits on May 10, 2024

• parenthesize types and patterns

  Negabinary

  committed
  2a7cf79

  Copy full SHA for 2a7cf79

• Fix map2 error

  Negabinary

  committed
  2e14d35

  Copy full SHA for 2e14d35

Commits on May 15, 2024

• Select other editors

  Negabinary

  committed
  5f51503

  Copy full SHA for 5f51503

• Fix evaluation

  Negabinary

  committed
  e1c8cde

  Copy full SHA for e1c8cde

• Rename Editors selection

  Negabinary

  committed
  8225be9

  Copy full SHA for 8225be9

Commits on May 16, 2024

• Add green highlights

  Negabinary

  committed
  f5e7dde

  Copy full SHA for f5e7dde

• Fix pasting not working

  Negabinary

  committed
  1fe65b5

  Copy full SHA for 1fe65b5

• Fix log serialization

  Negabinary

  committed
  4cb66df

  Copy full SHA for 4cb66df

Commits on May 17, 2024

• Fix test to segment

  Negabinary

  committed
  eab25e9

  Copy full SHA for eab25e9

• Make stepper update with elaboration

  Negabinary

  committed
  f810f62

  Copy full SHA for f810f62

Commits on May 21, 2024

• Create sub-models for editors

  Negabinary

  committed
  5fb83bc

  Copy full SHA for 5fb83bc

• Get stepper almost working again

  Negabinary

  committed
  da63054

  Copy full SHA for da63054

• Fix stepper pointer events

  Negabinary

  committed
  7b6855f

  Copy full SHA for 7b6855f

• Delete DHDoc_Exp

  Negabinary

  committed
  5a482b3

  Copy full SHA for 5a482b3

• Moving and renaming

  Negabinary

  committed
  60df359

  Copy full SHA for 60df359

Commits on May 22, 2024

• Factor out globals

  Negabinary

  committed
  7d3ff12

  Copy full SHA for 7d3ff12

• Update style.css

  Negabinary

  committed
  f99a8cb

  Copy full SHA for f99a8cb

• Fix selection of result

  Negabinary

  committed
  6774325

  Copy full SHA for 6774325

Commits on Jun 6, 2024

• Split up model, view, action

  Negabinary

  committed
  bf5e3c8

  Copy full SHA for bf5e3c8

• Fixup

  Negabinary

  committed
  f7e0929

  Copy full SHA for f7e0929

• Delete old web files

  Negabinary

  committed
  798c3f5

  Copy full SHA for 798c3f5

• Move and tidy files

  Negabinary

  committed
  1db9418

  Copy full SHA for 1db9418

Commits on Jun 7, 2024

• Update Makefile

  Negabinary

  committed
  56d2523

  Copy full SHA for 56d2523

• Fix copy/paste

  Negabinary

  committed
  04bfefd

  Copy full SHA for 04bfefd

• Fix exercise cells resetting

  Negabinary

  committed
  2ea39d9

  Copy full SHA for 2ea39d9

Commits on Jun 12, 2024

• Tidy up, add comments

  Negabinary

  committed
  87f877d

  Copy full SHA for 87f877d

• Fix evaluation of school mode

  Negabinary

  committed
  7a8b3ce

  Copy full SHA for 7a8b3ce

• Merge branch 'remove-dhexp' into editor-output-submodel

  Negabinary

  committed
  ca73929

  Copy full SHA for ca73929

• Update EvaluatorStep.re

  Negabinary

  committed
  67b3b9b

  Copy full SHA for 67b3b9b

Commits on Jun 13, 2024

• Bring back elaboration

  Negabinary

  committed
  d5f4b31

  Copy full SHA for d5f4b31

• Fix linebreaks in pretty printer

  Negabinary

  committed
  a1525ec

  Copy full SHA for a1525ec

• Bring back stepper

  Negabinary

  committed
  799a63d

  Copy full SHA for 799a63d

• Substitute through closures before printing

  Negabinary

  committed
  e56ac11

  Copy full SHA for e56ac11

• Add Updated.t to Stepper

  Negabinary

  committed
  62c9fd5

  Copy full SHA for 62c9fd5

• Stepper updates when elaboration changes

  Negabinary

  committed
  3283c45

  Copy full SHA for 3283c45

• Remove slow print statement

  Negabinary

  committed
  0b7dc7d

  Copy full SHA for 0b7dc7d

Commits on Jun 17, 2024

• Re-use pretty printing code to display types

  Negabinary

  committed
  2f5f743

  Copy full SHA for 2f5f743

Commits on Jul 1, 2024

• Add ranges to stepper highlights

  Negabinary

  committed
  5155a74

  Copy full SHA for 5155a74

• Pre-substitute expressions before printing them

  Negabinary

  committed
  f17cee7

  Copy full SHA for f17cee7

Commits on Jul 9, 2024

• Merge branch 'remove-dhexp' into editor-output

  Negabinary

  committed
  1330482

  Copy full SHA for 1330482

• Prevent unbound variable capture when printing without closures

  Negabinary

  committed
  2cc8e30

  Copy full SHA for 2cc8e30

• Fix variables that shouldn't be unbound becoming unbound

  Negabinary

  committed
  fd092db

  Copy full SHA for fd092db

• Update Term.re

  Negabinary

  committed
  ad48b8a

  Copy full SHA for ad48b8a

• fix ExplainThis dropdown

  Negabinary

  committed
  f2dda97

  Copy full SHA for f2dda97

• Bring back exercises mode

  Negabinary

  committed
  06a54ea

  Copy full SHA for 06a54ea

Commits on Jul 10, 2024

• ctx display perf

  Negabinary

  committed
  05a9f2f

  Copy full SHA for 05a9f2f

Commits on Aug 1, 2024

• Merge branch 'remove-dhexp' into editor-output

  Negabinary

  committed
  0eaf48a

  Copy full SHA for 0eaf48a

• Merge Haz3lschool into Haz3lweb 1

  Negabinary

  committed
  02d822d

  Copy full SHA for 02d822d

• Merge Haz3lschool into Haz3lweb 2

  Negabinary

  committed
  be680b5

  Copy full SHA for be680b5

• Uncomment Gradescope

  Negabinary

  committed
  c3b8d80

  Copy full SHA for c3b8d80

• Fix YourTestsTesting

  Negabinary

  committed
  7a17fd1

  Copy full SHA for 7a17fd1

Commits on Aug 2, 2024

• Fix school mode evaluation

  Negabinary

  committed
  56a64dc

  Copy full SHA for 56a64dc

• Fix reverse application in MakeTerm

  Negabinary

  committed
  3aa8c12

  Copy full SHA for 3aa8c12

• Fix reverse application in ExpToSegment

  Negabinary

  committed
  d11fe19

  Copy full SHA for d11fe19

• Fix MultiHole printing

  Negabinary

  committed
  b4a6bf5

  Copy full SHA for b4a6bf5

• Merge remote-tracking branch 'origin/dev' into editor-output

  Negabinary

  committed
  0de7214

  Copy full SHA for 0de7214

Commits on Aug 4, 2024

• Begin trying to get source maps working

  7h3kk1d

  committed
  5b44f3d

  Copy full SHA for 5b44f3d

• revert diag

  7h3kk1d

  committed
  73df3a6

  Copy full SHA for 73df3a6

Commits on Aug 5, 2024

• Add type annotations to expressions

  Negabinary

  committed
  ecf27fc

  Copy full SHA for ecf27fc

• Fix type id duplication

  Negabinary

  committed
  c119bb2

  Copy full SHA for c119bb2

• re-enable clicking on steps

  Negabinary

  committed
  b4f87cb

  Copy full SHA for b4f87cb

• Change type assignment precedence

  Negabinary

  committed
  c4a6759

  Copy full SHA for c4a6759

• Merge remote-tracking branch 'origin/ab-source-maps' into editor-output

  Negabinary

  committed
  a7eb074

  Copy full SHA for a7eb074

• Fix exceptions

  Negabinary

  committed
  5d188e3

  Copy full SHA for 5d188e3

Commits on Aug 6, 2024

• Fix typing of constructors in casts

  Negabinary

  committed
  21f66be

  Copy full SHA for 21f66be

• Make sure type ids are unique in elaboration

  Negabinary

  committed
  0f2af3d

  Copy full SHA for 0f2af3d

• Make cast id allocation deterministic

  Negabinary

  committed
  c5e01f9

  Copy full SHA for c5e01f9

• closure substitution perf

  Negabinary

  committed
  2516892

  Copy full SHA for 2516892

• Make holes appear in cursor inspector types

  Negabinary

  committed
  ef2ad69

  Copy full SHA for ef2ad69

Commits on Aug 7, 2024

• Speed up elaborator

  Negabinary

  committed
  2f162c4

  Copy full SHA for 2f162c4

• Stop pretending to pretty-print

  Negabinary

  committed
  fcce6d8

  Copy full SHA for fcce6d8

• Stop pretending to pretty-print

  Negabinary

  committed
  b01ca16

  Copy full SHA for b01ca16

• Merge branch 'editor-output' of https://github.com/hazelgrove/hazel into editor-output

  Negabinary

  committed
  9d9e941

  Copy full SHA for 9d9e941

Commits on Aug 8, 2024

• Update precedences

  Negabinary

  committed
  208a146

  Copy full SHA for 208a146

• Lazy recalculation for stepper

  Negabinary

  committed
  a9fbdec

  Copy full SHA for a9fbdec

• Merge branch 'dev' into editor-output

  Negabinary

  committed
  9c1aa0b

  Copy full SHA for 9c1aa0b

Commits on Aug 13, 2024

• Merge Fixup

  Negabinary

  committed
  ddfcf50

  Copy full SHA for ddfcf50

Commits on Aug 15, 2024

• Fix projectors not taking mouse events

  Negabinary

  committed
  b0f19a6

  Copy full SHA for b0f19a6

• re-separate statics

  Negabinary

  committed
  1da256f

  Copy full SHA for 1da256f

• Move elaborator into statics

  Negabinary

  committed
  cae69d0

  Copy full SHA for cae69d0

Commits on Aug 16, 2024

• Hide function bodies, case clauses, etc

  Negabinary

  committed
  0212cf7

  Copy full SHA for 0212cf7

• folding for casts

  Negabinary

  committed
  3280b0d

  Copy full SHA for 3280b0d

Commits on Aug 17, 2024

• Merge branch 'dev' into editor-output

  Negabinary

  committed
  c11fc49

  Copy full SHA for c11fc49

Commits on Aug 20, 2024

• Merge fixup

  Negabinary

  committed
  d727d4d

  Copy full SHA for d727d4d

• css fixup

  Negabinary

  committed
  7a01236

  Copy full SHA for 7a01236

• Merge branch 'dev' into editor-output

  Negabinary

  committed
  13e456c

  Copy full SHA for 13e456c

Commits on Aug 21, 2024

• Fix selections printing as buffer

  Negabinary

  committed
  7b39c43

  Copy full SHA for 7b39c43

• Fix precedences of type +

  Negabinary

  committed
  5249dc3

  Copy full SHA for 5249dc3

• Remove cursor from hidden things in results

  Negabinary

  committed
  2da492e

  Copy full SHA for 2da492e

• Run statics on results again

  Negabinary

  committed
  92b9c7b

  Copy full SHA for 92b9c7b

• Fix stepper tile css

  Negabinary

  committed
  c05ab52

  Copy full SHA for c05ab52

Commits on Aug 22, 2024

• Move stepper buttons back to the right

  Negabinary

  committed
  ff63f38

  Copy full SHA for ff63f38

• Remove left border from text cells

  Negabinary

  committed
  64eaf14

  Copy full SHA for 64eaf14

• Fix exercises caption formatting

  Negabinary

  committed
  f586773

  Copy full SHA for f586773

• make prelude selectable

  Negabinary

  committed
  11a05de

  Copy full SHA for 11a05de

• Fix test validation feedback

  Negabinary

  committed
  b1d528f

  Copy full SHA for b1d528f

Commits on Aug 23, 2024

• Make result printing update with settings

  Negabinary

  committed
  c9c2644

  Copy full SHA for c9c2644

Commits on Aug 28, 2024

• Fix exercise mode editor crashes

  Negabinary

  committed
  ec8305f

  Copy full SHA for ec8305f

Commits on Sep 4, 2024

• Make plus signs in types escape sort

  Negabinary

  committed
  2f6b06d

  Copy full SHA for 2f6b06d

Commits on Sep 6, 2024

• Selection in steppers

  Negabinary

  committed
  55401fe

  Copy full SHA for 55401fe

• Bring back tab

  Negabinary

  committed
  c073cc7

  Copy full SHA for c073cc7

• Merge branch 'editor-output' of https://github.com/hazelgrove/hazel into editor-output

  Negabinary

  committed
  4c67b01

  Copy full SHA for 4c67b01

• Merge branch 'dev' into editor-output

  Negabinary

  committed
  bea61b7

  Copy full SHA for bea61b7

• Selection of results

  Negabinary

  committed
  39d0fa8

  Copy full SHA for 39d0fa8

Commits on Sep 17, 2024

• Remove space between partheneses

  Negabinary

  committed
  756930f

  Copy full SHA for 756930f

Commits on Sep 18, 2024

• Bring back function names

  Negabinary

  committed
  c4fde71

  Copy full SHA for c4fde71

• "Fix" export (to parity with dev)

  Negabinary

  committed
  d78ebc6

  Copy full SHA for d78ebc6

Commits on Sep 27, 2024

• Fix autocomplete weirdness

  Negabinary

  committed
  d69d4d0

  Copy full SHA for d69d4d0

Commits on Oct 11, 2024

• Fix selection in steps

  Negabinary

  committed
  0d6d6c3

  Copy full SHA for 0d6d6c3

• Make test results less jumpy

  Negabinary

  committed
  6539f35

  Copy full SHA for 6539f35

Commits on Oct 31, 2024

• Fix init.ml deserialization

  Negabinary

  committed
  88ea076

  Copy full SHA for 88ea076

Commits on Nov 1, 2024

• Merge branch 'fix-saving' into editor-output

  Negabinary

  committed
  8726b1c

  Copy full SHA for 8726b1c

• Print perform errors

  Negabinary

  committed
  316af0b

  Copy full SHA for 316af0b

Commits on Nov 4, 2024

• Hide casts completely

  Negabinary

  committed
  e483548

  Copy full SHA for e483548

• Fix eval not updating with settings

  Negabinary

  committed
  425a526

  Copy full SHA for 425a526

Commits on Nov 13, 2024

• Fix newlines in exptosegment

  Negabinary

  committed
  2a37f87

  Copy full SHA for 2a37f87

• Show context information for stepper

  Negabinary

  committed
  4387c19

  Copy full SHA for 4387c19

• Fix unable to edit text projector

  Negabinary

  committed
  741bd85

  Copy full SHA for 741bd85

• thunk printing

  Negabinary

  committed
  0702e60

  Copy full SHA for 0702e60

• remove print statements

  Negabinary

  committed
  c273eb3

  Copy full SHA for c273eb3

• Fold parens into functions when hiding functions

  Negabinary

  committed
  348b33c

  Copy full SHA for 348b33c

Commits on Nov 15, 2024

• Fix stepped underline

  Negabinary

  committed
  8e90861

  Copy full SHA for 8e90861

• Fix failed cast ids

  Negabinary

  committed
  5d0629d

  Copy full SHA for 5d0629d

Commits on Nov 21, 2024

• Stepper printing bugs

  Negabinary

  committed
  7eb9fa5

  Copy full SHA for 7eb9fa5

• Merge branch 'dev' into editor-output

  Negabinary

  committed
  4d7dcf7

  Copy full SHA for 4d7dcf7

• Merge fixup

  Negabinary

  committed
  ab31adb

  Copy full SHA for ab31adb

Commits on Nov 22, 2024

• Stepper css

  Negabinary

  committed
  cea32f1

  Copy full SHA for cea32f1

• Disable projector panel in read-only editors

  Show description for da47c27
  Negabinary

  committed
  da47c27

  Copy full SHA for da47c27

• Add UI architecture documentation

  Negabinary

  committed
  205a405

  Copy full SHA for 205a405

Commits on Nov 25, 2024

• revert file renames

  7h3kk1d

  committed
  a71561e

  Copy full SHA for a71561e

• Fix warnings

  Negabinary

  committed
  1f051b3

  Copy full SHA for 1f051b3

Commits on Nov 26, 2024

• Exercises title padding

  Negabinary

  committed
  fbe5b8c

  Copy full SHA for fbe5b8c

• Make main cell always selected

  Negabinary

  committed
  54d4a95

  Copy full SHA for 54d4a95

• Fix stepper selection

  Negabinary

  committed
  856323e

  Copy full SHA for 856323e

• replace nth with nth_opt in stepper selection

  Negabinary

  committed
  c3a2805

  Copy full SHA for c3a2805

• New ids on early lookup

  Negabinary

  committed
  3f72c71

  Copy full SHA for 3f72c71

• Stop stepper reset when updating settings

  Negabinary

  committed
  100f8ef

  Copy full SHA for 100f8ef

Commits on Dec 2, 2024

• Fix deferred ap in ExpToSegment

  Negabinary

  committed
  8d20dee

  Copy full SHA for 8d20dee

Commits on Dec 5, 2024

• Fix string_sub returning weird values on failure

  Negabinary

  committed
  08a4601

  Copy full SHA for 08a4601

• Remove extra space in function application

  Negabinary

  committed
  bd8e2e9

  Copy full SHA for bd8e2e9

Commits on Dec 9, 2024

• Disable TyDi in outputs

  Negabinary

  committed
  399a341

  Copy full SHA for 399a341

Commits on Dec 11, 2024

• Prevent clicking on stepper steps placing the cursor in random places

  Negabinary

  committed
  38974de

  Copy full SHA for 38974de

• Don't update stepper on show history

  Negabinary

  committed
  4a0ffc1

  Copy full SHA for 4a0ffc1