]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Minor updates to Document/All.scl and Prelude.scl 07/1607/4
authorMiro Richard Eklund <miro.eklund@semantum.fi>
Tue, 20 Mar 2018 14:55:48 +0000 (16:55 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Tue, 20 Mar 2018 15:31:32 +0000 (17:31 +0200)
"show" is able to type cast a ByteArray without the additional
specification in Prelude.scl. Show is unable to be used on ByteArrays if
Prelude.scl contains an implementation for it, as "show" cannot
determine which implementation to use: the general, or the ByteArray
specific. Thus, ByteArray has been removed from Prelude.

getTuples returns a list of tuples that can be of any format: they do
not necessarily have to all be the same. As a result, [a] specification
doesn't correctly reflect the data that can be fetched with getTuples,
but [Dynamic] does.

refs #7830
refs #7831

Change-Id: Ib9912e9479838df2c8d32c621936e8fdecef2d7b

bundles/org.simantics.document.server/scl/Document/All.scl
bundles/org.simantics.scl.runtime/scl/Prelude.scl

index 641f4fdc158f1e6e5546f1d6f6dbd601da3b6538..4db639f5bf2696a389669d527bae19b035978064 100644 (file)
@@ -102,7 +102,7 @@ importJava "org.simantics.document.server.Functions" where
     putTuple :: CommandContextMutable -> String -> a -> CommandContextMutable
 
     @JavaName getTuples
-    getTuples :: CommandContext -> String -> [a]
+    getTuples :: CommandContext -> String -> [Dynamic]
 
     printContext :: CommandContext -> String
 
index 2be6ed745e7a9edf90c5519d99291763c007b33c..d5d2788285d45a30c815a303be8937dd5f60ad68 100644 (file)
@@ -2288,16 +2288,6 @@ instance Show TypeRep where
         isSpecialType (TApply a _) = isSpecialType a
 */
 
-// ByteArray
-
-importJava "java.util.Arrays" where
-    @private
-    @JavaName toString
-    byteArrayToString :: ByteArray -> String
-
-instance Show ByteArray where
-    show = byteArrayToString
-
 // Type
 
 @private