Skip to content

History / TM013 Exporting types from modules

Edit page New page

Revisions

  • Fix the intro a little to make it clear we DON'T want to give up separate compilation, and also respond to Ben's comment.

    @sstrickl sstrickl committed Sep 24, 2014
    44347f3

  • alternate syntax proposal

    @blerner blerner committed Sep 17, 2014
    49a821d

  • Clarify parenthetical

    @sstrickl sstrickl committed Sep 17, 2014
    4923d11

  • Fix arrow types, add some marker for type variable bounds

    @sstrickl sstrickl committed Sep 17, 2014
    2255fc9

  • Fix `private data` -> `private type`

    @sstrickl sstrickl committed Sep 17, 2014
    7ed770a

  • Add some intro text to the spec section

    @sstrickl sstrickl committed Sep 17, 2014
    f0166ed

  • Non-datatype examples

    @sstrickl sstrickl committed Sep 17, 2014
    242a014

  • Removing old example/spec.

    @sstrickl sstrickl committed Sep 17, 2014
    22e8e78

  • More exact examples than the original version

    @sstrickl sstrickl committed Sep 17, 2014
    6a08a38

  • I think this makes more sense, avoids : overload in the case of typed ids.

    @sstrickl sstrickl committed Sep 17, 2014
    5e86392

  • Fleshing out the problems and suggested solution a bit

    @sstrickl sstrickl committed Sep 17, 2014
    d7bd192

  • Initial proposal for how types should be marshalled and what the provides syntax for exporting types should be

    @melloc melloc committed Sep 16, 2014
    6864bb1