git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/IRTS/Lang.hs
all commits
d4bd8e6Clean up unused imports (#4065)Jason Felice 63944aaSimplify LV/DV constructor be removing unused caseThomas Scholtes 5d7388bMove extensions into source filesEdwin Brady 3f2e1afmoved data and typeable deriving of LAlt' to its definitionRui Barreiro 4a5c677Add 'idris_crash'Edwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 96e583cFix compilation of Delay patternEdwin Brady 9baa5ceUse GHC generics for NFData instancesEcho Nolan 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes de35d66Comments to Lang.hs to disambiguate the LIR.Apostolis Xekoukoulotakis 4a0be9cUsing show to create the lambda name loses informationNiklas Larsson 83421efAdd CData to Idris.Matus Tejiscak 066e890Substring as primitiveDavid Raymond Christiansen 402080dDecorate lambda lifted namesEdwin Brady 9d7c50aOverdid the external primitivesEdwin Brady fc02362Support externally defined primitivesEdwin Brady 8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady 5ae43bbSupport IO in foreign exportsEdwin Brady 4313defPass export lists to CodegenInfoEdwin Brady f7648dbForeign export lists in IOEdwin Brady eed5b88Fix lambda lifting bug with uniquenessEdwin Brady 1950393Use FDesc for foreign targetEdwin Brady 39e4eb0IO primitives tweak to support JSEdwin Brady 9150698Primitive type for world stateEdwin Brady d5377beNew language-dependent FFIEdwin Brady af2fb53Rename float negation primitive for more uniformityMarkus Pfeiffer 0ca4a55Add support for the primitive prim__negFloat : Float -> FloatMarkus Pfeiffer ce26633Don't keep allocating nullary constructorsEdwin Brady 8353de5Find updatable constructors after destructive caseEdwin Brady a1fb7a3Inline with blocksEdwin Brady 5695e4cDo some inlining in Lang IREdwin Brady e5d1956Propagate constructor updates to bytecodeEdwin Brady cdbfec9Propagate CaseType through IRsEdwin Brady cc9b104Add a prim__systemInfo primitive.niklas 4bc8589Improve --dumpcases.Matus Tejiscak 0d1d746Use dots to join pretty-printed LCases.Matus Tejiscak ba81129Even prettier printing of LExps.Matus Tejiscak 5a8e4f4Improve indentation of LExp.Matus Tejiscak acd4c7eImprove the Show instance for LCase.Matus Tejiscak bc79ee8Unified printing of special LTerms.Matus Tejiscak b5c7a14Improve printing of foreign calls.Matus Tejiscak d4ffc21Add ManagedPtr typeEdwin Brady 6efa70dMove buffer offset handling into idris codeShea Levy a47adaaRemove redundant enName functionShea Levy a2332b0Endianness is redundant for Bits8Shea Levy d6418d7Rename functions implying Buffers have endiannessShea Levy f0fe3ffAdd C codegen implementation of buffer primitivesShea Levy 149e816Add Buffer type and primitives to the coreShea Levy 46e894dUse Data.Text for variable namesEdwin Brady