5b49500 · elk · git.iko.soy

More type hints.

commit5b4950006fe6f353bfbd232a687f43d1682dd440 authorevancz <info@elm-lang.org> dateSun 20 May 2012, 01:10 (14 years ago) parent68a5636

2 files changed+3−4

unifiedsplit

src/Types/Hints.hs+2−3

@@ -11,7 +11,7 @@ import Guid

1111

1212str2elem = hasType (string ==> element) [ "image","video","plainText" ]

1313

14−textToText = ["header", "italic", "bold", "underline"

14+textToText = [ "header", "italic", "bold", "underline"

1515 , "overline", "strikeThrough", "monospace" ]

1616

1717textAttrs = [ "toText" -: string ==> text

@@ -102,5 +102,4 @@ lists = liftM (map (first ("List."++)) . (++ints)) . sequence $

102102

103103hints = do

104104 fs <- funcs ; ls <- lists

105− return $ fs ++ ls ++ math ++ bool

106− {--++ str2elem ++ textAttrs ++ elements--}

105+ return $ fs ++ ls ++ math ++ bool ++ str2elem ++ textAttrs ++ elements

src/Types/Types.hs+1−1

@@ -19,7 +19,7 @@ data Scheme = Forall (Set.Set X) Type deriving (Eq, Ord, Show)

1919

2020element = ADT "Element" []

2121direction = ADT "Direction" []

22−text = ADT "Text" []

22+text = ADT "List" [ADT "text" []]

2323listOf t = ADT "List" [t]

2424tupleOf ts = ADT ("Tuple" ++ show (length ts)) ts

2525string = listOf CharT