__color__	ticket	summary	component	version	milestone	type	owner	status	created	_changetime	_description	_reporter
5	73	08 toyota tundra fender flares	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:22:28Z+0000	2009-12-06T07:22:28Z+0000	[http://www.vezara.net/08-toyota-tundra-fender-flares.html 08 toyota tundra fender flares]	anonymous
5	65	1990 toyota corolla thermostat housing	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:18:17Z+0000	2009-12-06T07:18:17Z+0000	[http://www.tipkas.net/1990-toyota-corolla-thermostat-housing.html 1990 toyota corolla thermostat housing]	anonymous
5	85	1992 mitsubishi eclipse idle speed	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:58:40Z+0000	2009-12-06T07:58:40Z+0000	[http://www.pekara.org/1992-mitsubishi-eclipse-idle-speed.html 1992 mitsubishi eclipse idle speed]	anonymous
5	86	1999 acura tl maintnance	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:58:43Z+0000	2009-12-06T07:58:43Z+0000	[http://www.bliksonja.biz/1999-acura-tl-maintnance.html 1999 acura tl maintnance]	anonymous
5	87	1999 acura tl maintnance	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:58:47Z+0000	2009-12-06T07:58:47Z+0000	[http://www.bliksonja.biz/1999-acura-tl-maintnance.html 1999 acura tl maintnance]	anonymous
5	63	2004 buick rainer towing capacity	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:14:25Z+0000	2009-12-06T07:14:25Z+0000	[http://www.cupavko.biz/2004-buick-rainer-towing-capacity.html 2004 buick rainer towing capacity]	anonymous
5	64	2004 buick rainer towing capacity	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:14:28Z+0000	2009-12-06T07:14:28Z+0000	[http://www.cupavko.biz/2004-buick-rainer-towing-capacity.html 2004 buick rainer towing capacity]	anonymous
5	74	2005 bmw z4 hardtop	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:23:07Z+0000	2009-12-06T07:23:07Z+0000	[http://www.vaginol.us/2005-bmw-z4-hardtop.html 2005 bmw z4 hardtop]	anonymous
5	72	2006 bmw z4 alignment	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:22:23Z+0000	2009-12-06T07:22:23Z+0000	[http://www.setzanas.com/2006-bmw-z4-alignment.html.html 2006 bmw z4 alignment]	anonymous
5	92	2008 porsche cayenne gts	component2	1.0	milestone4	task	somebody	new	2009-12-06T08:00:26Z+0000	2009-12-06T08:00:26Z+0000	[http://www.konjarnik.biz/2008-porsche-cayenne-gts.html 2008 porsche cayenne gts]	anonymous
5	93	2008 porsche cayenne gts	component2	1.0	milestone4	task	somebody	new	2009-12-06T08:00:29Z+0000	2009-12-06T08:00:29Z+0000	[http://www.konjarnik.biz/2008-porsche-cayenne-gts.html 2008 porsche cayenne gts]	anonymous
5	68	2009 toyota sequia	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:21:02Z+0000	2009-12-06T07:21:02Z+0000	[http://www.kompic.biz/2009-toyota-sequia.html 2009 toyota sequia]	anonymous
5	71	89 buick park avenue radio	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:21:59Z+0000	2009-12-06T07:21:59Z+0000	[http://www.adanja.net/89-buick-park-avenue-radio.html 89 buick park avenue radio]	anonymous
5	78	97 corolla ipod	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:55:18Z+0000	2009-12-06T07:55:18Z+0000	[http://www.jeboguz.biz/97-corolla-ipod.html 97 corolla ipod]	anonymous
5	82	98 cadillac deville sound system upgrade	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:56:06Z+0000	2009-12-06T07:56:06Z+0000	[http://www.jelence.biz/98-cadillac-deville-sound-system-upgrade.html 98 cadillac deville sound system upgrade]	anonymous
5	54	alarmas	component2	1.0	milestone4	task	somebody	new	2009-12-04T06:56:10Z+0000	2009-12-04T06:56:10Z+0000	[http://mejores-tarjetas-de-presentacion.tumblr.com/post/244838026/ alarmas]	anonymous
3	19	Another Int Bug	component1			defect	dom	new	2008-07-28T21:42:05Z+0100	2008-07-28T21:42:05Z+0100	"If we ever get something with more than {{{2^31 - 1}}} octets, this will give the
wrong result silently :-( The fix should be in binary get. I recall there
was a version in which this was Int64 or Integer but it's not worth
researching now.

{{{
decodeUInt :: (MonadError [Char] (t1 BG.BitGet), MonadTrans t1) => t1
BG.BitGet Integer
decodeUInt =
   do o <- octets
      return (from2sComplement o)
   where
      chunkBy8 = let compose = (.).(.) in lift `compose` (flip (const
(BG.getLeftByteString . fromIntegral . (*8))))
      octets   = decodeLargeLengthDeterminant chunkBy8 undefined
}}}

"	dom
3	15	Are we canonical?	component1			defect	dan	new	2008-07-28T21:30:01Z+0100	2008-07-28T21:30:01Z+0100		dom
5	89	audi parts weestchesterr ny	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:59:22Z+0000	2009-12-06T07:59:22Z+0000	[http://audi.ozmo-armor.com/audi-parts-weestchesterr-ny.html audi parts weestchesterr ny]	anonymous
5	90	audi parts weestchesterr ny	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:59:25Z+0000	2009-12-06T07:59:25Z+0000	[http://audi.ozmo-armor.com/audi-parts-weestchesterr-ny.html audi parts weestchesterr ny]	anonymous
5	94	aux port on ford mustang	component2	1.0	milestone4	task	somebody	new	2009-12-06T08:00:45Z+0000	2009-12-06T08:00:45Z+0000	[http://www.darkvud.biz/aux-port-on-ford-mustang.html aux port on ford mustang]	anonymous
5	76	buick dealers in kentucky	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:53:25Z+0000	2009-12-06T07:53:25Z+0000	[http://www.cupavko.biz/buick-dealers-in-kentucky.html buick dealers in kentucky]	anonymous
5	60	burdick hyundai cicero ny	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:11:28Z+0000	2009-12-06T07:11:28Z+0000	[http://www.sedma.biz/burdick-hyundai-cicero-ny.html burdick hyundai cicero ny]	anonymous
5	88	chevrolet corvette body graphics	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:59:03Z+0000	2009-12-06T07:59:03Z+0000	[http://www.kameni.biz/chevrolet-corvette-body-graphics.html chevrolet corvette body graphics]	anonymous
5	77	citroen xsara hdi	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:54:34Z+0000	2009-12-06T07:54:34Z+0000	[http://www.egzodija.net/citroen-xsara-hdi.html citroen xsara hdi]	anonymous
3	1	Common values in constraints	component1			enhancement	dom	assigned	2008-07-13T07:11:41Z+0100	2008-07-13T07:12:04Z+0100	"""All the constraints after Type should share at least one common
value with it.""

I think this is a semantic error and the library should partially evaluate
the constraints to check for these sort of errors.
"	dom
5	45	Determinante	component2	1.0	milestone4	task	somebody	new	2009-12-02T16:38:05Z+0000	2009-12-02T16:38:05Z+0000	[http://determinante.goforblogs.info/ Determinante]	anonymous
5	39	diseno paginas web	component2	1.0	milestone4	task	somebody	new	2009-12-01T21:54:14Z+0000	2009-12-01T21:54:14Z+0000	[ http://disenodeweb.ouisene.info/?p=3  diseno paginas web]	anonymous
5	40	diseno paginas web	component2	1.0	milestone4	task	somebody	new	2009-12-01T21:56:25Z+0000	2009-12-01T21:56:25Z+0000	[ http://disenodeweb.ouisene.info/?p=3  diseno paginas web]	anonymous
5	34	diseno sitios web	component2	1.0	milestone4	task	somebody	new	2009-12-01T01:53:43Z+0000	2009-12-01T01:53:43Z+0000	[ http://mymsgop.org/cursodedisenodepaginasweb/?p=3  diseno sitios web]	anonymous
5	59	diseno web	component2	1.0	milestone4	task	somebody	new	2009-12-06T05:19:54Z+0000	2009-12-06T05:19:54Z+0000	[ http://hurdat.com/cursosdedisenoweb/?p=3  diseno web]	anonymous
5	81	dodge charger versus satellite	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:55:54Z+0000	2009-12-06T07:55:54Z+0000	[http://www.cekajmalo.com/dodge-charger-versus-satellite.html dodge charger versus satellite]	anonymous
3	10	Does ReferencedType need to be removed?	component1			defect	dan	new	2008-07-13T14:02:39Z+0100	2008-07-13T14:02:39Z+0100	"{{{
data ASNType a {- :: * -> * -} where
    BT    :: ASNBuiltin a -> ASNType a
    RT    :: ReferencedType -> ASNType a
    ConsT :: ASNType a -> ESS a -> ASNType a
}}}
"	dom
3	5	Does the representation capture all valid types?	component1			defect	somebody	new	2008-07-13T07:22:46Z+0100	2008-07-13T07:24:26Z+0100	"{{{
A ::= IA5String (SIZE (3..6))         -- Length is encoded in a 2-bit
bit-field.
B ::= IA5String (SIZE (40000..40254)) -- Length is encoded in an 8-bit
bit-field.
C ::= IA5String (SIZE (0..32000))     -- Length is encoded in a 2-octet
                                      -- bit-field (octet-aligned in the
ALIGNED variant).
D ::= IA5String (SIZE (64000))        -- Length is not encoded.
}}}
"	dom
5	38	empresa paginas web	component2	1.0	milestone4	task	somebody	new	2009-12-01T20:38:31Z+0000	2009-12-01T20:38:31Z+0000	[ http://disenoweb.thedallascowboyshow.com/?p=3  empresa paginas web]	anonymous
5	46	empresa paginas web	component2	1.0	milestone4	task	somebody	new	2009-12-02T20:05:43Z+0000	2009-12-02T20:05:43Z+0000	[ http://itcel.com/community/paginasweb/?p=3  empresa paginas web]	anonymous
5	52	Encasar	component2	1.0	milestone4	task	somebody	new	2009-12-03T07:01:46Z+0000	2009-12-03T07:01:46Z+0000	[http://encasar.tumblr.com Encasar]	anonymous
5	47	Encebollada	component2	1.0	milestone4	task	somebody	new	2009-12-02T20:15:45Z+0000	2009-12-02T20:15:45Z+0000	[http://encebollada.tumblr.com Encebollada]	anonymous
3	2	encodeWithLengthDeterminant does't cope with zero bytes	component1			defect	dom	assigned	2008-07-13T07:13:32Z+0100	2008-07-13T07:13:44Z+0100		dom
5	57	Ensacador	component2	1.0	milestone4	task	somebody	new	2009-12-04T20:07:08Z+0000	2009-12-04T20:07:08Z+0000	[http://ensacador.tumblr.com Ensacador]	anonymous
5	35	Entelerida	component2	1.0	milestone4	task	somebody	new	2009-12-01T20:14:32Z+0000	2009-12-01T20:14:32Z+0000	[http://entelerida.tumblr.com Entelerida]	anonymous
5	55	Entreparecerse	component2	1.0	milestone4	task	somebody	new	2009-12-04T13:09:14Z+0000	2009-12-04T13:09:14Z+0000	[http://entreparecerse.tumblr.com Entreparecerse]	anonymous
5	56	Entricamiento	component2	1.0	milestone4	task	somebody	new	2009-12-04T14:47:28Z+0000	2009-12-04T14:47:28Z+0000	[http://entricamiento.tumblr.com Entricamiento]	anonymous
5	31	Entroncamiento	component2	1.0	milestone4	task	somebody	new	2009-11-29T01:06:09Z+0000	2009-11-29T01:06:09Z+0000	[http://entroncamiento.tumblr.com Entroncamiento]	anonymous
5	32	Entroncamiento	component2	1.0	milestone4	task	somebody	new	2009-11-29T01:20:53Z+0000	2009-11-29T01:20:53Z+0000	[http://entroncamiento.tumblr.com Entroncamiento]	anonymous
5	41	Epecha	component2	1.0	milestone4	task	somebody	new	2009-12-02T09:42:08Z+0000	2009-12-02T09:42:08Z+0000	[http://epecha.tumblr.com Epecha]	anonymous
5	42	Epecha	component2	1.0	milestone4	task	somebody	new	2009-12-02T09:42:10Z+0000	2009-12-02T09:42:10Z+0000	[http://epecha.tumblr.com Epecha]	anonymous
5	43	Epecha	component2	1.0	milestone4	task	somebody	new	2009-12-02T09:42:11Z+0000	2009-12-02T09:42:11Z+0000	[http://epecha.tumblr.com Epecha]	anonymous
5	33	Erizar	component2	1.0	milestone4	task	somebody	new	2009-11-30T11:14:41Z+0000	2009-11-30T11:14:41Z+0000	[http://erizar.tumblr.com Erizar]	anonymous
3	25	Error in Unit Testing	component1			defect	dom	assigned	2008-11-28T09:35:27Z+0000	2008-11-28T11:20:18Z+0000	"{{{
### Error in:   5
Third BoundsError ""Value not in extension constraint: could be invalid value or unsupported extension""
}}}
"	dom
5	30	Escanarse	component2	1.0	milestone4	task	somebody	new	2009-11-28T03:40:06Z+0000	2009-11-28T03:40:06Z+0000	[http://escanarse.tumblr.com Escanarse]	anonymous
5	53	Gente que no Entiende Facebook	component2	1.0	milestone4	task	somebody	new	2009-12-04T05:22:27Z+0000	2009-12-04T05:22:27Z+0000	[http://www.uri.cl/que-divertido/gente-que-no-entiende-facebook Gente que no Entiende Facebook]	anonymous
5	79	honda accord ignition cylinder cover	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:55:28Z+0000	2009-12-06T07:55:28Z+0000	[http://www.kokarda.biz/honda-accord-ignition-cylinder-cover.html honda accord ignition cylinder cover]	anonymous
5	80	honda accord ignition cylinder cover	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:55:36Z+0000	2009-12-06T07:55:36Z+0000	[http://www.kokarda.biz/honda-accord-ignition-cylinder-cover.html honda accord ignition cylinder cover]	anonymous
5	66	hummer for sale usa	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:19:56Z+0000	2009-12-06T07:19:56Z+0000	[http://www.mackati.net/hummer-for-sale-usa.html hummer for sale usa]	anonymous
3	4	HUnit for Tests in e.g. Larmouth Book	component1			task	somebody	new	2008-07-13T07:17:47Z+0100	2008-07-13T07:17:47Z+0100		dom
5	91	incredible kia billings montana	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:59:45Z+0000	2009-12-06T07:59:45Z+0000	[http://www.letmenou.org/incredible-kia-billings-montana.html incredible kia billings montana]	anonymous
5	69	infinity factory ampifiler wiring diagram 99 sebring	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:21:42Z+0000	2009-12-06T07:21:42Z+0000	[http://www.gutljaj.org/infinity-factory-ampifiler-wiring-diagram-99-sebring.html infinity factory ampifiler wiring diagram 99 sebring]	anonymous
5	70	infinity factory ampifiler wiring diagram 99 sebring	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:21:54Z+0000	2009-12-06T07:21:54Z+0000	[http://www.gutljaj.org/infinity-factory-ampifiler-wiring-diagram-99-sebring.html infinity factory ampifiler wiring diagram 99 sebring]	anonymous
3	18	Int Bug	component1			defect	dan	new	2008-07-28T21:39:36Z+0100	2008-07-28T21:39:36Z+0100	"You've changed


{{{
encodeNNBIntBits :: (Integer, Integer) -> BitStream
encodeNNBIntBits
    = reverse . (map fromInteger) . unfoldr encodeNNBIntBitsAux
}}}

to

{{{
encodeNNBIntBits :: (Int, Int) -> BitStream
encodeNNBIntBits
    = reverse . (map fromIntegral) . unfoldr encodeNNBIntBitsAux
}}}

so now it doesn't work for numbers like 2^31

Similarly for to2sComplement. Can I leave to you to fix? Hopefully you
have darcs working now otherwise we are going to get into a complete pickle.


"	dom
3	11	Ints need to be changed to Integer	component1			defect	dan	new	2008-07-14T11:02:57Z+0100	2008-07-14T11:02:57Z+0100	But what about minBound and maxBound and semi-constrained INTEGER?	dom
3	21	lApplyExt returns two values	component1			defect	dan	new	2008-10-30T17:56:02Z+0000	2008-10-30T17:56:02Z+0000	"> lApplyExt :: (IC a, Eq a, Lattice a, Show a) =>
>              Either String a -> ESS InfInteger -> (Either String a, Bool)

Perhaps we should have two separate functions."	dom
5	67	mercedes benz auto repair in ne mass	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:19:58Z+0000	2009-12-06T07:19:58Z+0000	[http://www.klinac.org/mercedes-benz-auto-repair-in-ne-mass.html mercedes benz auto repair in ne mass]	anonymous
3	24	Non-exhaustive patterns in function prettyTypeVal	component1			defect	dom	new	2008-11-27T10:25:51Z+0000	2008-11-27T10:25:51Z+0000	"{{{
*TestCTR> prettyTypeVal completeSIBList vSequenceOf1
*** Exception: NewPretty.hs:137:0-47: Non-exhaustive patterns in function prettyTypeVal
}}}"	dom
5	75	pricing for hyundai genesis	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:23:10Z+0000	2009-12-06T07:23:10Z+0000	[http://www.moleraj.net/pricing-for-hyundai-genesis.html pricing for hyundai genesis]	anonymous
5	29	Prostituci?n Infantil en Cuba	component2	1.0	milestone4	task	somebody	new	2009-11-27T06:55:39Z+0000	2009-11-27T06:55:39Z+0000	[http://www.uri.cl/opinion/prostitucion-infantil-en-cuba Prostituci?n Infantil en Cuba]	anonymous
3	3	Provide Aligned Encodings	component1			enhancement	somebody	new	2008-07-13T07:16:26Z+0100	2008-07-13T07:16:26Z+0100		dom
5	44	Puerto Williams	component2	1.0	milestone4	task	somebody	new	2009-12-02T11:53:07Z+0000	2009-12-02T11:53:07Z+0000	[http://aroundtheamericas.org/story/show/90 Puerto Williams]	anonymous
5	50	Rangua	component2	1.0	milestone4	task	somebody	new	2009-12-03T03:08:30Z+0000	2009-12-03T03:08:30Z+0000	[http://rangua.maxblog.com/ Rangua]	anonymous
5	51	Rangua	component2	1.0	milestone4	task	somebody	new	2009-12-03T03:08:32Z+0000	2009-12-03T03:08:32Z+0000	[http://rangua.maxblog.com/ Rangua]	anonymous
3	17	"Replace comments with ""case of os"""	component1			defect	dom	new	2008-07-28T21:36:12Z+0100	2008-07-28T21:36:12Z+0100	"We can check these dynamically using ""case of os"". The thing that does need
changing is the path.

{{{

−− Uncomment the line below for Windows
skeletons = ”c:\\Users\\Yourname\\ asn1c−0.9.21\\skeletons”
−− Comment the line below for Windows
−− skeletons = ”/usr/local/share/asn1c”
}}}

"	dom
3	27	Space leak in to2sComplement	component1			defect	somebody	new	2009-05-03T13:32:32Z+0100	2009-05-03T13:32:32Z+0100	"The space leak is actually in to2scomplement. The culprit is reverse -
obvious once you think about it. 2^(106) used to almost destroy my
machine and anything bigger actually did grind it to a complete standstill.

> > to2sComplement :: Num a => Integer -> [a]
> > to2sComplement n
> >    | n >= 0 = 0:(k 7 n)
> >    | otherwise = k 8 (fromInteger $ 2^p + n)
> >    where
> >       p = length (k 7 (-n-1)) + 1
> > 
> > infixr 5 $$
> > ($$) = (.).(.)
> > 
> > k :: Num a => Integer -> Integer -> [a]
> > k = reverse $$ (map fromInteger) $$ flip (curry (unfoldr nnbIterator)) 
> > 
> > nnbIterator :: (Integer, Integer) -> Maybe (Integer, (Integer, Integer))
> > nnbIterator (0,0) = Nothing
> > nnbIterator (0,p) = Just (0,(0,p-1))
> > nnbIterator (n,0) = Just (n `rem` 2,(n `quot` 2,7))
> > nnbIterator (n,p) = Just (n `rem` 2,(n `quot` 2,p-1))


OTOH this seems to run in log space (which you might expect) consuming
about 200k for 2^(106) (a 300k digit number) which doesn't seem
unreasonable.

This puts more emphasis on changing to use the BitPut monad. I think it
should be straightforward to make the change now everything is monadic.
I'll have a look at what's involved but first I want to get the
inter-operability testing framework working.

> > h' :: Integer -> Integer -> BitPut
> > h' p 0 =
> >    do putNBits (fromIntegral p) (0::Word8)
> > h' 0 n =
> >    do putNBits 1 (n `mod` 2)
> >       h' 7 (n `div` 2)
> > h' p n =
> >    do putNBits 1 (n `mod` 2)
> >       h' (p-1) (n `div` 2)
> >   
> > to2sComplementReverse :: Integer -> BitPut
> > to2sComplementReverse n
> >    | n >= 0 = do h' 7 n
> >                  putNBits 1 (0::Word8)
> >    | otherwise = h' 8 (2^(l n) + n)
> > 
> > l n = genericLength ((flip (curry (unfoldr nnbIterator)) 7) (-n-1)) + 1
> > 
> > to2sComplementUsingReverse :: Integer -> BL.ByteString
> > to2sComplementUsingReverse n =
> >    BL.reverse (BL.map reverseBits (runBitPut (to2sComplementReverse n)))

> > reverseBits :: Word8 -> Word8
> > reverseBits = reverseBits3 . reverseBits2 . reverseBits1
> > 
> > reverseBits1 :: Word8 -> Word8
> > reverseBits1 x = shiftR x 4 .|. shiftL x 4
> > 
> > reverseBits2 :: Word8 -> Word8
> > reverseBits2 x = shiftR (x .&. 0xcc) 2 .|. shiftL (x .&. 0x33) 2
> > 
> > reverseBits3 :: Word8 -> Word8
> > reverseBits3 x = shiftR (x .&. 0xaa) 1 .|. shiftL (x .&. 0x55) 1
"	dom
3	8	Test with invalid frag sizes for decoding	component1			defect	somebody	new	2008-07-13T07:28:52Z+0100	2008-07-13T07:28:52Z+0100	"As it says but the error message isn't very helpful and should be updated.

The coverage checker should pick this up as well."	dom
3	14	Test with invalid frag sizes for decoding	component1			defect	dom	new	2008-07-28T21:28:35Z+0100	2008-07-28T21:28:35Z+0100		dom
5	61	towing capacity for dodge dakota	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:13:03Z+0000	2009-12-06T07:13:03Z+0000	[http://www.parsifali.org/towing-capacity-for-dodge-dakota.html towing capacity for dodge dakota]	anonymous
5	62	toyota yaris reviews	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:13:24Z+0000	2009-12-06T07:13:24Z+0000	[http://www.komejni.com/toyota-yaris-reviews.html toyota yaris reviews]	anonymous
3	13	Type checker infers Lattice (m LatConstraint) as well as Monad m	component1			defect	dom	new	2008-07-28T08:36:22Z+0100	2008-07-28T08:36:22Z+0100	"Although there is an instance defined for ""lifted"" constraints (""lifted"" so that you can get errors as well as constraints), the intention was only to use the ""lifted"" form as a monad.
{{{
lToPer :: (L.Lattice (m L.MyLatConstraint), MonadError [Char] m) => ASNBuiltin a -> a -> [ESS a] -> m BP.BitPut
}}}
We need to track down where the type checker is inferring Lattice and check that this is meaningful and what we intended."	dom
3	12	Type inlcusion for known multiplier types	component1			defect	dan	new	2008-07-14T11:03:36Z+0100	2008-07-14T11:03:36Z+0100		dom
3	16	Update ReadMe with where encodings are not specified e.g. outside a range	component1			defect	dom	new	2008-07-28T21:31:31Z+0100	2008-07-28T21:31:31Z+0100		dom
3	7	Use of quot and rem	component1			defect	somebody	new	2008-07-13T07:27:49Z+0100	2008-07-13T07:27:49Z+0100	Mostly we use div and mod so this may be a bug.	dom
5	49	Valle Nevado	component2	1.0	milestone4	task	somebody	new	2009-12-02T21:24:51Z+0000	2009-12-02T21:24:51Z+0000	[http://valle-nevado-chile1.tumblr.com/post/239106704/ Valle Nevado]	anonymous
5	36	valle nevado chile	component2	1.0	milestone4	task	somebody	new	2009-12-01T20:25:36Z+0000	2009-12-01T20:25:36Z+0000	[http://vallenevado.werestudents.com/?p=3 valle nevado chile]	anonymous
5	37	valle nevado chile	component2	1.0	milestone4	task	somebody	new	2009-12-01T20:25:50Z+0000	2009-12-01T20:25:50Z+0000	[http://vallenevado.werestudents.com/?p=3 valle nevado chile]	anonymous
5	58	valle nevado chile	component2	1.0	milestone4	task	somebody	new	2009-12-05T16:28:58Z+0000	2009-12-05T16:28:58Z+0000	[http://me-united.com/vallenevado/?p=3 valle nevado chile]	anonymous
5	48	valle nevado ski resort	component2	1.0	milestone4	task	somebody	new	2009-12-02T20:32:21Z+0000	2009-12-02T20:32:21Z+0000	[http://vallenevado.lifeinabroad.com/?p=3 valle nevado ski resort]	anonymous
5	28	vecera	component2	1.0	milestone4	task	somebody	new	2009-10-31T18:52:22Z+0000	2009-10-31T18:52:22Z+0000	[http://viteblog.com/vecera/ vecera]	anonymous
3	9	Visibility for Contained Subtypes	component1			defect	dan	new	2008-07-13T09:35:59Z+0100	2008-07-13T09:38:19Z+0100	"Is this correct? Or is visibility for contained subtypes handle somewhere else?

{{{
perVisible :: ASNType a -> ESS a -> ESS a
perVisible (BT INTEGER) c = c
}}}

48.4 If a type defined with an extensible constraint is referenced in a ""ContainedSubtype"", the newly defined type does not inherit the extension marker or any of its extension additions (see 47.3.3). The newly defined type can be made extensible by including an extension marker at the outermost level in its ""ElementSetSpecs"" (see also 46.3). For example:

{{{
                  A ::= INTEGER (0..10, ..., 12) -- A is extensible.
                  B ::= INTEGER (A)                        -- B is inextensible and is constrained to 0-10.
                  C ::= INTEGER (A, …)                     -- C is extensible and is constrained to 0-10.
}}}

"	dom
5	83	why was toyota banned from the wrc	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:56:40Z+0000	2009-12-06T07:56:40Z+0000	[http://www.kompic.biz/why-was-toyota-banned-from-the-wrc.html why was toyota banned from the wrc]	anonymous
5	84	why was toyota banned from the wrc	component2	1.0	milestone4	task	somebody	new	2009-12-06T07:56:58Z+0000	2009-12-06T07:56:58Z+0000	[http://www.kompic.biz/why-was-toyota-banned-from-the-wrc.html why was toyota banned from the wrc]	anonymous
