3ceeb23 | Mias van Klei | 08 August 2020, 08:15:11 UTC | Lvm.Core: fix pretty printing of annotations, export ptypeconstraints in Parser | 08 August 2020, 08:15:11 UTC |
9f73136 | Mias van Klei | 04 July 2020, 09:21:33 UTC | Lvm.Import: fix unqualifying in some cases | 04 July 2020, 09:21:33 UTC |
0c06fff | Mias van Klei | 04 July 2020, 09:20:14 UTC | Lvm.Core.Type: don't prettyprint use-friendly type variable | 04 July 2020, 09:20:14 UTC |
ced0a1d | Mias van Klei | 13 June 2020, 17:58:21 UTC | fix qualified names of private functions | 13 June 2020, 17:58:21 UTC |
f00059d | Mias van Klei | 12 June 2020, 14:29:38 UTC | IdMap: add keys and partitionWitKey function | 12 June 2020, 14:29:38 UTC |
07cb1fb | Mias van Klei | 11 June 2020, 15:22:07 UTC | Lvm.Core.Parsing: support parsing at-notation on rhs, export pmodule | 11 June 2020, 15:22:07 UTC |
77e9e4b | Mias van Klei | 11 June 2020, 15:21:36 UTC | Lvm.Core.{Module, Expr}, fix pretty printing at-notation on rhs | 11 June 2020, 15:21:36 UTC |
b6c792e | Mias van Klei | 11 June 2020, 15:20:39 UTC | Lvm.Common.IdMap: add Foldable, Traversable instance, add getMap function | 11 June 2020, 15:20:39 UTC |
92939c7 | Mias van Klei | 06 June 2020, 11:24:43 UTC | fix pretty printing of core and parsing of core, such that the core file that helium generates after stage 11 (lambda lifting) can be parsed. This is needed to be able to easily test uniqueness on simple core expressions | 06 June 2020, 11:24:43 UTC |
7600240 | Mias van Klei | 10 May 2020, 09:04:59 UTC | Support for the following syntax is added: - Parse/pretty print uniqueness annotations on the arrow - Parse/pretty print qualified types The type of a uniqueness function is now of the following form: - test :: r:t ->:q s:t, [p <= q] global functions/constants are assumed to be used shared. For the helium typecheck to deal with these extra annotations/constraints, there is a function typeRemoveAnn which removes all annotations/constraints during typecheck of Core/Iridium | 10 May 2020, 17:02:01 UTC |
293b90a | Mias van Klei | 04 May 2020, 10:26:58 UTC | Lvm.Import: revert Fix core internal class functions being imported, it breaks instances | 04 May 2020, 10:26:58 UTC |
f096b8f | Mias van Klei | 04 May 2020, 09:45:58 UTC | LVM.Core.Type/Expr: Move kind in (T)Forall to Quantor. This simplifies parsing and really states what the type of the quantor is | 04 May 2020, 09:45:58 UTC |
1ce6807 | Mias van Klei | 21 April 2020, 13:53:59 UTC | Lvm.Core.Type: add qualified type | 21 April 2020, 13:53:59 UTC |
356a323 | Mias van Klei | 09 April 2020, 16:50:47 UTC | Since Strictness and Uniquness are both annotations on types, merge the two in a new constructor TAnn. This constructor has two arguments for shared and uniquness respectively. These two additions/adjustions require new functions to remove/add annotations and adjustions of functions that first only expected Strict. | 09 April 2020, 16:50:47 UTC |
c96fc38 | Mias van Klei | 09 April 2020, 14:27:11 UTC | Lvm.Core: add support for parsing uniqueness annotations in Core | 09 April 2020, 14:27:11 UTC |
f395635 | Mias van Klei | 01 April 2020, 12:27:36 UTC | Lvm.Core.Utils, Lvm/Core/Parsing/Token.hs: change CRLF to LF | 01 April 2020, 12:27:36 UTC |
a93bd76 | Mias van Klei | 16 March 2020, 12:17:59 UTC | Lvm.Core: remove mutating | 16 March 2020, 12:17:59 UTC |
26f8353 | Mias van Klei | 04 March 2020, 12:19:00 UTC | Lvm.Core.Type: export showTypeConstant, make a seperate showType and showTypeWithQuantors functions | 04 March 2020, 12:19:00 UTC |
7a6e494 | Mias van Klei | 27 February 2020, 17:06:33 UTC | Lvm.Core.Type: derive show for Type, remove show instance for TypeConstant and make it a function, export Uniq | 27 February 2020, 17:06:33 UTC |
4698a59 | Mias van Klei | 16 February 2020, 20:06:20 UTC | Lvm.Core.Type: treat named type variables the same as unnamed variables but add the name: so 'a' becomes 'v'. This makes parsing the type in the Iridium parser a lot easier | 17 February 2020, 22:53:08 UTC |
f911cfe | Mias van Klei | 08 February 2020, 10:50:19 UTC | The followig syntax has been added: - Add extra argument to Con constructor to support l@e - Add mutating argument to DeclValue to support mutating [] - Add TUniq Constructor to Type to support Uniqueness Analysis For each of these additions, pretty printing has been added. | 17 February 2020, 22:52:54 UTC |
1fe8510 | Mias van Klei | 08 February 2020, 10:06:19 UTC | Reformat the Lvm files involved to add the new syntax. This makes the commits that actually change things cleaner: Lvm.Core.Type: reformat Lvm.Core.Type: use LF instead of CLRF line endings Lvm.Core.Module: reformat Lvm.Core.FreVar: reformat Lvm.Import: reformat Lvm.Core.Parsing.Parser: reformat | 08 February 2020, 11:00:16 UTC |
0173d58 | Mias van Klei | 06 February 2020, 17:50:38 UTC | fix compilation: Constants import from Helium is used, this is not allowed, so move relevant parts from Helium to Lvm | 06 February 2020, 17:50:38 UTC |
7a44a05 | Ivo Gabe de Wolff | 04 February 2020, 16:32:17 UTC | Fix pretty printing of 'export' and 'from' | 04 February 2020, 16:32:17 UTC |
bf36ce2 | Ivo Gabe de Wolff | 04 February 2020, 12:09:42 UTC | Hide fields for non-record data types | 04 February 2020, 12:09:42 UTC |
36cc5dd | Ivo Gabe de Wolff | 04 February 2020, 11:30:41 UTC | Remove strictness info from Field | 04 February 2020, 11:30:41 UTC |
707264c | crtschin | 21 January 2020, 01:07:27 UTC | Small cleanup, remove unused import function | 21 January 2020, 01:07:27 UTC |
51f4a86 | crtschin | 19 January 2020, 23:02:05 UTC | Fix core internal class functions being imported | 19 January 2020, 23:02:05 UTC |
59b50d0 | crtschin | 12 January 2020, 15:34:42 UTC | Exclude infix declarations | 12 January 2020, 15:34:42 UTC |
fea255f | crtschin | 05 January 2020, 17:56:37 UTC | Ignore infix and make renaming own vars optional | 05 January 2020, 17:56:37 UTC |
154b7ab | Ivo Gabe de Wolff | 28 December 2019, 23:18:10 UTC | Simplify module system of Core | 28 December 2019, 23:18:10 UTC |
81ff86f | crtschin | 20 December 2019, 21:22:48 UTC | Add records to constructors in Core | 20 December 2019, 21:22:48 UTC |
b503cdd | Ivo Gabe de Wolff | 12 November 2019, 12:57:44 UTC | Fix merge error | 12 November 2019, 12:57:44 UTC |
4c9b889 | Ivo Gabe de Wolff | 12 November 2019, 12:38:31 UTC | Merge branch 'code-cleanup' into codegen-llvm-typed | 12 November 2019, 12:38:31 UTC |
50a0365 | Ivo Gabe de Wolff | 15 May 2019, 11:36:59 UTC | Initial work on region inference | 12 November 2019, 12:38:08 UTC |
d6b85f3 | Ivo Gabe de Wolff | 23 September 2019, 13:54:04 UTC | Add a variant of mapWithSupply which chains | 23 September 2019, 13:54:04 UTC |
4ef0b16 | Mias van Klei | 23 September 2019, 09:51:42 UTC | Id.hs: dont't inline | 23 September 2019, 09:51:42 UTC |
44a13be | Ivo Gabe de Wolff | 17 September 2019, 13:24:00 UTC | Merge pull request #2 from Helium4Haskell/code-cleanup Fix compilation after introduction of LLVM backend. | 17 September 2019, 13:24:00 UTC |
b1e56c5 | Mias van Klei | 17 September 2019, 08:16:24 UTC | reformat all files, apply lints from hlint | 17 September 2019, 08:16:24 UTC |
eb08f6f | Mias van Klei | 17 September 2019, 08:14:41 UTC | merge master | 17 September 2019, 08:14:41 UTC |
2d2f696 | Mias van Klei | 09 September 2019, 10:17:51 UTC | remove unused files and fix cabal; fixes compilation | 09 September 2019, 10:17:51 UTC |
a516e95 | Hage, J. (J) | 24 August 2019, 08:00:47 UTC | Getting rid of pesky compile time warnings | 24 August 2019, 08:00:47 UTC |
2f05dda | Hage, J. (J) | 22 July 2019, 10:14:53 UTC | Bumped version number, changed some admin info. | 22 July 2019, 10:14:53 UTC |
49b67e8 | Jurriaan Hage | 22 July 2019, 08:45:49 UTC | Merge pull request #1 from RikvanToor/Helium-Imports-Exports Added Module Import/Export support and added GHC 8.4 support | 22 July 2019, 08:45:49 UTC |
37ccef0 | Rik van Toor | 01 May 2019, 15:05:41 UTC | Merge branch 'Helium-Imports-Exports' of github.com:RikvanToor/lvm into Helium-Imports-Exports | 01 May 2019, 15:05:41 UTC |
fe8da75 | Rik van Toor | 01 May 2019, 15:05:24 UTC | Added ClassDefinition custom | 01 May 2019, 15:05:24 UTC |
ce72101 | Ivo Gabe de Wolff | 20 April 2019, 18:59:32 UTC | Annotate Lam expressions with strictness | 20 April 2019, 18:59:32 UTC |
4c78ea3 | Ivo Gabe de Wolff | 04 April 2019, 10:15:03 UTC | Fixes for core types | 04 April 2019, 10:15:03 UTC |
9fda861 | Ivo Gabe de Wolff | 22 March 2019, 17:17:50 UTC | Distinguish different types of Int literals Add createFunction | 22 March 2019, 17:17:50 UTC |
6a0230f | Ivo Gabe de Wolff | 20 March 2019, 09:04:11 UTC | Remove type synonyms using customs | 20 March 2019, 09:04:11 UTC |
171501e | Ivo Gabe de Wolff | 19 March 2019, 22:56:09 UTC | Fix type synonyms in core | 19 March 2019, 22:56:09 UTC |
9ed367f | Ivo Gabe de Wolff | 18 March 2019, 14:25:23 UTC | Remove type arguments from type synonyms They can be replaced by forall types | 18 March 2019, 14:25:23 UTC |
8b3cabe | Ivo Gabe de Wolff | 15 March 2019, 11:40:26 UTC | Explicit instantiation of constructor in patterns Replace ConTag with ConTuple, as we do not use the tag in ConTag any more | 15 March 2019, 11:40:26 UTC |
18f57c3 | Ivo Gabe de Wolff | 15 March 2019, 09:07:11 UTC | Add type synonyms to core | 15 March 2019, 09:07:11 UTC |
cf6bd7a | Ivo Gabe de Wolff | 14 March 2019, 14:51:42 UTC | Use Ints instead of Ids for type variables | 14 March 2019, 14:51:42 UTC |
0e43311 | Ivo Gabe de Wolff | 13 March 2019, 20:24:00 UTC | Add application of values to types | 13 March 2019, 20:24:00 UTC |
7f734d2 | Ivo Gabe de Wolff | 11 March 2019, 16:59:44 UTC | Add helper functions for types | 11 March 2019, 16:59:44 UTC |
023f763 | Ivo Gabe de Wolff | 06 March 2019, 07:32:34 UTC | Add Forall expression | 06 March 2019, 07:32:34 UTC |
0b8a7fc | Ivo Gabe de Wolff | 28 February 2019, 21:01:16 UTC | Add Kind to forall types | 28 February 2019, 21:01:16 UTC |
114a368 | Ivo Gabe de Wolff | 28 February 2019, 11:30:34 UTC | Add toplevel types, fixes to parser | 28 February 2019, 11:30:34 UTC |
8c5e453 | Ivo Gabe de Wolff | 27 February 2019, 10:05:28 UTC | Add types to toplevel declarations in Core | 27 February 2019, 10:05:28 UTC |
2178234 | Ivo Gabe de Wolff | 26 February 2019, 08:16:59 UTC | Add types to Core data type | 26 February 2019, 08:16:59 UTC |
af3cd63 | Rik van Toor | 09 February 2019, 15:45:22 UTC | Fixed GHC < 8.0 support | 09 February 2019, 15:45:22 UTC |
757d5d2 | Rik van Toor | 09 February 2019, 15:24:34 UTC | Added GHC 8.4 support | 09 February 2019, 15:24:34 UTC |
26857ce | Lars | 05 December 2018, 11:11:42 UTC | Added qualified typing to LVM | 05 December 2018, 11:11:42 UTC |
fcc945a | Lars | 05 December 2018, 11:05:38 UTC | Added origin in LVM | 05 December 2018, 11:05:38 UTC |
19d879a | Lars | 05 December 2018, 11:00:22 UTC | Made sure it doesn't import more often | 05 December 2018, 11:00:22 UTC |
fc80b24 | Hage, J. (J) | 16 September 2017, 17:32:04 UTC | Added README.md | 16 September 2017, 17:32:04 UTC |
43d931b | Hage, J. (J) | 15 September 2017, 20:34:18 UTC | Add gitignore file | 15 September 2017, 20:34:18 UTC |
1e1b4c1 | Hage, J. (J) | 15 September 2017, 20:27:03 UTC | Changing location of repository to github. | 15 September 2017, 20:27:03 UTC |
b17f9e4 | 3361063 | 10 May 2017, 06:14:52 UTC | Add documentation and some instances in Lvm.Common | 10 May 2017, 06:14:52 UTC |
2e08a0a | 3361063 | 10 May 2017, 06:14:51 UTC | Provide a pure interface for import resolution The gist of it: lvmImport :: (Id -> IO FilePath) -> Module v -> IO (Module v) +lvmImport' :: Monad m => (Id -> m (Module v)) -> Module v -> m (Module v) Considering Identity is an instance of Monad, this is, de facto, pure code. | 10 May 2017, 06:14:51 UTC |
bbf285a | 3361063 | 09 May 2017, 16:10:45 UTC | Fix empty directory name handling and deprecate slashify | 09 May 2017, 16:10:45 UTC |
09c3155 | Jurriaan Hage | 12 January 2016, 21:30:56 UTC | Changes for compatibility with Ghc 7.10.3 | 12 January 2016, 21:30:56 UTC |
5431f82 | Jurriaan Hage | 29 May 2015, 10:07:21 UTC | New config | 29 May 2015, 10:07:21 UTC |
16e4efa | Jurriaan Hage | 29 August 2014, 13:09:53 UTC | The Makefile can now construct a source distribution/. | 29 August 2014, 13:09:53 UTC |
62fd3f6 | Jurriaan Hage | 21 August 2014, 14:09:21 UTC | Bumped verison number. | 21 August 2014, 14:09:21 UTC |
9887d55 | Jurriaan Hage | 21 August 2014, 10:43:02 UTC | Dealing with path issues under windows 1 | 21 August 2014, 10:43:02 UTC |
b665a23 | Jurriaan Hage | 22 July 2014, 11:54:21 UTC | Hopefully this fixes the issues on Windows, and still ahve some sanity checking on the paths to the prefix. | 22 July 2014, 11:54:21 UTC |
4667c86 | Bastiaan Heeren | 22 July 2014, 11:47:21 UTC | - removed no-cygwin flag (deprecated) - commented sanity checks for absolute directories (does not work for C:\Users\bhr\AppData\Roaming\cabal\bin) | 22 July 2014, 11:47:21 UTC |
8dd9cc8 | Jurriaan Hage | 21 July 2014, 20:04:40 UTC | A few fixes to make things complile again. | 21 July 2014, 20:04:40 UTC |
4151477 | Jurriaan Hage | 18 July 2014, 13:31:38 UTC | Discovered an error in the configure script that harms us on Linux. | 18 July 2014, 13:31:38 UTC |
46f5117 | Jurriaan Hage | 18 July 2014, 13:20:38 UTC | Two fixes: 1. exchanging order of libraries and object files in linking since some gcc's demand this nowadays 2. for macosx: avoid the -fno-defer-pop flag since clang does not like it | 18 July 2014, 13:20:38 UTC |
0f56588 | Jurriaan Hage | 30 August 2013, 12:54:24 UTC | some debug statements removed from configure | 30 August 2013, 12:54:24 UTC |
ab13074 | Jurriaan Hage | 30 August 2013, 11:43:03 UTC | Upgrade to Cabal 1.18 that fixes an issue that lvmrun does not end up where I want it. | 30 August 2013, 11:43:03 UTC |
1fada20 | Jurriaan Hage | 01 March 2013, 14:22:05 UTC | It seems I have now succeeded in Cabalizing lvmrun. Please check, and read the lvmrun.cabal for some more details. Issues that might still give trouble is that we hard-code where the lvmrun should go, and cannot leave that to Cabal. | 01 March 2013, 14:22:05 UTC |
54dad77 | Bastiaan Heeren | 08 November 2012, 11:27:33 UTC | BSD license | 08 November 2012, 11:27:33 UTC |
3c2a7bb | Bastiaan Heeren | 08 November 2012, 11:03:28 UTC | volgorde auteurs | 08 November 2012, 11:03:28 UTC |
c37e078 | Jurriaan Hage | 02 November 2012, 19:10:54 UTC | Fixed link to config directory | 02 November 2012, 19:10:54 UTC |
1e4e0c4 | Jurriaan Hage | 02 November 2012, 14:25:46 UTC | This has moved. | 02 November 2012, 14:25:46 UTC |
286e206 | Jurriaan Hage | 02 November 2012, 13:27:06 UTC | A new config.guess and config.sub so that it works for a recent macosx machine | 02 November 2012, 13:27:06 UTC |
c1581fe | Jurriaan Hage | 02 November 2012, 12:21:03 UTC | More files had to be moved into runtime/ | 02 November 2012, 12:21:03 UTC |
d909780 | Jurriaan Hage | 02 November 2012, 09:58:54 UTC | Moving stuff around Checking in the cabal and Setup file. | 02 November 2012, 09:58:54 UTC |
d1a6e55 | Jurriaan Hage | 02 November 2012, 09:31:06 UTC | This is the same makefile, but under a different name | 02 November 2012, 09:31:06 UTC |
022540a | Jurriaan Hage | 02 November 2012, 09:30:33 UTC | Deleted makefile because Cabal wants Makefile | 02 November 2012, 09:30:33 UTC |
0f7db39 | Jurriaan Hage | 02 November 2012, 09:29:56 UTC | Moving configure, because seems to want that. | 02 November 2012, 09:29:56 UTC |
ba7cc20 | Bastiaan Heeren | 26 October 2012, 13:30:15 UTC | added license headers | 26 October 2012, 13:30:15 UTC |
ec0fad7 | Jurriaan Hage | 25 October 2012, 09:35:51 UTC | Exception ambiguity resolved | 25 October 2012, 09:35:51 UTC |
69b2228 | Jurriaan Hage | 25 October 2012, 09:29:08 UTC | Deleted warning for missing LVMPATH. | 25 October 2012, 09:29:08 UTC |
e15c622 | Bastiaan Heeren | 25 October 2012, 08:43:52 UTC | syntax error in cabal file | 25 October 2012, 08:43:52 UTC |