Make it possible to debug SCL compiler in production builds gitlab #465 Change-Id: Ie032c198f9e9aa9d21a41c0b223c6534a2b070f5
Automatic deriving of instances for Json Example: data GeographicalLocation = GeographicalLocation { latitude :: Double, longitude :: Maybe Double } deriving instance Json GeographicalLocation testIt :: <Proc> () testIt = do print $ toJsonString GeographicalLocation { latitude = 1, longitude = Just 2 } print (fromJsonString "{ \"latitude\": 1, \"longitude\": 2 }" :: GeographicalLocation) print $ toJsonString GeographicalLocation { latitude = 1, longitude = Nothing } print (fromJsonString "{ \"latitude\": 1 }" :: GeographicalLocation) #256 Change-Id: I7f44b65472436779045e4d15871858d14132dff9
OpenJ9 compatibility for SCL compiler's naming of ontology modules The problem was these errors coming from ClassLoader.defineClassImpl when the generated class name contained two '/' characters in a row: java.lang.ClassFormatError: JVMCFRE068 class name is invalid; class=scl/http_58_//Projects/Development_37_20Project/Model/SCLMain, offset=0 More escaping was added to fix this. gitlab #159 Change-Id: I01f8b17b1230cbf06051848b23c805e8d2d61c96
New solver for SCL effects inequalities In particularly, solving of cyclic inequalities. Change-Id: I5d5734e9f029bf694221db2d7fc994d16d8d607a
New SCL syntax <<effects>> Change-Id: Iec61620d424e583b854a743ccc4ac37dc8e8f56f
SCL compiler generates line numbers to bytecode refs #6922 Change-Id: I2219d6dc74ae815cdea7d3f6daf3a736be5f1781
(refs #7771) Fixed invalid inline Change-Id: I7b28d6915e792bc9fe858c701d1138f9082dcea3
Fixed leftover problems in unification of *Array and Vector types The fix was to remove the leftover `Show DoubleArray` instance from Prelude. ConstraintEnvironment.reduce now produces better error output in cases where reduction cannot be completed due to multiple remaining matches. refs #7734 Change-Id: Id970c1090f5bf951c94e99e645664e86b1adb42d
Replace System.err and System.out with SLF4J Logging refs #7719 Change-Id: Iae42f94b542b17bc2e1aa839f506a6e1a46928ae
New SCL completion implementation refs #7638 Change-Id: I57d2ddc1628ff8da2421c4eda41ce5b83187543e
(refs #7601) Wildcard syntax for SCL records Change-Id: Ia044ce4598d0897bbd7416527707b49211aba9e3
(refs #7588) Support for existential type variables with syntax ?v Change-Id: I418a9d260c02c7082e7a7359b90659ea2c3a96d4
(refs #7567) Added throw function to builtins Change-Id: I273e5c85b4a842e0ce4dc1603800742f9fbb6ea5
(refs #7508) Edo and modified mdo under edo feature Change-Id: I37c9a0e09ef436f29a5fcd92d7f10f14671059c0
New type class MonadE and corresponding monad syntax with edo keyword Utilizing edo in GShow, also possibleCurrentModel in DB. refs #7508 Change-Id: I9d1fd551ef61dc7f81f74203bf83017b40dc9664