RSS feed
2b5785db
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/29 07:01
Add missing C'B
942cda21
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/29 05:54
Bump version number.
0ba6b237
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/29 04:58
Implement NamedFieldPuns and RecordWildCards.
019e764c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 16:45
Update documentation.
6a4a8b46
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 16:31
Merge branch 'master' of github.com:augustss/MicroHs
9b0ffcfa
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/12/28 21:03
Update README.md
4b4c49e0
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 16:30
Implement record patterns.
c59040c0
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 16:19
Refactor more.
1929d9a3
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 16:14
Refactor EUpdate handling
515ed236
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 10:56
Add deriving Show
d9fead3f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 10:19
Add missing synonym expansion.
0415e7b9
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 09:56
Allow TABs in source
185116f4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 05:13
Fix pasto bug in foldr1
7a66420f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 04:51
Use separate flags for reading and writing the cache.
1ef83014
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 04:36
Better cache test.
e3abe7df
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/28 04:34
Don't put field names as associated data; they have no symbol table entries.
9fcea2a5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 14:58
Minor Ord changes.
39b29bee
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 14:47
Implement deriving Ord.
208ba285
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 14:38
Refactor. Rename Any to AnyTime
b71628cd
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 14:05
Add Ordering
d94f038f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 14:05
Add Solo
e8c7af11
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 11:01
Use deriving Eq in a few places
4c2cb9e5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 10:58
Implement deriving Eq
956624b4
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 09:35
Update
9135379f
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/12/27 16:06
Update TODO
6251ebaf
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/12/27 16:03
Update README.md
5deb7b51
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 04:37
Implement nested record updates.
40371d32
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/27 04:20
Move virtual tuple fields to Records.
939a4957
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/26 11:50
Rename Data.Record to Data.Records
74992856
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/26 11:44
Improve selection sections.
dd5c2d7e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/26 11:29
Use some virtial fields
b2de9844
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/26 11:29
Make virtual fields for tuples.
41e95fea
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/26 05:34
Don't derive anything yet.
2611c620
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/26 05:15
Use a record for the flags
412e5029
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/26 04:58
Use more record syntax
82b07338
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/26 04:41
Complain about extra bindings in instances
11a32d05
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 14:00
Update Typeable for prettier print.
c5476618
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 13:48
Switch to named fields in TCState
2ac26570
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 11:26
Implement deriving for Typeable.
78f45bf0
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 10:55
Prepare for deriving.
92c26abb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 10:33
Use polykinds in Typeable.
ddd6ef61
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 06:55
Update with some record info.
eea5c5c8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 06:42
Add missing file.
77260042
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 06:39
Generate HasField automatically.
cf12ee82
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/25 06:32
Refactor a lot of type checking stuff into TCMonad module.
60f772fc
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/24 12:18
Implement record syntax using HasField.
c80cf8af
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/24 09:05
Fix typos
961bc849
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/24 08:26
Bump version.
d85af065
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/24 08:22
Small updates
3b9c34f8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/24 08:14
Add test for polykinds
d7c13833
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/24 07:43
Add a test
ed1f511d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/24 07:41
Fix typo in Ord
6f03b83a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/24 07:36
Add simple Control.Arrow.
9a53e831
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 09:43
Do kind inference to get rid of annoying kind annotations.
66fc4633
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 08:04
Make sure we keep the checking modes straight.
6702020f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 06:57
Change how levels (type/kind/sort) work in the type checker.
29c4cb29
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 04:59
Slightly fewer id collisions.
95fb3098
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 04:55
Regen
c50e2aa6
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 04:54
Comments
90738f38
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 04:30
Small speedup
f21dd735
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 04:16
Add C'B combinator. It shaves off 0.5s on self compile.
e0b51de2
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 04:04
Add simple tick based profiling.
a73f8741
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 03:49
Slightly faster ++
af9153dd
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/23 03:49
Slightly faster unzip
88b845ec
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/22 15:11
Refactor reading strings.
ec20032e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 17:43
Add flag, -T, to generate ticks.
c617557a
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 17:35
Refactor flags into its own module.
dee837dd
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 16:56
Prepare for kind signatures
65820272
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 16:34
Turn ERR back to PRINT
96366c24
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 16:18
Implement eqT and gcast
d08ab630
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 15:53
Fix silly bug
7ecf112f
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 14:49
Add Data.Dynamic
6704af83
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 14:32
More instances
1bef688c
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 10:52
More
47043019
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 10:49
Start of Data.Typeable
9fad45af
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 10:48
MD5 of a byte array
4df44dba
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/21 10:48
More functions
14c55115
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/19 18:00
Fix primop names
d16c2beb
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/19 16:02
Make md5String pure
0afa9165
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/19 16:01
Add missing Ord instance
fe359d7d
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/19 15:25
Make md5 checksums smaller
e467aff8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/19 15:05
Fix typo
9c540586
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/12/18 13:30
Merge pull request #9 from Rewbert/master
8a4446b5
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 12:56
move defines to before earliest usage lol
697acce4
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 12:53
Lennarts comments
fe72123b
– Robert Krook <rewbert93@gmail.com>
authored
and GitHub <noreply@github.com>
committed
on 2023/12/18 11:55
Merge branch 'augustss:master' into master
933e4593
– Robert Krook <rewbert93@gmail.com>
authored
and GitHub <noreply@github.com>
committed
on 2023/12/18 11:54
Merge pull request #6 from Rewbert/platform-specific-refactor
a63dab60
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/18 11:40
Fix some stragglers after primop renaming.
8a409d55
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 11:36
add platform specific setup and teardown to main
d1ad453b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/18 11:34
Add some missing modules
7981d738
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 11:32
fix bug
dbb07113
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/18 11:29
Add more functions
fa6432f8
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 11:25
change some fprintf(stderr to ERR/ERR1
eb67b951
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 11:19
move static sizes out into configuration file
13593bf3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/18 11:12
Add more standard stuff.
43b5b3d0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/18 10:54
Handle missing methods differently.
eb375045
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 10:19
printf -> PRINT
99032d3f
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 10:14
exit -> EXIT, and spellcorrection of exit->EXIT
20336858
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 10:09
free -> FREE
66347eb7
– Rewbert <krookr@chalmers.se>
authored
on 2023/12/18 10:02
malloc -> MALLOC
Next