54e4e41Merge pull request #2468 from benjamin-hodgson/patch-1Niklas Larsson11 years ago 740d82dDisplay normalised types on :t for expressionsEdwin Brady11 years ago bf52728Normalise local variable types in metavariablesEdwin Brady11 years ago 37845e4Fix Multiplicative/Additive docsBenjamin Hodgson11 years ago 6b062beMerge pull request #2466 from melted/doc_opNiklas Larsson11 years ago fc4b908List unavailable operatorsNiklas Larsson11 years ago dda41afMerge pull request #2463 from melted/cgoptionsNiklas Larsson11 years ago a24c7d4Finish WHNF for operatorsEdwin Brady11 years ago 89566a8Finish WHNF implementation for case treesEdwin Brady11 years ago 64df5f6Added WHNF moduleEdwin Brady11 years ago 570a452Reword disambiguation error messageEdwin Brady11 years ago f5bff01Pass parameters to codegens with new cmdoption --cg-optNiklas Larsson11 years ago 60f85efMerge pull request #2462 from melted/helpNiklas Larsson11 years ago 632ff47Update codegen option help textNiklas Larsson11 years ago cd4e91dMerge pull request #2461 from melted/issue_1134Niklas Larsson11 years ago 585627bFix #1134 by saving same info in ibc on checkNiklas Larsson11 years ago 4cd8854Merge pull request #2459 from melted/fix_dynamicNiklas Larsson11 years ago f48665eFix :dynamic with a lib argNiklas Larsson11 years ago 5a2f9feMerge pull request #2458 from melted/fix_tot007Niklas Larsson11 years ago ad34ca5Merge pull request #2457 from melted/utf8Niklas Larsson11 years ago 5feb424Fix expected result of totality007 on windowsNiklas Larsson11 years ago 8809bf2Ensure that the backend output is UTF8Niklas Larsson11 years ago cf4489eMerge pull request #2455 from melted/ffi_wrapNiklas Larsson11 years ago 91a8cc4Merge pull request #2451 from cantora/imports-in-interp-exampleDavid Christiansen11 years ago f605128Merge pull request #2454 from melted/ffi_staticNiklas Larsson11 years ago 455f147Merge pull request #2453 from melted/issue_2043Niklas Larsson11 years ago 275e95cFix callstack use in ffiWrap.Niklas Larsson11 years ago 88e9228Abort compilation if compiling non-statically known ffi callsNiklas Larsson11 years ago 57a4ed3Revert "Fix function wrapping bug in JavaScript RTS"Niklas Larsson11 years ago 7a2dc7bMerge pull request #2450 from david-christiansen/parser-hl-declsDavid Christiansen11 years ago f236bffmake light of `Data.Vect` and `Data.Fin` imports in the interp exampleanthony cantor11 years ago 4297500Highlight all keywords with the parserDavid Raymond Christiansen11 years ago 00cffbdMerge pull request #2449 from david-christiansen/parser-highlightsDavid Christiansen11 years ago c9c3bfaSemantic highlighting of implicit fromIntegerDavid Raymond Christiansen11 years ago 062b069Merge pull request #2447 from cantora/imports-in-interp-exampleJan de Muijnck-Hughes11 years ago 8518aa3need to import Data.Vect and Data.Fin for interp.idr to compileanthony cantor11 years ago ca623ceMerge pull request #2444 from Melvar/add-divmodDavid Christiansen11 years ago 212587bRemove 'score' and guesswork from error messagesEdwin Brady11 years ago e1c79efBetter error when no alternative is validEdwin Brady11 years ago 452b3c6Merge pull request #2445 from david-christiansen/parser-highlightsDavid Christiansen11 years ago bc2915cMerge remote-tracking branch 'upstream/master' into parser-highlightsDavid Raymond Christiansen11 years ago 5da0d60Faster processing of alternativesEdwin Brady11 years ago bcfced2Add inductive divMod to contrib, move the wellfounded oneMelvar Chen11 years ago a54852bHighlighting for pairs, lists and sigmasDavid Raymond Christiansen11 years ago 8b252bdMerge pull request #2442 from david-christiansen/parser-highlightsDavid Christiansen11 years ago 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen11 years ago 8addb63Add missing NFData case for TryImplicitEdwin Brady11 years ago 0dd2f06Restrict (and speed up) implicit coercionsEdwin Brady11 years ago 3166b15DecEq instances for Ptr/ManagedPtrEdwin Brady11 years ago 9ba7407Add parser highlights to CHANGELOGDavid Raymond Christiansen11 years ago