git.iko.soy/elk
on master help sign in
Drop higher kinded polymorphism (hkp) for now
a1a6255Evan Czaplicki
changelog.md−1
compare with master
unifiedsplit
@@ -8,7 +8,6 @@
8 * Add Keyboard.alt and Keyboard.meta
8 * Add Keyboard.alt and Keyboard.meta
9 * Add Debug.crash
9 * Add Debug.crash
10 * Add --bundle-runtime flag which creates stand-alone Elm programs
10 * Add --bundle-runtime flag which creates stand-alone Elm programs
11− * Higher kinded polymorphism (a.k.a. higher-order types)
12 * Many bug fixes for imports and exports
11 * Many bug fixes for imports and exports
13 * Better architecture for compiler. Uses types to make compilation pipeline
12 * Better architecture for compiler. Uses types to make compilation pipeline
14 safer, setting things up for giving programmatic access to the AST to
13 safer, setting things up for giving programmatic access to the AST to
compiler/Parse/Type.hs+1−1
@@ -54,7 +54,7 @@ term = list <|> tuple <|> record <|> tvar <|> constructor0
54
54
55app :: IParser T.RawType
55app :: IParser T.RawType
56app =
56app =
57− do f <- constructor0 <|> tvar <|> try tupleCtor <?> "type constructor"
57+ do f <- constructor0 <|> try tupleCtor <?> "type constructor"
58 args <- spacePrefix term
58 args <- spacePrefix term
59 return $ case args of
59 return $ case args of
60 [] -> f
60 [] -> f