git.iko.soy/elk
on master help sign in
Correctly generate a type for markdown blocks
8e54751Evan Czaplicki
compiler/Type/Constrain/Expression.hs+1−1
compare with master
unifiedsplit
@@ -134,7 +134,7 @@ constrain env (L span expr) tipe =
134 return . ex vars . and $ tipe === recordType : cs
134 return . ex vars . and $ tipe === recordType : cs
135
135
136 Markdown _ ->
136 Markdown _ ->
137− return $ tipe === Env.get env Env.types "Element"
137+ return ("Graphics.Element.markdown" <? tipe)
138
138
139 Let defs body ->
139 Let defs body ->
140 do c <- case body of
140 do c <- case body of
libraries/Graphics/Element.elm+3
@@ -114,6 +114,9 @@ tiledImage : Int -> Int -> String -> Element
114tiledImage w h src =
114tiledImage w h src =
115 newElement w h (Image Tiled w h (fromString src))
115 newElement w h (Image Tiled w h (fromString src))
116
116
117+markdown : Element
118+markdown = Native.Utils.undefined
119+
117data Three = P | Z | N
120data Three = P | Z | N
118data Pos = Absolute Int | Relative Float
121data Pos = Absolute Int | Relative Float
119type Position = { horizontal : Three, vertical : Three, x : Pos, y : Pos }
122type Position = { horizontal : Three, vertical : Three, x : Pos, y : Pos }