git.iko.soy/Idris-dev
on cd4e91d help sign in
cd4e91dMerge pull request #2461 from melted/issue_1134Niklas Larsson 585627bFix #1134 by saving same info in ibc on checkNiklas Larsson 4cd8854Merge pull request #2459 from melted/fix_dynamicNiklas Larsson f48665eFix :dynamic with a lib argNiklas Larsson 5a2f9feMerge pull request #2458 from melted/fix_tot007Niklas Larsson ad34ca5Merge pull request #2457 from melted/utf8Niklas Larsson 5feb424Fix expected result of totality007 on windowsNiklas Larsson 8809bf2Ensure that the backend output is UTF8Niklas Larsson cf4489eMerge pull request #2455 from melted/ffi_wrapNiklas Larsson 91a8cc4Merge pull request #2451 from cantora/imports-in-interp-exampleDavid Christiansen f605128Merge pull request #2454 from melted/ffi_staticNiklas Larsson 455f147Merge pull request #2453 from melted/issue_2043Niklas Larsson 275e95cFix callstack use in ffiWrap.Niklas Larsson 88e9228Abort compilation if compiling non-statically known ffi callsNiklas Larsson 57a4ed3Revert "Fix function wrapping bug in JavaScript RTS"Niklas Larsson 7a2dc7bMerge pull request #2450 from david-christiansen/parser-hl-declsDavid Christiansen f236bffmake light of `Data.Vect` and `Data.Fin` imports in the interp exampleanthony cantor 4297500Highlight all keywords with the parserDavid Raymond Christiansen 00cffbdMerge pull request #2449 from david-christiansen/parser-highlightsDavid Christiansen c9c3bfaSemantic highlighting of implicit fromIntegerDavid Raymond Christiansen 062b069Merge pull request #2447 from cantora/imports-in-interp-exampleJan de Muijnck-Hughes 8518aa3need to import Data.Vect and Data.Fin for interp.idr to compileanthony cantor ca623ceMerge pull request #2444 from Melvar/add-divmodDavid Christiansen 212587bRemove 'score' and guesswork from error messagesEdwin Brady e1c79efBetter error when no alternative is validEdwin Brady 452b3c6Merge pull request #2445 from david-christiansen/parser-highlightsDavid Christiansen bc2915cMerge remote-tracking branch 'upstream/master' into parser-highlightsDavid Raymond Christiansen 5da0d60Faster processing of alternativesEdwin Brady bcfced2Add inductive divMod to contrib, move the wellfounded oneMelvar Chen a54852bHighlighting for pairs, lists and sigmasDavid Raymond Christiansen 8b252bdMerge pull request #2442 from david-christiansen/parser-highlightsDavid Christiansen 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen 8addb63Add missing NFData case for TryImplicitEdwin Brady 0dd2f06Restrict (and speed up) implicit coercionsEdwin Brady 3166b15DecEq instances for Ptr/ManagedPtrEdwin Brady 9ba7407Add parser highlights to CHANGELOGDavid Raymond Christiansen e04ba85Highlight names in directivesDavid Raymond Christiansen d4f9debHighlight keywords in expressionsDavid Raymond Christiansen 7a67320Merge pull request #2441 from paulkoerbitz/1163-Replace-outdated-IBC-filesNiklas Larsson d5bde22Check if existing IBC file has old version in Chaser.hsPaul Koerbitz 8eb81e4Add and export new function 'hasValidIBCVersion' to IBC.hsPaul Koerbitz 4fae6d4Fix compiler warning on pointer equality testEdwin Brady da0114dMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 042c6a5Merge pull request #2437 from bkoropoff/fix-missing-caseDavid Christiansen 6517a95Add primitive for equality on PtrEdwin Brady 01c911eFix missing case in `casetac`Brian Koropoff c720cf9Merge pull request #2436 from melted/make_fastNiklas Larsson 8cecf20Merge pull request #2435 from melted/more_exportsNiklas Larsson 227e98aAdd a make target to build an Idris without optimizationNiklas Larsson 5fb7ff3Add export list to TTNiklas Larsson