e942432Merge pull request #314 from hannesm/use-iputstrln-not-printEdwin Brady13 years ago 425c97achanged defaultOpts to use field names for assignmentjoe913 years ago d6d5634be more precise when to emit a warning (still a workaround - fix involves to not parse the string)Hannes Mehnert13 years ago b51bbe2use 'iputStrLn $ show' instead of 'print' to work nicely with ideslaveHannes Mehnert13 years ago be28b7fMerge pull request #313 from hannesm/cleanupsEdwin Brady13 years ago e24baaadocument ideslave optionHannes Mehnert13 years ago 9505a71cleanups, rename List to SexpList to disambiguateHannes Mehnert13 years ago b7a1059Fixed and extended C backend integer operationsBenjamin Saunders13 years ago 1ce70ccFix primitive references in test025Benjamin Saunders13 years ago f608369Merge pull request #312 from hannesm/ideslaveEdwin Brady13 years ago 99a8a66Check that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.Edwin Brady13 years ago ea11519Comment out most of Data.Bits and Data.Mod2 Since they rely on a bug in the unifier!Edwin Brady13 years ago 674c8b8IdeSlave mode improvements: - introduce iResult and iFail to report success and failure of a REPLcommand - send warnings for occuring warnings during parsing / typechecking - introduce ideslaveProcess function, which guards process with iResult/iFail (and does not support all operations) - revert commit which removed IState from ideslaveStart/ideslave functionsHannes Mehnert13 years ago 2253212send prompt over the wire - also minor refactoringHannes Mehnert13 years ago c96561bdon't use a field in IOption and a field in IState, only one of themHannes Mehnert13 years ago d2e1c8cfix parsing of escaped quotes inside of stringsHannes Mehnert14 years ago 4118b79implement outputmode in IState, which either prints it raw or sexpressions (for ideslave support)Hannes Mehnert14 years ago 3b00d8duse iputStrLn here as wellHannes Mehnert14 years ago 6d01828put ideslave_counter into IStateHannes Mehnert14 years ago 4343d42Fix marshalling of String/Symbol (broke completion)Hannes Mehnert14 years ago eb6021bload-file supportHannes Mehnert14 years ago 0abbd53rename abort -> error, emacs-rex -> idrisHannes Mehnert14 years ago 52f5e73completions for REPLHannes Mehnert14 years ago 79b8732output should be (output result)Hannes Mehnert14 years ago a3c8020make this a bit more useful, and use same protocol as emacs side :)Hannes Mehnert14 years ago b7710bccatch errors during receive and report themHannes Mehnert14 years ago 1b65f6ause process in ideslave loopHannes Mehnert14 years ago c458007minor cleanupsHannes Mehnert14 years ago e0783efinitial ideslaveHannes Mehnert14 years ago 56bd9a1Look through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #183Edwin Brady13 years ago 3149de0Coinductive types do not get smaller! Fix size change graph builder.Edwin Brady13 years ago 0a4f002Productivity check fix Guardedness check didn't actually check it was under a constructor!Edwin Brady13 years ago 4ed62ccFix missing files in idris.cabalEdwin Brady13 years ago 700759fCache missing cases found by totality checker, for display Now :missing works correctly (fixes issue #210) Also, remove a large chunk of unused code in coverage checker.Edwin Brady13 years ago ca9d435Install in .travis.ymlEdwin Brady13 years ago c3b58d6Use make test in .travis.ymlEdwin Brady13 years ago bc38aaeMerge pull request #310 from hannesm/use-compiled-idris-instead-of-installedEdwin Brady13 years ago ee3da18Build in .travis.ymlEdwin Brady13 years ago faad05cInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use thisHannes Mehnert13 years ago fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders13 years ago 5e0a907adapted expected output of test021 to honor moduloJan Bessai13 years ago abe5605Repaired java and c backends to work with improved integer primitivesJan Bessai13 years ago c05479eRemoved unreliable machine ints from Random effectJan Bessai13 years ago a9c55deAdded natural number exponentialsJan Bessai13 years ago e534f8aFix detection of FInt types in executorDavid Christiansen14 years ago 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen14 years ago 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady14 years ago 977c987Merge pull request #302 from raichoo/vimEdwin Brady14 years ago ef1bbd9Merge pull request #300 from david-christiansen/providersEdwin Brady14 years ago 8f03153Merge pull request #299 from david-christiansen/sqliteEdwin Brady14 years ago