https://github.com/Helium4Haskell/lvm

sort by:
Revision Author Date Message Commit Date
7a44a05 Fix pretty printing of 'export' and 'from' 04 February 2020, 16:32:17 UTC
bf36ce2 Hide fields for non-record data types 04 February 2020, 12:09:42 UTC
36cc5dd Remove strictness info from Field 04 February 2020, 11:30:41 UTC
707264c Small cleanup, remove unused import function 21 January 2020, 01:07:27 UTC
51f4a86 Fix core internal class functions being imported 19 January 2020, 23:02:05 UTC
59b50d0 Exclude infix declarations 12 January 2020, 15:34:42 UTC
fea255f Ignore infix and make renaming own vars optional 05 January 2020, 17:56:37 UTC
154b7ab Simplify module system of Core 28 December 2019, 23:18:10 UTC
81ff86f Add records to constructors in Core 20 December 2019, 21:22:48 UTC
b503cdd Fix merge error 12 November 2019, 12:57:44 UTC
4c9b889 Merge branch 'code-cleanup' into codegen-llvm-typed 12 November 2019, 12:38:31 UTC
50a0365 Initial work on region inference 12 November 2019, 12:38:08 UTC
d6b85f3 Add a variant of mapWithSupply which chains 23 September 2019, 13:54:04 UTC
4ef0b16 Id.hs: dont't inline 23 September 2019, 09:51:42 UTC
44a13be Merge pull request #2 from Helium4Haskell/code-cleanup Fix compilation after introduction of LLVM backend. 17 September 2019, 13:24:00 UTC
b1e56c5 reformat all files, apply lints from hlint 17 September 2019, 08:16:24 UTC
eb08f6f merge master 17 September 2019, 08:14:41 UTC
2d2f696 remove unused files and fix cabal; fixes compilation 09 September 2019, 10:17:51 UTC
a516e95 Getting rid of pesky compile time warnings 24 August 2019, 08:00:47 UTC
2f05dda Bumped version number, changed some admin info. 22 July 2019, 10:14:53 UTC
49b67e8 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 Merge branch 'Helium-Imports-Exports' of github.com:RikvanToor/lvm into Helium-Imports-Exports 01 May 2019, 15:05:41 UTC
fe8da75 Added ClassDefinition custom 01 May 2019, 15:05:24 UTC
ce72101 Annotate Lam expressions with strictness 20 April 2019, 18:59:32 UTC
4c78ea3 Fixes for core types 04 April 2019, 10:15:03 UTC
9fda861 Distinguish different types of Int literals Add createFunction 22 March 2019, 17:17:50 UTC
6a0230f Remove type synonyms using customs 20 March 2019, 09:04:11 UTC
171501e Fix type synonyms in core 19 March 2019, 22:56:09 UTC
9ed367f Remove type arguments from type synonyms They can be replaced by forall types 18 March 2019, 14:25:23 UTC
8b3cabe 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 Add type synonyms to core 15 March 2019, 09:07:11 UTC
cf6bd7a Use Ints instead of Ids for type variables 14 March 2019, 14:51:42 UTC
0e43311 Add application of values to types 13 March 2019, 20:24:00 UTC
7f734d2 Add helper functions for types 11 March 2019, 16:59:44 UTC
023f763 Add Forall expression 06 March 2019, 07:32:34 UTC
0b8a7fc Add Kind to forall types 28 February 2019, 21:01:16 UTC
114a368 Add toplevel types, fixes to parser 28 February 2019, 11:30:34 UTC
8c5e453 Add types to toplevel declarations in Core 27 February 2019, 10:05:28 UTC
2178234 Add types to Core data type 26 February 2019, 08:16:59 UTC
af3cd63 Fixed GHC < 8.0 support 09 February 2019, 15:45:22 UTC
757d5d2 Added GHC 8.4 support 09 February 2019, 15:24:34 UTC
26857ce Added qualified typing to LVM 05 December 2018, 11:11:42 UTC
fcc945a Added origin in LVM 05 December 2018, 11:05:38 UTC
19d879a Made sure it doesn't import more often 05 December 2018, 11:00:22 UTC
fc80b24 Added README.md 16 September 2017, 17:32:04 UTC
43d931b Add gitignore file 15 September 2017, 20:34:18 UTC
1e1b4c1 Changing location of repository to github. 15 September 2017, 20:27:03 UTC
b17f9e4 Add documentation and some instances in Lvm.Common 10 May 2017, 06:14:52 UTC
2e08a0a 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 Fix empty directory name handling and deprecate slashify 09 May 2017, 16:10:45 UTC
09c3155 Changes for compatibility with Ghc 7.10.3 12 January 2016, 21:30:56 UTC
5431f82 New config 29 May 2015, 10:07:21 UTC
16e4efa The Makefile can now construct a source distribution/. 29 August 2014, 13:09:53 UTC
62fd3f6 Bumped verison number. 21 August 2014, 14:09:21 UTC
9887d55 Dealing with path issues under windows 1 21 August 2014, 10:43:02 UTC
b665a23 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 - 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 A few fixes to make things complile again. 21 July 2014, 20:04:40 UTC
4151477 Discovered an error in the configure script that harms us on Linux. 18 July 2014, 13:31:38 UTC
46f5117 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 some debug statements removed from configure 30 August 2013, 12:54:24 UTC
ab13074 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 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 BSD license 08 November 2012, 11:27:33 UTC
3c2a7bb volgorde auteurs 08 November 2012, 11:03:28 UTC
c37e078 Fixed link to config directory 02 November 2012, 19:10:54 UTC
1e4e0c4 This has moved. 02 November 2012, 14:25:46 UTC
286e206 A new config.guess and config.sub so that it works for a recent macosx machine 02 November 2012, 13:27:06 UTC
c1581fe More files had to be moved into runtime/ 02 November 2012, 12:21:03 UTC
d909780 Moving stuff around Checking in the cabal and Setup file. 02 November 2012, 09:58:54 UTC
d1a6e55 This is the same makefile, but under a different name 02 November 2012, 09:31:06 UTC
022540a Deleted makefile because Cabal wants Makefile 02 November 2012, 09:30:33 UTC
0f7db39 Moving configure, because seems to want that. 02 November 2012, 09:29:56 UTC
ba7cc20 added license headers 26 October 2012, 13:30:15 UTC
ec0fad7 Exception ambiguity resolved 25 October 2012, 09:35:51 UTC
69b2228 Deleted warning for missing LVMPATH. 25 October 2012, 09:29:08 UTC
e15c622 syntax error in cabal file 25 October 2012, 08:43:52 UTC
8765e13 renaming cabal (lvm-lib -> lvmlib) added description text, credits, authors, etc. 25 October 2012, 08:41:55 UTC
cd33d2a Modifications made to remove superfluous imports and changed to Control.Exception. 04 October 2012, 13:02:21 UTC
dcce952 Resolved conflict between IntSet and Prelude due to use of foldr. 04 October 2012, 11:58:12 UTC
b59d1a4 updating cabal file 04 October 2012, 09:11:15 UTC
386913d freevars 10 September 2012, 06:05:37 UTC
9abfe90 removing lvm files in test directory 03 September 2012, 15:37:25 UTC
ebcde63 cleaning up import/export lists 03 September 2012, 15:17:08 UTC
e95854e cleaning up parsing/lexing. adding some test scripts on Helium's core files 03 September 2012, 07:20:07 UTC
28fc0fa refactoring 31 August 2012, 15:16:49 UTC
4c17e36 many small fixes (mostly for parsing/pretty printing) 31 August 2012, 13:28:38 UTC
e634277 more fixes 30 August 2012, 11:49:30 UTC
f485405 fixing some incompatibilities in parser/pretty printer 30 August 2012, 10:01:13 UTC
8e80aa6 options for main 29 August 2012, 11:39:35 UTC
8ed7e8b initial cabal file for the core assembler 28 August 2012, 15:19:58 UTC
e4d3f2d cleaning up with hlint 28 August 2012, 14:03:14 UTC
9bec89c refactoring 28 August 2012, 11:29:52 UTC
63c2cad refactorings 28 August 2012, 11:09:09 UTC
6fd1132 read and write 24 August 2012, 15:48:10 UTC
30e8555 module and shadowing 24 August 2012, 15:14:15 UTC
7a2483c parsers 24 August 2012, 15:00:50 UTC
44774a2 lexers 24 August 2012, 14:18:06 UTC
7a16587 fixing bug 24 August 2012, 13:11:57 UTC
21e6ed3 refactorings 24 August 2012, 08:47:07 UTC
back to top