Skip to content
Commits on Nov 20, 2013
  1. Moved libraries around, removed 'effects' flag

    committed Nov 20, 2013
    In preparation for reorganising the prelude
  2. Remove Prelude/Complex.idr from base.ipkg

    Markus Pfeiffer committed Nov 20, 2013
  3. Add lib/Data/Floats.idr

    Markus Pfeiffer committed Nov 20, 2013
  4. Move floating point operations out of Prelude

    Markus Pfeiffer committed Nov 20, 2013
Commits on Nov 19, 2013
  1. @david-christiansen

    Add forgotten module

    david-christiansen committed Nov 19, 2013
  2. @david-christiansen
  3. @david-christiansen
Commits on Nov 14, 2013
  1. @Melvar
  2. Merge pull request #615 from Ralith/args-cleanup

    committed Nov 14, 2013
    Argument access cleanup
  3. @Ralith

    Store arguments in a global rather than the VM struct so as to reduce…

    Ralith committed Nov 13, 2013
    … dependence of lib on RTS impl details
Commits on Nov 13, 2013
  1. @Melvar
Commits on Nov 6, 2013
  1. @jfdm
Commits on Nov 5, 2013
  1. Null pointer primitive

    Edward Amsden committed Nov 5, 2013
Commits on Nov 1, 2013
  1. @folone

    Whitespace cleanup.

    folone committed Nov 1, 2013
  2. Merge pull request #571 from folone/topic/writer

    committed Nov 1, 2013
    RWST
Commits on Oct 31, 2013
  1. @folone

    Add RWST.

    folone committed Oct 31, 2013
  2. @folone
  3. @folone

    Add ReaderT.

    folone committed Oct 31, 2013
  4. @folone

    Add WriterT.

    folone committed Oct 30, 2013
Commits on Oct 30, 2013
  1. @folone
Commits on Oct 14, 2013
  1. @reynir
  2. @reynir

    Remove unneeded lemma

    reynir committed Oct 14, 2013
  3. @reynir
  4. Merge branch 'show-bits-in-language' of https://github.com/reynir/Idr…

    committed Oct 14, 2013
    …is-dev into reynir-show-bits-in-language
Commits on Oct 12, 2013
  1. @reynir

    Fix imports and make hexVect local

    reynir committed Oct 12, 2013
    It *should* compile now
  2. @reynir

    Make it compile, and use a List instead of a Vect

    reynir committed Oct 12, 2013
    - It was necessary to add the new file lib/Prelude/Bits.idr to
      lib/base.ipkg.
    
    - In lib/Prelude/Chars.idr, use a List instead of a Vect - no need to
      know the size.
  3. @reynir

    In-language implementation of Show BitsN

    reynir committed Oct 12, 2013
    They are printed as unsigned hexadecimal integers. There's no `0x`
    prefix.
Commits on Oct 9, 2013
  1. @reynir

    Add Show () instance

    reynir committed Oct 9, 2013
Commits on Oct 1, 2013
  1. Merge pull request #504 from david-christiansen/with-parser

    committed Oct 1, 2013
    Make parens mandatory after with - vastly improving the error message
Commits on Sep 29, 2013
  1. @david-christiansen

    Make the parentheses around a with-rule scrutinee mandatory

    david-christiansen committed Sep 28, 2013
    Right now, parentheses are required around any non-atomic expressions that are
    the scrutinee of a with-rule. In practice, this means that almost all
    expressions require parentheses, as with is typically used to introduce more
    information that was not available in the outer pattern match.
    
    In the standard library, the only place where with rules occur without
    parentheses is in Data.Bits.
    
    Making the parentheses mandatory vastly improves parser errors in case they
    are forgotten, RE #166 .
    
    Sample of current message:
    ./WithRule.idr:4:14: error: expected: "{",
        function declaration
    foo x with x == 0
                 ^
    
    Sample of message with this patch:
    ./WithRule.idr:4:12: error: expected: "("
    foo x with x == 0
               ^
Commits on Sep 27, 2013
  1. @david-christiansen

    Merge remote-tracking branch 'upstream/master' into error-reflection

    david-christiansen committed Sep 27, 2013
    Conflicts:
    	src/Idris/Parser.hs
  2. @david-christiansen
  3. @david-christiansen
Commits on Sep 24, 2013
  1. Refactored the build inside Setup.hs and the various Makefiles.

    Gabe McArthur committed Sep 23, 2013
    * Refactored the Setup.hs script into a much simpler layout.
    * Simplified the idris.cabal file, alphabetizing the modules,
      build dependencies, simplifying the indentation, standardizing the
      flags, and normalizing the formatting of lists.
    * Fixed a bug in the generation of the executable_pom.xml file for
      the Java backend.
Commits on Sep 22, 2013
  1. Adding several functions to interact with environment variables.

    Gabe McArthur committed Sep 21, 2013
    In addition to removing the superfluous 'isNullString' function,
    now that I understand the FFI a bit better, there is a new
    'getEnvPair' function that looks into the 'const char** environ'.
    Setting, unsetting, and listing all of the environment variables is
    now supported.
Something went wrong with that request. Please try again.