Commits · master · basst / ruby-dhallish · GitLab

Snippets Groups Projects

Mar 11, 2019
- docs.md changes made friday morning · e6b86dee
  Lou Knauer authored 6 years ago
  
  e6b86dee
Mar 10, 2019
- adapt basedir if dhallish is called with a filename · 18da7bcd
  Philipp Panzer authored 6 years ago
  
  18da7bcd
- Use unique objects as a represantation for type-variables. This solves the... · c773c3a2
  Philipp Panzer authored 6 years ago
  c773c3a2
Mar 07, 2019
- Prelude does work, union merge done · 1d95c805
  Lou Knauer authored 6 years ago
  
  1d95c805
- fold is now sematically implemented like in the haskell version, untested union merge · 840443c2
  Lou Knauer authored 6 years ago
  
  840443c2
Mar 06, 2019
- Merge branch 'master' of gitlab.cs.fau.de:basst/ruby-dhallish · e17c5fe5
  Philipp Panzer authored 6 years ago
  
  e17c5fe5
- fix minor bugs in dhallish.rb · 5d63bb4c
  Philipp Panzer authored 6 years ago
  
  5d63bb4c
- README.md, renamend stuff in lib/stdlib.rb, bug in concatMap was circumvented by that · ed4bb9ee
  Lou Knauer authored 6 years ago
  
  ed4bb9ee
- Merge branch 'master' of gitlab.cs.fau.de:basst/ruby-dhallish · 7a781285
  Lou Knauer authored 6 years ago
  
  7a781285
- new Dhallish::evaluate and Dhallish::empty_context, removed Dhallish-class,... · f2b5d807
  Lou Knauer authored 6 years ago
  f2b5d807
- add resolve_map function to utils.rb · e9a8240a
  Philipp Panzer authored 6 years ago
  
  e9a8240a
- add quoted labels · db2675a0
  Philipp Panzer authored 6 years ago
  
  db2675a0
- Merge branch 'master' of gitlab.cs.fau.de:basst/ruby-dhallish · 60003f4f
  Lou Knauer authored 6 years ago
  
  60003f4f
- fix in gemspec, parser is only built when necessary · 1560be3b
  Lou Knauer authored 6 years ago
  
  1560be3b
Mar 05, 2019
- add testcase for unions and a builtin type for union values · 221070e7
  Philipp Panzer authored 6 years ago
  
  221070e7
- Merge branch 'master' of gitlab.cs.fau.de:basst/ruby-dhallish · 7c478806
  Philipp Panzer authored 6 years ago
  
  7c478806
- add selectors for union unfolding and instanciation · 6c4823e0
  Philipp Panzer authored 6 years ago
  
  6c4823e0
- symlink-resolving bin/dhallish unification for let in annot · 4b0fe3d9
  Lou Knauer authored 6 years ago
  
  4b0fe3d9
- done implementing bultin functions · 56dc3437
  Lou Knauer authored 6 years ago
  
  56dc3437
- Natural/build and --pretty + --type flags · c39c7db3
  Lou Knauer authored 6 years ago
  
  c39c7db3
- Merge branch 'master' of gitlab.cs.fau.de:basst/ruby-dhallish · c97ed9ba
  Philipp Panzer authored 6 years ago
  
  c97ed9ba
- add unions · e1bef6ce
  Philipp Panzer authored 6 years ago
  
  e1bef6ce
- new ??? node for returning contexts · ee7c860c
  Lou Knauer authored 6 years ago
  
  ee7c860c
- Merge branch 'master' of gitlab.cs.fau.de:basst/ruby-dhallish · c82ee3ca
  Lou Knauer authored 6 years ago
  
  c82ee3ca
- fix more stuff in textsuite · 49dccfb8
  Philipp Panzer authored 6 years ago
  
  49dccfb8
- mergeRecords interface changed to no value class · a00c3092
  Lou Knauer authored 6 years ago
  
  a00c3092
- fix some stuff in the test suite for compatibility with new interface · 21895f33
  Philipp Panzer authored 6 years ago
  
  21895f33
- changed ast and grammar to new interface; broken commit · 38649b40
  Philipp Panzer authored 6 years ago
  
  38649b40
- removed Value class and adapted stdlib · d5ff7d89
  Lou Knauer authored 6 years ago
  
  d5ff7d89
- only resolve argtype of a function if the function does not introduce a new type variable · 8c771da5
  Philipp Panzer authored 6 years ago
  
  8c771da5
- Merge branch 'master' of gitlab.cs.fau.de:basst/ruby-dhallish · e2999bfc
  Philipp Panzer authored 6 years ago
  
  e2999bfc
- fix LetInNode · 3f95e647
  Philipp Panzer authored 6 years ago
  
  3f95e647
- do not resolve bound type variables · a7ea302f
  Lou Knauer authored 6 years ago
  
  a7ea302f
- adapt stdlib to new interface · 611316c8
  Philipp Panzer authored 6 years ago
  
  611316c8
Mar 04, 2019
- fix bug in unification · ba2b1a4c
  Philipp Panzer authored 6 years ago
  
  ba2b1a4c
- add compute_type function for function type ast nodes · 8f43e97c
  Philipp Panzer authored 6 years ago
  
  8f43e97c
- unificator-function for types · 99390683
  Lou Knauer authored 6 years ago
  
  99390683
- unificator-function for types · be51ed96
  Lou Knauer authored 6 years ago
  
  be51ed96
- function call compute_type · 54d86cc2
  Lou Knauer authored 6 years ago
  
  54d86cc2
- Merge branch 'master' of gitlab.cs.fau.de:basst/ruby-dhallish · 5a876408
  Lou Knauer authored 6 years ago
  
  5a876408