1. 29 Sep, 2019 1 commit
    • [Relay] Move prelude to text format (#3939) · 2dac17d8
      * Fix parser
      
      * Doc fix
      
      * Add module utility functions necessary for prelude
      
      * Implement prelude in text format
      
      * Remove programmatically constructed prelude defs
      
      * Fix 0-arity type conses in pretty printer and test
      
      * Make prelude loading backwards-compatible
      
      * Fix patterns
      
      * Improve some prelude defs
      
      * Fix `ImportFromStd`
      
      It needs to also follow the "add unchecked, add checked" pattern
      
      * Lint roller
      
      * Woops
      
      * Address feedback
      
      * Fix `test_list_constructor` VM test
      
      * Fix `test_adt.py` failures
      Logan Weber committed
  2. 06 Sep, 2019 1 commit
    • [Relay] Add ADTs to text format (#3863) · ca0292d8
      * Getting closer to having ADT defs
      
      * ADT defs working probly
      
      * Match parsing basipally done
      
      * came to earth in a silver chrome UFO
      
      * match finished?
      
      * All tests but newest are passing
      
      * ADT constructors work
      
      now cleanup?
      
      * Cleanup round 1
      
      * Cleanup round 2
      
      * Cleanup round 3
      
      * Cleanup round 4
      
      * Cleanup round 6
      
      * Cleanup round 7
      
      * Lil grammar fix
      
      * Remove ANTLR Java files
      
      * Lint roller
      
      * Lint roller
      
      * Address feedback
      
      * Test completeness in match test
      
      * Remove unused imports
      
      * Lint roller
      
      * Switch to Rust-style ADT syntax
      
      * Lil fix
      
      * Add dummy `extern type` handler
      
      * Add type arg to test
      
      * Update prelude semantic version
      
      * Repair test
      
      * Fix graph var handling in match
      
      * Revert 's/graph_equal/is_unifiable' change
      Logan Weber committed
  3. 21 Jul, 2019 1 commit
  4. 18 Jul, 2019 1 commit
  5. 09 Jul, 2019 1 commit
  6. 28 Jun, 2019 1 commit
  7. 11 Jun, 2019 1 commit
    • [Relay][Prelude] Use the Relay parser to define the Relay prelude (#3043) · c4245e3d
      * Add ability to load Prelude from disk
      
      * Port over id
      
      * Define compose
      
      * Linting errors and style changes
      
      * Eliminate unnecessary parens
      
      * Rename identType to typeIdent (makes more sense)
      
      * Another unnecessary paren
      
      * Bump the version number for the text format
      
      * Ensure .rly (Relay text files) are permitted
      
      * Correct release number and simplify grammar rule
      
      * Correct load_prelude docstring
      
      * Corrections to _parser
      
      * Add Apache headers to prelude source file
      
      * Remove test_prelude (redundant)
      
      * Correct misleading error message
      
      * Add check that parser is enabled in Prelude
      
      * Commit pre-generated parser, ensure generated files are treated as binaries, and have parser tests always fire
      
      * Permit parser files and git attributes files
      
      * Exclude gitattributes and parser files from apache check
      
      * Another attempt at appeasing Apache audit checker
      
      * Corrections to rat-excludes
      
      * Apache should be truly appeased now
      
      * Ignore Relay parser files by name
      
      * Mark parser files as generated so they don't show up on Github
      
      * Add parsing helper function for tests
      
      * Mark parser files as not detectable
      Jared Roesch committed
  8. 02 Dec, 2018 1 commit