868e71e · elk · git.iko.soy

git.iko.soy/elk

Add JSObject to the FFI parser.

commit868e71e58b189dc1b15318ebc9acae87c7f188de authorevancz <info@elm-lang.org> dateWed 22 May 2013, 15:59 (13 years ago) parent582a4c5

3 files changed+20−18

compare with master

unifiedsplit

Elm.cabal+1−1 compiler/Parse/Foreign.hs+3−4 compiler/Parse/Types.hs+16−13

Elm.cabal+1−1

@@ -1,5 +1,5 @@

11Name: Elm

2−Version: 0.8

2+Version: 0.8.0.1

33Synopsis: The Elm language module.

44Description: Elm aims to make client-side web-development more pleasant.

55 It is a statically/strongly typed, functional reactive

compiler/Parse/Foreign.hs+3−4

@@ -11,12 +11,11 @@ import Parse.Expr (term)

1111import Parse.Types

1212import Types.Types (signalOf)

1313

14−

1514foreignDef = do try (reserved "foreign") ; whitespace

16− importEvent <|> exportEvent

15+ try importEvent <|> exportEvent

1716

1817exportEvent = do

19− try (reserved "export" >> whitespace >> reserved "jsevent" >> whitespace)

18+ reserved "export" >> whitespace >> reserved "jsevent" >> whitespace

2019 js <- jsVar ; whitespace

2120 elm <- lowVar ; whitespace

2221 hasType ; whitespace

@@ -27,7 +26,7 @@ exportEvent = do

2726 _ -> fail "When exporting events, the exported value must be a Signal."

2827

2928importEvent = do

30− try (reserved "import" >> whitespace >> reserved "jsevent" >> whitespace)

29+ reserved "import" >> whitespace >> reserved "jsevent" >> whitespace

3130 js <- jsVar ; whitespace

3231 base <- term <?> "Base case for imported signal (signals cannot be undefined)"

3332 whitespace

compiler/Parse/Types.hs+16−13

@@ -5,7 +5,7 @@ import Control.Applicative ((<$>),(<*>))

55import Control.Monad (liftM,mapM)

66import Data.Char (isUpper,isLower)

77import Data.Maybe (fromMaybe)

8−import Data.List (lookup)

8+import Data.List (lookup,intercalate)

99import Text.Parsec

1010import Text.Parsec.Indent

1111

@@ -18,6 +18,7 @@ data ParseType = VarPT String

1818 | LambdaPT ParseType ParseType

1919 | ADTPT String [ParseType]

2020 | RecordPT (Maybe ParseType) [(String,ParseType)]

21+ deriving (Show)

2122

2223listPT t = ADTPT "List" [t]

2324tuplePT ts = ADTPT ("Tuple" ++ show (length ts)) ts

@@ -150,18 +151,20 @@ toDatatype name args tcs = Datatype name [1..n] <$> mapM toC tcs

150151toForeignType (LambdaPT t1 t2) =

151152 fail $ "Elm's JavaScript event interface does not yet handle functions. " ++

152153 "Only simple values can be imported and exported in this release."

153− --LambdaT <$> toForeignType t1 <*> toForeignType t2

154−toForeignType (ADTPT name args)

155− | isJsStructure name = ADT name <$> mapM toForeignType args

156− | otherwise =

157− Left $ "'" ++ name ++ "' is not an exportable type " ++

158− "constructor. Only 'JSArray' and 'JSTupleN' are exportable."

154+

155+toForeignType (ADTPT "JSArray" args) =

156+ ADT "JSArray" <$> mapM toForeignType args

157+

158+toForeignType (ADTPT name _) =

159+ Left $ "'" ++ name ++ "' is not an exportable type " ++

160+ "constructor. Only 'JSArray' is exportable."

159161

160162toForeignType (VarPT x@(c:_))

163+ | x `elem` jsTypes = Right (ADT x [])

161164 | isLower c =

162− Left "All exported types must be concrete types (JSNumber, JSString, etc.)"

163− | x `elem` ["JSString","JSNumber","JSElement","JSBool"] = Right (ADT x [])

164− | otherwise = Left $ "'" ++ x ++ "' is not an exportable type. Only JSTypes are exportable."

165−

166−isJsStructure name = name == "JSArray" || isTuple

167− where isTuple = "JSTuple" == take 7 name && drop 7 name `elem` map show [2..5]

165+ Left $ "All exported types must be concrete types." ++ msg

166+ | otherwise =

167+ Left $ "'" ++ x ++ "' is not an exportable type." ++ msg

168+ where

169+ msg = " The following types are exportable: " ++ intercalate ", " jsTypes

170+ jsTypes = ["JSString","JSNumber","JSElement","JSBool","JSObject"]