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 |
8765e13 | Bastiaan Heeren | 25 October 2012, 08:41:55 UTC | renaming cabal (lvm-lib -> lvmlib) added description text, credits, authors, etc. | 25 October 2012, 08:41:55 UTC |
cd33d2a | Jurriaan Hage | 04 October 2012, 13:02:21 UTC | Modifications made to remove superfluous imports and changed to Control.Exception. | 04 October 2012, 13:02:21 UTC |
dcce952 | Jurriaan Hage | 04 October 2012, 11:58:12 UTC | Resolved conflict between IntSet and Prelude due to use of foldr. | 04 October 2012, 11:58:12 UTC |
b59d1a4 | Bastiaan Heeren | 04 October 2012, 09:11:15 UTC | updating cabal file | 04 October 2012, 09:11:15 UTC |
386913d | Bastiaan Heeren | 10 September 2012, 06:05:37 UTC | freevars | 10 September 2012, 06:05:37 UTC |
9abfe90 | Bastiaan Heeren | 03 September 2012, 15:37:25 UTC | removing lvm files in test directory | 03 September 2012, 15:37:25 UTC |
ebcde63 | Bastiaan Heeren | 03 September 2012, 15:17:08 UTC | cleaning up import/export lists | 03 September 2012, 15:17:08 UTC |
e95854e | Bastiaan Heeren | 03 September 2012, 07:20:07 UTC | cleaning up parsing/lexing. adding some test scripts on Helium's core files | 03 September 2012, 07:20:07 UTC |
28fc0fa | Bastiaan Heeren | 31 August 2012, 15:16:49 UTC | refactoring | 31 August 2012, 15:16:49 UTC |
4c17e36 | Bastiaan Heeren | 31 August 2012, 13:28:38 UTC | many small fixes (mostly for parsing/pretty printing) | 31 August 2012, 13:28:38 UTC |
e634277 | Bastiaan Heeren | 30 August 2012, 11:49:30 UTC | more fixes | 30 August 2012, 11:49:30 UTC |
f485405 | Bastiaan Heeren | 30 August 2012, 10:01:13 UTC | fixing some incompatibilities in parser/pretty printer | 30 August 2012, 10:01:13 UTC |
8e80aa6 | Bastiaan Heeren | 29 August 2012, 11:39:35 UTC | options for main | 29 August 2012, 11:39:35 UTC |
8ed7e8b | Bastiaan Heeren | 28 August 2012, 15:19:58 UTC | initial cabal file for the core assembler | 28 August 2012, 15:19:58 UTC |
e4d3f2d | Bastiaan Heeren | 28 August 2012, 14:03:14 UTC | cleaning up with hlint | 28 August 2012, 14:03:14 UTC |
9bec89c | Bastiaan Heeren | 28 August 2012, 11:29:52 UTC | refactoring | 28 August 2012, 11:29:52 UTC |
63c2cad | Bastiaan Heeren | 28 August 2012, 11:09:09 UTC | refactorings | 28 August 2012, 11:09:09 UTC |
6fd1132 | Bastiaan Heeren | 24 August 2012, 15:48:10 UTC | read and write | 24 August 2012, 15:48:10 UTC |
30e8555 | Bastiaan Heeren | 24 August 2012, 15:14:15 UTC | module and shadowing | 24 August 2012, 15:14:15 UTC |
7a2483c | Bastiaan Heeren | 24 August 2012, 15:00:50 UTC | parsers | 24 August 2012, 15:00:50 UTC |
44774a2 | Bastiaan Heeren | 24 August 2012, 14:18:06 UTC | lexers | 24 August 2012, 14:18:06 UTC |
7a16587 | Bastiaan Heeren | 24 August 2012, 13:11:57 UTC | fixing bug | 24 August 2012, 13:11:57 UTC |
21e6ed3 | Bastiaan Heeren | 24 August 2012, 08:47:07 UTC | refactorings | 24 August 2012, 08:47:07 UTC |
3fec5a7 | Bastiaan Heeren | 24 August 2012, 08:45:40 UTC | fixing test scripts | 24 August 2012, 08:45:40 UTC |
60b6639 | Bastiaan Heeren | 24 August 2012, 06:02:45 UTC | refactorings | 24 August 2012, 06:02:45 UTC |
db8a1a8 | Bastiaan Heeren | 23 August 2012, 13:24:24 UTC | refactorings | 23 August 2012, 13:24:24 UTC |
c33078b | Bastiaan Heeren | 23 August 2012, 07:21:14 UTC | moving pretty printers to data types (and into a type class) | 23 August 2012, 07:21:14 UTC |
07866bd | Bastiaan Heeren | 22 August 2012, 10:59:40 UTC | restructuring; removing library files that are now standard. | 22 August 2012, 10:59:40 UTC |
fe6d60b | Bastiaan Heeren | 21 August 2012, 11:05:46 UTC | hierarchical module names (some to be renamed, some to be removed) | 21 August 2012, 11:05:46 UTC |
4655306 | Jurriaan Hage | 01 July 2012, 19:38:30 UTC | This should now work under 7.4.x. Chanhes to make it work for 7.2.x courtesy of Jurrien Stutterheim. | 01 July 2012, 19:38:30 UTC |
034223a | Jurriaan Hage | 02 September 2011, 21:08:20 UTC | To compile coreasm with Ghc 7.03 (as suggested by Arthur Baars) | 02 September 2011, 21:08:20 UTC |
9021902 | Jurriaan Hage | 25 October 2010, 19:51:58 UTC | 64bit modifications made by Arjan Oosting for Debian. | 25 October 2010, 19:51:58 UTC |
184eebe | Jurriaan Hage | 25 October 2010, 19:23:35 UTC | rec_ replaces rec. | 25 October 2010, 19:23:35 UTC |
f9f85ba | Jurriaan Hage | 02 October 2010, 02:08:16 UTC | Final warnings. | 02 October 2010, 02:08:16 UTC |
53a5d30 | Jurriaan Hage | 01 October 2010, 21:49:27 UTC | Remove redundant. | 01 October 2010, 21:49:27 UTC |
09b28b3 | Jurriaan Hage | 01 October 2010, 15:10:26 UTC | Pruning dead code and undefineds. | 01 October 2010, 15:10:26 UTC |
2d6fce6 | Jurriaan Hage | 30 September 2010, 18:06:53 UTC | Changes made to configure to make sure that under MacOSX gcc is used with 32 bits and linked with i386 archictecture. This solves the problem of getting a can not fixup code references beyond a 4gb memory span. message when you actually use lvmrun to evaluate something. Whether this fix influences any other platforms, or may be necessary for other platforms is unknown. | 30 September 2010, 18:06:53 UTC |
d92dac0 | Bastiaan Heeren | 24 April 2009, 14:26:18 UTC | Refactorings: removed redundant imports, removed some unnecessary wildcards at the end of a case | 24 April 2009, 14:26:18 UTC |
68eb2b7 | Bastiaan Heeren | 22 April 2009, 08:09:40 UTC | asprintf replaced by snprintf | 22 April 2009, 08:09:40 UTC |