Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Mar 11, 2018

• Add source spans for literals (#3277)

  Show description for 9a4992a
  garyb

  authored
  9a4992a

  Copy full SHA for 9a4992a

Commits on Mar 10, 2018

• Allow errors to carry multiple positions (#3255)

  garyb

  authored
  3171a77

  Copy full SHA for 3171a77

Commits on Jan 21, 2018

• Add source spans to name constructors and fix `ShadowedName` warning (#3213)

  garyb

  authored
  ce94cd9

  Copy full SHA for ce94cd9

Commits on Jan 20, 2018

• create UnusedIdent (#3194)

  Show description for 8369db4
  

  matthewleon

  authored and

  garyb

  committed
  8369db4

  Copy full SHA for 8369db4

Commits on Jan 3, 2018

• Revert proxies (#3186)

  Show description for 38f631c
  hdgarrood

  authored
  38f631c

  Copy full SHA for 38f631c

Commits on Oct 28, 2017

• Instantiate abstraction body during inference (#3128)

  LiamGoodacre

  authored
  c507005

  Copy full SHA for c507005

Commits on Oct 21, 2017

• Fix entailment issues with skolems and matches (#3121)

  Show description for c68befe
  LiamGoodacre

  authored
  c68befe

  Copy full SHA for c68befe

Commits on Oct 1, 2017

• Fix proxies: synonyms, inference, traversals, instances (#3095)

  LiamGoodacre

  authored
  fe0aa0d

  Copy full SHA for fe0aa0d

Commits on Sep 13, 2017

• Instance chain groups (#2929)

  Show description for aacdb9a
  

  LiamGoodacre

  authored and

  paf31

  committed
  aacdb9a

  Copy full SHA for aacdb9a

Commits on Sep 10, 2017

• Revert "Revert "Run AppendSymbol in reverse (#3025)" (#3027)" (#3030)

  Show description for 2a84878
  paf31

  authored
  2a84878

  Copy full SHA for 2a84878

Commits on Sep 9, 2017

• Add proxies (#2846)

  Show description for 74bc4a9
  

  no-longer-on-githu-b

  authored and

  paf31

  committed
  74bc4a9

  Copy full SHA for 74bc4a9

• Solve ConsSymbol (#3054)

  Show description for 4289974
  

  kcsongor

  authored and

  paf31

  committed
  4289974

  Copy full SHA for 4289974

Commits on Aug 22, 2017

• Adds a pattern synonym for ValueDeclarations (#3051)

  kritzcreek

  authored
  3a6f3f6

  Copy full SHA for 3a6f3f6

Commits on Aug 20, 2017

• Introduce data type for value declarations (#3048)

  Show description for cc42234
  kritzcreek

  authored
  cc42234

  Copy full SHA for cc42234

Commits on Aug 6, 2017

• Revert "Run AppendSymbol in reverse (#3025)" (#3027)

  Show description for 59d1c6a
  paf31

  authored
  59d1c6a

  Copy full SHA for 59d1c6a

Commits on Aug 5, 2017

• Run AppendSymbol in reverse (#3025)

  paf31

  authored
  cb1393c

  Copy full SHA for cb1393c

Commits on Jul 30, 2017

• also runs type search for data constructors (#3008)

  kritzcreek

  authored
  db99634

  Copy full SHA for db99634

• Fix a loop in the kind checker (#3005)

  Show description for f4e81e7
  paf31

  authored
  f4e81e7

  Copy full SHA for f4e81e7

Commits on Jul 9, 2017

• Solve RowToList (#2945)

  

  LiamGoodacre

  authored and

  paf31

  committed
  0e2d820

  Copy full SHA for 0e2d820

Commits on Jun 17, 2017

• Add source span annotations to Declaration (#2935)

  Show description for f1128ec
  garyb

  authored
  f1128ec

  Copy full SHA for f1128ec

Commits on Apr 13, 2017

• Allow user to propagate Warn constraints (#2828)

  Show description for f8d4530
  paf31

  authored
  f8d4530

  Copy full SHA for f8d4530

Commits on Apr 2, 2017

• Desugar pattern guards *after* type checking (#2801)

  Show description for 485e789
  

  alexbiehl

  authored and

  paf31

  committed
  485e789

  Copy full SHA for 485e789

Commits on Mar 29, 2017

• Polymorphic Labels (#2784)

  Show description for 838fd3f
  paf31

  authored
  838fd3f

  Copy full SHA for 838fd3f

Commits on Mar 24, 2017

• Row union constraints (#2761)

  Show description for 633c8c5
  paf31

  authored
  633c8c5

  Copy full SHA for 633c8c5

Commits on Mar 15, 2017

• ConstrainedType only takes a single Constraint (#2746)

  Show description for df9a1d3
  paf31

  authored
  df9a1d3

  Copy full SHA for df9a1d3

Commits on Mar 13, 2017

• Tracks more positions during parsing (#2662)

  Show description for a5c3a01
  kritzcreek

  authored
  a5c3a01

  Copy full SHA for a5c3a01

• Improve errors for bind/discard (#2736)

  Show description for f04a079
  paf31

  authored
  f04a079

  Copy full SHA for f04a079

Commits on Mar 8, 2017

• Find record accessors in Type Directed Search (#2710)

  Show description for 2dbed39
  kritzcreek

  authored
  2dbed39

  Copy full SHA for 2dbed39

Commits on Mar 5, 2017

• Make superclass codegen less ugly (#2704)

  Show description for 7ebd80c
  paf31

  authored
  7ebd80c

  Copy full SHA for 7ebd80c

Commits on Mar 4, 2017

• Allow duplicate labels (#2696)

  Show description for 14b8bff
  paf31

  authored
  14b8bff

  Copy full SHA for 14b8bff

Commits on Feb 20, 2017

• replace nub with ordNub (#2679)

  Show description for 0ee5b74
  

  matthewleon

  authored and

  paf31

  committed
  0ee5b74

  Copy full SHA for 0ee5b74

Commits on Feb 16, 2017

• Fix for unknown Warn type class constructor (#2666)

  

  LiamGoodacre

  authored and

  paf31

  committed
  eeaaa6a

  Copy full SHA for eeaaa6a

Commits on Feb 11, 2017

• Instantiate types in record literals as necessary (#2625)

  Show description for 98aad3b
  paf31

  authored
  98aad3b

  Copy full SHA for 98aad3b

• Misc. work on #2567 and the skolem escape check (#2643)

  paf31

  authored
  563b8e2

  Copy full SHA for 563b8e2

Commits on Feb 9, 2017

• Pattern guards (#2588)

  Show description for bdd8a09
  

  alexbiehl

  authored and

  paf31

  committed
  bdd8a09

  Copy full SHA for bdd8a09

Pagination

Previous

Next