-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathbugs.html
57 lines (47 loc) · 1.81 KB
/
bugs.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<title>Known bugs in PolyP</title>
</head>
<body>
<h1>Known bugs in PolyP</h1>
<h2>Version 1.3</h2>
<ul>
<li>Context simplification errors:
<ul>
<li>Problem: currently the context simplification algorithm
simply removes all contexts without type variables. This
can err in two ways: firstly ill-typed programs can be
accepted (too much simplification, for example removing a
bad context like <code>Monad Tree =></code>) and
secondly well-typed programs can be rejected (by hugs)
(too little simplification, for example <code>Monad (State
s)</code> is not simplified away.)
<li>Solution: improve the context simplification
algorithm. Extend PolyP to handle class and instance
declarations so that the simlification rules can be given
in the prelude file(s).
<li>Almost solution: Add a PolyP-flag to allow explicit types
not to be generated. (The types are there to get around
the monomorphism restriction, and it usually bites at the
same time as this bug, so the gain might be small.)
<li>Work-around: Make unwanted contexts variable-free by
inserting an explicit type somewhere.
</ul>
<li>Several (minor?) parser bugs:
<code>"\"</code> is accepted (should be <code>"\\"</code>)
</ul>
<hr>
<!-- hhmts start -->
Last modified: Fri Jan 14 10:14:01 MET 2000
<!-- hhmts end -->
by
<address>
<a href="http://www.cs.chalmers.se/~patrikj/"
>Patrik Jansson</a> /
<a href="mailto:[email protected]"
>[email protected]</a>
</address>
</body>
</html>