GHC
·
Last edited by Sebastian Graf on May 2, 2021
Linked with GitHub
Contributed by

Edit

There is no commentSelect some text and then click Comment, or simply add a comment to this page from below to start a discussion.

Test (with a different title)

sdf
sdf
- sdfsd
  - sldfkj
  - lsdkj
- sldfkjsd
- slkdfj
- sldkfj

It's a bit weird that adding a blank line after a single list item affects spacing of all the others. But at least it's consistent:

sdf
sdf
- sdfsd
  - sldfkj
  - lsdkj
- sldfkjsd
- slkdfj
- sldkfj

Last changed by

GHC

Glasgow Haskell Compiler Developers

132

Sharing Environments

let f = {x,y,z} \ [] -> M in case q of n -> let g = {x,y,z} -> N 0 -> 0 in f into letenv xyz = env {x,y,z} in

Jul 16, 2021

Incorporating Kinds Are Calling Conventions

Overall goal Extend Core so that The kind of a type expresses its arity (as well as levity and representation, which it does now). Two lambdas: one "old" lamda, and a new arity-aware one; similarly two arrow type constructors (->) and (~>). Status Shant's google doc Question: long term, do we want the RuntimeInfo structure to be a pair? Maybe yes... convenient when you want to be polymorphic in both.

Jun 29, 2021