Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 20, 2022

• Repair type for hash-copy-clear following racket/racket#4245.

  samth

  committedMay 20, 2022
  a37f1a9

Commits on May 14, 2022

• Add types for bindings in typed/racket/snip. (racket#1236)

  NoahStoryM

  committedMay 14, 2022
  70c21b4

Commits on Apr 28, 2022

• doc: fix existential type results (racket#1233)

  sorawee

  committedApr 28, 2022
  f6be8cd

Commits on Apr 27, 2022

• Add type for lazy. (racket#1222)

  NoahStoryM

  committedApr 27, 2022
  407a863

• tests: print out slow tests (racket#1230)

  capfredf

  committedApr 27, 2022
  388cf8c

Commits on Apr 24, 2022

• Mention assert and occurrence typing in the docs of cast.

  

  scolobb

  authored and

  samth

  committedApr 24, 2022
  dfb65ef

Commits on Apr 20, 2022

• repair the type for vector->immutable-vector (racket#1228)

  capfredf

  committedApr 20, 2022
  2c52f70

Commits on Apr 19, 2022

• rule out NaN in true props in types of positive? and negative? (racket#1227)

  capfredf

  committedApr 19, 2022
  efc3545

• enable proposition propagation when checking module-level exprs (racket#1225)

  capfredf

  committedApr 19, 2022
  0cf01d2

Commits on Apr 13, 2022

• History for 8.5.

  samth

  committedApr 13, 2022
  e82ac35

Commits on Mar 30, 2022

• fix a bug where unittest couldn't run sequentially (racket#1217)

  capfredf

  committedMar 30, 2022
  5f6dcb7

Commits on Mar 26, 2022

• Allow mcar and mcdr to work on MPairTop.

  

  NoahStoryM

  authored and

  samth

  committedMar 26, 2022
  0143a2f

Commits on Mar 22, 2022

• improve error recovery during parsing case-> in side-effect-mode (racket#1212)

  capfredf

  committedMar 22, 2022
  733e739

Commits on Mar 20, 2022

• add fixs for test-complete-docs and enable it on the github actions (racket#1211)

  capfredf

  committedMar 20, 2022
  0e95b83

Commits on Mar 19, 2022

• refactor: simplify code using ignore-table

  capfredf

  committedMar 19, 2022
  8b7bd59

• apply: support intersection of function types

  capfredf

  committedMar 19, 2022
  90cb737

• rewrite type-checking values for prop:procedure

  capfredf

  committedMar 19, 2022
  4e1db2f

Commits on Mar 5, 2022

• repair checking optional lambdas (racket#1204)

  capfredf

  committedMar 5, 2022
  a98e4a6

Commits on Mar 1, 2022

• fix: resolve-name handles unregistered names gracefully (racket#1199)

  capfredf

  committedMar 1, 2022
  f0c353c

Commits on Feb 28, 2022

• fix opt-lambdas with rest arguments (racket#1193)

  capfredf

  committedFeb 28, 2022
  668088f

Commits on Feb 17, 2022

• fix --just for typed-racket-test (racket#1194)

  capfredf

  committedFeb 17, 2022
  3274d41

Commits on Feb 8, 2022

• Repair type of raise-syntax-error.

  samth

  committedFeb 8, 2022
  1d96c67

• Fix file names.

  samth

  committedFeb 8, 2022
  2b32ab6

Commits on Feb 4, 2022

• doc: update the documentation for some let and for forms. (racket#1162)

  NoahStoryM

  committedFeb 4, 2022
  56f5a91

Commits on Feb 2, 2022

• Update make-readtable type (racket#1150)

  eutro

  committedFeb 2, 2022
  7ea6e5e

Commits on Jan 26, 2022

• typed-racket-more/typed: add xml.rkt & xml/path.rkt (racket#1185)

  

  Maciej Barć

  committedJan 26, 2022
  50fb1c0

Commits on Jan 19, 2022

• fix typos in comments

  capfredf

  committedJan 19, 2022
  9acf514

Commits on Jan 18, 2022

• support running unit-tests in parallel (racket#1187)

  capfredf

  committedJan 18, 2022
  18e85fd

• community link badges (racket#1188)

  spdegabrielle

  committedJan 18, 2022
  4b07b7b

Commits on Jan 17, 2022

• exclude "external/fail" to make DrDr happy (racket#1186)

  capfredf

  committedJan 17, 2022
  49ce9e5

Commits on Jan 13, 2022

• split out tests that rely on external libraries (e.g. math) (racket#1184)

  capfredf

  committedJan 13, 2022
  1c2da7b

Commits on Dec 1, 2021

• fix: use aliases for one type(constructor) instead of bindings (racket#1169)

  capfredf

  committedDec 1, 2021
  bf196a3

Commits on Nov 30, 2021

• bump version and update HISTORY (racket#1168)

  capfredf

  committedNov 30, 2021
  dd4f373

Commits on Nov 20, 2021

• fix type constructor unit tests (racket#1167)

  capfredf

  committedNov 20, 2021
  c883950

Commits on Nov 19, 2021

• add a kind system (racket#1143)

  capfredf

  committedNov 19, 2021
  d65ff8b

Pagination

PreviousNext