git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/Idris/Primitives.hs
all commits
be90757Make `div` and `mod` behave consistentlyAlex Queiroz 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice fb4a909More lenient casting from string to numberBjarki Ágúst Guðmundsson e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan fdfa04cStore file with constraints + exportEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 066e890Substring as primitiveDavid Raymond Christiansen 521ef9bFix totality of chrEdwin Brady 9d7c50aOverdid the external primitivesEdwin Brady 95eee3cRemove no longer used primitives from TTEdwin Brady fc02362Support externally defined primitivesEdwin Brady 8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady 39e4eb0IO primitives tweak to support JSEdwin Brady 9150698Primitive type for world stateEdwin Brady c729d2fSupport scoped type class constraintsEdwin Brady 17fe233Add scoped implicit argument to PiEdwin Brady 85cf83fAllow building with base-4.8.0.0RyanGlScott 76ab2e2Lifted the TODOs from Primitives.hsJan de Muijnck-Hughes af2fb53Rename float negation primitive for more uniformityMarkus Pfeiffer 0ca4a55Add support for the primitive prim__negFloat : Float -> FloatMarkus Pfeiffer c55895dFix universe errors, update testsEdwin Brady 7e7368dStore kind in Pi bindersEdwin Brady cc9b104Add a prim__systemInfo primitive.niklas 5ba96c1Effect handlers should be coveringEdwin Brady 75d42a2Implement reductions for for Buffer primitives.Greg Pfeil 0bb1294Add primitive for stdout, stderrEdwin Brady d4ffc21Add ManagedPtr typeEdwin Brady 6efa70dMove buffer offset handling into idris codeShea Levy a47adaaRemove redundant enName functionShea 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 5000aebAdd a Cabal libraryBrian McKenna ffe8706Null pointer primitiveEdward Amsden 3c32b65Whitespace cleanup.George Leontiev fd9bd68Add '%reflection' option for functions A reflection function can evaluate at compile-time only, and pattern matches on *syntax* rather than on constructor forms. Also add 'prim__syntactic_eq' for a compile-time syntactic equality check.Edwin Brady b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai 6b5cb4cFix interpreter implementation of signed operations on IntegerBenjamin Saunders 1c1ad77Fix LLVM codegen integer interconversion and integer <-> character primitivesBenjamin Saunders aa42f71CleanupBenjamin Saunders f0c1e19Vector FFI and bitcastsBenjamin Saunders 773e454Make ChType a member of IntTy ITChar.Jan Bessai 702141bSIMD comparison primitivesBenjamin Saunders c949bdbAdded SIMD vector index and update primitivesBenjamin Saunders 436bf95Define some primitive SIMD operatorsBenjamin Saunders a83adf1Delete unused utility functionsBenjamin Saunders 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders