emilyhorsman / elm-type-inference Goto Github PK

f a = a + 1

f 1 + 2   -- Yields 4

f if True then a else b

f (if True then a else b)

let
  x : Int
  x = 4
in
  x

let
  x : Int
 x = 4
in
  x

> '\a'
-- PARSE ERROR ------------------------------------------------------------- elm

Backslashes always start escaped characters, but I do not recognize this one:

4|   '\a'
      ^
Maybe there is some typo?

Hint: Valid escape characters include:

    \n
    \r
    \t
    \"
    \'
    \\
    \u{03BB}

The last one lets encode ANY character by its Unicode code point, so use that
for anything outside the ordinary six.
>

import Html exposing (..)


type alias State a =
    { a | count: Int }

type alias MoreState =
    State { test: Int }

increment : State a -> State a
increment s = { s | count = s.count + 1 }

state : MoreState
state =
    { count = 0
    , test = 1
    }
    |> increment
    |> increment

main = text (String.fromInt state.count)