Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 21, 2016

• Rename TypeEncoder module to NameEncoder

  owickstrom

  committed
  22e3075

• Add support for importing Oden packages

  owickstrom

  committed
  1da4065

Commits on Jul 17, 2016

• Distinguish between foreign and native packages

  owickstrom

  committed
  b256998

Commits on Jul 16, 2016

• Introduce foreign/native imports

  owickstrom

  committed
  9a13862

Commits on Jun 27, 2016

• Instantiate polymorphic functions with constraints

  owickstrom

  committed
  dccb6ea

Commits on Jun 26, 2016

• Add failing tests for polymorphic constrained fns

  owickstrom

  committed
  97696d9

Commits on May 28, 2016

• #100 Add top level source info comments

  owickstrom

  committed
  e2c164e

• #100 Add source info to structs

  owickstrom

  committed
  c8c0d4c

Commits on May 27, 2016

• #100 Add top level and block source info

  owickstrom

  committed
  c93897e

Commits on May 23, 2016

• #93 Re-add support for literal eval

  owickstrom

  committed
  a96cb77

Commits on May 22, 2016

• #93 Add float64 support

  owickstrom

  committed
  b810288

• #93 Convert to Num protocol

  owickstrom

  committed
  5491dcd

• #93 Basic support type for type vars in impl head

  owickstrom

  committed
  a279cb8

Commits on May 21, 2016

• #93 Separate foreign and syntax operators

  owickstrom

  committed
  4ba6817

• #93 Add more predefined protocols and impls

  owickstrom

  committed
  b819b67

• #93 Inline foreign method impls

  owickstrom

  committed
  c0eedce

• #93 Desugar operators to method refs

  owickstrom

  committed
  597785b

Commits on May 17, 2016

• Rename Explode to Desugar

  owickstrom

  committed
  12428bd

Commits on May 14, 2016

• Fix warnings

  owickstrom

  committed
  0b7a1aa

• Throw error on already bound type in protocol head

  owickstrom

  committed
  70ba817

• Separate validation for untyped and typed packages

  owickstrom

  committed
  3f07941

• Only resolve constraints for non-variable types

  owickstrom

  committed
  438ce74

Commits on May 8, 2016

• Instantiate methods in inference

  owickstrom

  committed
  9e7288e

• Instantiate used method impls at top level

  owickstrom

  committed
  6e52b2c

Commits on May 3, 2016

• Tighten record subsumption and impl resolution

  owickstrom

  committed
  1de198c

Commits on May 2, 2016

• Unify, subsume and subst methods

  owickstrom

  committed
  70eb3af

Commits on May 1, 2016

• Add impl type head

  owickstrom

  committed
  dc3ec5c

• Resolve implemenations in inference

  owickstrom

  committed
  a3a19d5

Commits on Apr 30, 2016

• Parse and explode implementations

  owickstrom

  committed
  2e493f3

• Rename Oden.Core to Oden.Core.Typed

  owickstrom

  committed
  8e21f91

• Add Monomorphed IR

  owickstrom

  committed
  3b425da

• Resolve from local instances

  owickstrom

  committed
  e5c6309

• Add a failing test and skeleton for ProtocolImplementation

  owickstrom

  committed
  b5b00f7

• Add skeleton for protocol implementation resolution

  owickstrom

  committed
  931d953

• Use core Expr in Untyped IR as well

  owickstrom

  committed
  771af6f

Pagination

PreviousNext